Follow
Alfredo Gabaldon
Alfredo Gabaldon
GE Research
Verified email at ge.com
Title
Cited by
Cited by
Year
A Novel Architecture for Situation Awareness Systems.
F Baader, A Bauer, P Baumgartner, A Cregan, A Gabaldon, K Ji, K Lee, ...
TABLEAUX, 77-92, 2009
602009
Non-markovian control in the situation calculus
A Gabaldon
AAAI/IAAI, 519-525, 2002
412002
Programming hierarchical task networks in the situation calculus
A Gabaldon
AIPS’02 Workshop on On-line Planning and Scheduling, 2002
352002
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
342007
Precondition Control and the Progression Algorithm.
A Gabaldon
ICAPS, 23-32, 2004
332004
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
Methods and systems for identifying gaps in predictive model ontology
AG Royval, SM Gustafson, RKR Palla
US Patent App. 15/354,235, 2018
222018
Methods and systems for programmatically selecting predictive model parameters
SM Gustafson, KS Aggour, AG Royval, VV Mulwad
US Patent App. 15/347,844, 2018
182018
Compiling control knowledge into preconditions for planning in the situation calculus
A Gabaldon
IJCAI 3, 1061-1066, 2003
172003
Non-Markovian control in the situation calculus
A Gabaldon
Artificial Intelligence 175 (1), 25-48, 2011
162011
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
From Functional Specifications to Logic Programms.
M Gelfond, A Gabaldon
ILPS, 355-369, 1997
101997
Building a knowledge base: An example
M Gelfond, A Gabaldon
Annals of mathematics and artificial Intelligence 25, 165-199, 1999
91999
Making golog norm compliant
A Gabaldon
Computational Logic in Multi-Agent Systems: 12th International Workshop …, 2011
82011
Synthesizing advanced transaction models using the situation calculus
I Kiringa, A Gabaldon
Journal of Intelligent Information Systems 35, 157-212, 2010
82010
Representing action domains with numeric-valued fluents
E Erdem, A Gabaldon
Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 …, 2006
82006
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
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