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, ...
International Conference on Automated Reasoning with Analytic Tableaux and …, 2009
592009
Non-markovian control in the situation calculus
A Gabaldon
AAAI/IAAI, 519-525, 2002
412002
ESP: A logic of only-knowing, noisy sensing and acting
A Gabaldon, G Lakemeyer
AAAI, 974-979, 2007
352007
Programming hierarchical task networks in the situation calculus
A Gabaldon
AIPS’02 Workshop on On-line Planning and Scheduling, 2002
352002
Precondition Control and the Progression Algorithm.
A Gabaldon
ICAPS, 23-32, 2004
322004
Formalizing narratives using nested circumscription
C Baral, A Gabaldon, A Provetti
Artificial Intelligence 104 (1-2), 107-164, 1998
271998
Activity recognition with intended actions
A Gabaldon
Twenty-First International Joint Conference on Artificial Intelligence, 2009
262009
Methods and systems for identifying gaps in predictive model ontology
AG Royval, SM Gustafson, RKR Palla
US Patent App. 15/354,235, 2018
212018
Methods and systems for programmatically selecting predictive model parameters
SM Gustafson, KS Aggour, AG Royval, VV Mulwad
US Patent App. 15/347,844, 2018
172018
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
Building a knowledge base: An example
M Gelfond, A Gabaldon
Annals of mathematics and artificial Intelligence 25 (3), 165-199, 1999
91999
From Functional Specifications to Logic Programms.
M Gelfond, A Gabaldon
ILPS, 355-369, 1997
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 (2), 157-212, 2010
82010
Representing action domains with numeric-valued fluents
E Erdem, A Gabaldon
European Workshop on Logics in Artificial Intelligence, 151-163, 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