Follow
Alfredo Gabaldon
Alfredo Gabaldon
GE Research
Verified email at ge.com
Title
Cited by
Cited by
Year
Non-markovian control in the situation calculus
A Gabaldon
Artificial Intelligence 175 (1), 25-48, 2011
602011
A novel architecture for situation awareness systems
F Baader, A Bauer, P Baumgartner, A Cregan, A Gabaldon, K Ji, K Lee, ...
Automated Reasoning with Analytic Tableaux and Related Methods: 18th …, 2009
582009
Methods and systems for identifying gaps in predictive model ontology
AG Royval, SM Gustafson, RKR Palla
US Patent App. 15/354,235, 2018
482018
ESP: A logic of only-knowing, noisy sensing and acting
A Gabaldon, G Lakemeyer
Proceedings of the national conference on artificial intelligence 22 (2), 974, 2007
402007
Programming hierarchical task networks in the situation calculus
A Gabaldon
AIPS’02 Workshop on On-line Planning and Scheduling, 2002
402002
Precondition Control and the Progression Algorithm.
A Gabaldon
ICAPS, 23-32, 2004
342004
Methods and systems for programmatically selecting predictive model parameters
SM Gustafson, KS Aggour, AG Royval, VV Mulwad
US Patent App. 15/347,844, 2018
302018
Activity recognition with intended actions
A Gabaldon
Twenty-First International Joint Conference on Artificial Intelligence, 2009
272009
Formalizing narratives using nested circumscription
C Baral, A Gabaldon, A Provetti
Artificial Intelligence 104 (1-2), 107-164, 1998
271998
Compiling control knowledge into preconditions for planning in the situation calculus
A Gabaldon
IJCAI 3, 1061-1066, 2003
172003
Cumulative effects of concurrent actions on numeric-valued fluents
E Erdem, A Gabaldon
na, 2005
132005
Abductive understanding of dialogues about joint activities
P Langley, B Meadows, A Gabaldon, R Heald
Interaction Studies 15 (3), 426-454, 2014
122014
Compound knowledge graph-enabled AI assistant for accelerated materials discovery
KS Aggour, A Detor, A Gabaldon, V Mulwad, A Moitra, P Cuddihy, ...
Integrating Materials and Manufacturing Innovation 11 (4), 467-478, 2022
92022
Building a knowledge base: An example
M Gelfond, A Gabaldon
Annals of mathematics and artificial Intelligence 25, 165-199, 1999
91999
From functional specifications to logic programs
M Gelfond, A Gabaldon
91997
Making golog norm compliant
A Gabaldon
International Workshop on Computational Logic in Multi-Agent Systems, 275-292, 2011
82011
Synthesizing advanced transaction models using the situation calculus
I Kiringa, A Gabaldon
Journal of Intelligent Information Systems 35, 157-212, 2010
72010
Evolving logic programming based agents with temporal operators
JJ Alferes, A Gabaldon, J Leite
2008 IEEE/WIC/ACM International Conference on Web Intelligence and …, 2008
72008
Representing action domains with numeric-valued fluents
E Erdem, A Gabaldon
European Workshop on Logics in Artificial Intelligence, 151-163, 2006
72006
Value minimization in circumscription
A Gabaldon, A Provetti
Artificial Intelligence 102 (2), 163-186, 1998
71998
The system can't perform the operation now. Try again later.
Articles 1–20