Publications

• Non-Markovian Control in the Situation Calculus
  Alfredo Gabaldon
  Artificial Intelligence(to appear), 2009.


• Evolving logic programming based agents with temporal operators
  Jose J. Alferes, Alfredo Gabaldon, and Joao A. Leite.
  IEEE/WIC/ACM Int'l Conference on Intelligent Agent Technology (IAT'08),
  Sydney, Australia, 2008.
  


• Non-markovian agent evolution with EVOLP
  Jose J. Alferes, Alfredo Gabaldon, and Joao A. Leite
  Programming Multi-Agent Systems, no. 08361 Dagstuhl Seminar Procs. 2008
  


• ESP: A Logic of Only-Knowing, Noisy Sensing and Acting
  Alfredo Gabaldon and Gerhard Lakemeyer
  22nd AAAI Conference on Artificial Intelligence (AAAI'07),
  Vancouver, Canada, July 22-26, 2007.
  


• Resolving Non-Determinism in Programs for Complex Task Planning with Search Control
  Alfredo Gabaldon
  8th Int'l Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense'07),
  Stanford U., March 26-28, 2007.
  


• Synthesizing Advanced Transaction Models Using the Situation Calculus
  Iluju Kringa and Alfredo Gabaldon
  Submitted, 2006.


• Representing Action Domains with Numeric-Valued Fluents
  Esra Erdem and Alfredo Gabaldon
  10th European Conference on Logics in Artificial Intelligence (JELIA'06),
  University of Liverpool, UK, Sept 13-15, 2006.
  


• Formalizing Complex Task Libraries in Golog
  Alfredo Gabaldon
  17th European Conference on Artificial Intelligence (ECAI'06),
  Riva del Garda, Italy, Aug 28-Sept 1, 2006.
  


• Hierarchical Task Libraries in (Con)Golog
  Alfredo Gabaldon
  Formalizing and Compiling Background Knowledge and its Applications to
  Knowledge Representation and Question Answering AAAI Spring Symposium,
  Stanford University, CA, March 27-29, 2006.
  


• Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents
  Esra Erdem and Alfredo Gabaldon
  20th National Conference on Artificial Intelligence (AAAI'05),
  Pittsburgh, PA, July 9-13, 2005.
  Also in: 6th Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'05),
  Edinburgh, UK, August 1, 2005.
  


• Precondition Control and the Progression Algorithm
  Alfredo Gabaldon
  9th Int'l Conference on Principles of Knowledge Representation and Reasoning (KR'04),
  and 14th Int'l Conference on Automated Planning and Scheduling (ICAPS'04)
  Whistler, BC, Canada, June 2-5, 2004.


• Expressing Transactions with Savepoints as Non-Markovian Theories of Actions
  Iluju Kringa and Alfredo Gabaldon
  10th International Knowledge Representation Meets Databases Workshop (KRDB'03),
  Hamburg, Germany, September 15-16, 2003.


• Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus
  Alfredo Gabaldon.
  18th International Joint Conference on Artificial Intelligence (IJCAI'03),
  Acapulco, Mexico, August 9-15, 2003.


• Programming Hierarchical Task Networks in the Situation Calculus
  Alfredo Gabaldon
  AIPS'02 Workshop on On-line Planning and Scheduling
  Toulouse, France, April 24, 2002.


• Non-Markovian Control in the Situation Calculus
  Alfredo Gabaldon
  18th National Conference on Artificial Intelligence (AAAI'02)
  Edmonton, Canada, July 28-Aug 1, 2002.
  Earlier version appears in:
  2nd Int'l Workshop on Cognitive Robotics (CogRob2000) held in conjunction with ECAI2000
  Berlin, Germany, August 21-22, 2000.


• Building a Knowledge Base: an example
  Michael Gelfond and Alfredo Gabaldon
  Annals of Mathematics and Artificial Intelligence 25(3,4):165-199, 1999.


• Formalizing Narratives Using Nested Circumscription
  Chitta Baral, Alfredo Gabaldon and Alessandro Provetti
  Artificial Intelligence, 104(1-2):107-164, 1998.


• Value Minimization in Circumscription
  Chitta Baral, Alfredo Gabaldon and Alessandro Provetti
  Artificial Intelligence, 102(2):163-186, 1998.


• Exclusive OR Operation That Leads to the Narrowest Intervals
  Alfredo Gabaldon and Hung T. Nguyen
  Reliable Computing, 4(3):303--306, 1998.


• Towards a Systematic Approach for Representing Knowledge in Declarative Logic Programming
  Michael Gelfond and Alfredo Gabaldon
  International Logic Programming Symposium (ILPS'97)
  Port Jefferson, Long Island N.Y., Oct. 12-16, 1997.


• Formalizing Narratives Using Nested Circumscription
  Chitta Baral, Alfredo Gabaldon and Alessandro Provetti
  13th National Conference on Artificial Intelligence (AAAI'96),
  Portland, Oregon. August 4-8, 1996.
  An earlier version in: Third Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense'96),
  Stanford U. Jan 6-8, 1996.


• Value Minimization in Circumscription
  Chitta Baral, Alfredo Gabaldon and Alessandro Provetti
  5th Int'l Conference on Principles of Knowledge Representation and Reasoning (KR'96),
  Cambridge, Massachusetts, November 5-8, 1996.
  An earlier version in: Sixth International Workshop on Nonmonotonic Reasoning (NMR'96),
  Timberline, Oregon, June 10-12, 1996.


• A Reactive Mobile Robot Based on a Formal Theory of Action
  C. Baral, L. Floriano, A. Gabaldon, D. Morales, T. Son, and R. Watson
  13th National Conference on Artificial Intelligence (AAAI'96),
  Portland, OR, 1996.


• Actual, hypothetical and complex updates on databases--integration with active rules
  Alfredo Gabaldon and Chitta Baral, 1996.