Publications

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


• Non-Markovian Control in the Situation Calculus
  Alfredo Gabaldon
  Submitted, 2006.


• 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
  Procs. of the 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
  Procs. of the 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
  Proc. of the 20th National Conference on Artificial Intelligence (AAAI'05),
  Pittsburgh, PA, July 9-13, 2005.
  Also in: Proc. of the 6th Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'05),
  Edinburgh, UK, August 1, 2005.
  


• Precondition Control and the Progression Algorithm
  Alfredo Gabaldon
  Procs. of 9th International Conference on Principles of Knowledge Representation and Reasoning (KR'04),
  and Procs. of 14th International 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
  Proc. of 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.
  Proc. of the 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
  Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI'02)
  Edmonton, Canada, July 28-Aug 1, 2002.
  An earlier version appears in: Second International 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
  Proc. of the 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
  Proc. of the 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
  Procs. of the 5th International 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
  Proc. of the 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.