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
562009
Non-markovian control in the situation calculus
A Gabaldon
AAAI/IAAI, 519-525, 2002
432002
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
261998
Activity recognition with intended actions
A Gabaldon
Twenty-First International Joint Conference on Artificial Intelligence, 2009
232009
Argumentation in negotiation: A formal model and implementation
S Kraus, K Sycara, A Evanchik
Artificial Intelligence 104 (1-2), 1-69, 1998
221998
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
Non-Markovian control in the situation calculus
A Gabaldon
Artificial Intelligence 175 (1), 25-48, 2011
122011
Building a knowledge base: An example
M Gelfond, A Gabaldon
Annals of mathematics and artificial Intelligence 25 (3), 165-199, 1999
101999
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
Enterprise security metrics with the ADVISE meta model formalism
B Feddersen, K Keefe, WH Sanders, C Muehrcke, D Parks, A Crapo, ...
Proceedings of the 9th International Conference on Emerging Security …, 2015
42015
The system can't perform the operation now. Try again later.
Articles 1–20