Temporal equilibrium logic: a survey

Abstract This paper contains a survey of the main definitions and results obtained to date related to Temporal Equilibrium Logic, a nonmonotonic hybrid approach that combines Equilibrium Logic (the best-known logical characterisation for the stable models semantics of logic programs) with Linear-Time Temporal Logic.

[1]  David Pearce,et al.  A New Logical Characterisation of Stable Models and Answer Sets , 1996, NMELP.

[2]  François Fages,et al.  Consistency of Clark's completion and existence of stable models , 1992, Methods Log. Comput. Sci..

[3]  Pierre Wolper,et al.  Reasoning About Infinite Computations , 1994, Inf. Comput..

[4]  Joohyung Lee,et al.  A New Perspective on Stable Models , 2007, IJCAI.

[5]  David Pearce,et al.  Strongly equivalent logic programs , 2001, ACM Trans. Comput. Log..

[6]  M. Gelfond,et al.  Yet Another Modular Action Language , 2009 .

[7]  Mario Alviano,et al.  The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track , 2011, LPNMR.

[8]  Pedro Cabalar,et al.  STeLP - A Tool for Temporal Answer Set Programming , 2011, LPNMR.

[9]  Vladimir Lifschitz,et al.  Splitting a Logic Program , 1994, ICLP.

[10]  Wolfgang Faber,et al.  The DLVK Planning System: Progress Report , 2002, JELIA.

[11]  Hudson Turner,et al.  Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach , 1997, J. Log. Program..

[12]  Pedro Cabalar,et al.  Propositional theories are strongly equivalent to logic programs , 2007, Theory Pract. Log. Program..

[13]  Henry A. Kautz.  The Logic of Persistence , 1986, AAAI.

[14]  David Pearce,et al.  Reducing Propositional Theories in Equilibrium Logic to Logic Programs , 2005, Answer Set Programming.

[15]  Pedro Cabalar,et al.  Paving the Way for Temporal Grounding , 2012, ICLP.

[16]  Miroslaw Truszczynski,et al.  Answer set programming at a glance , 2011, Commun. ACM.

[17]  J. McCarthy.  ELABORATION TOLERANCE , 1997 .

[18]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[19]  Joohyung Lee,et al.  A generalization of the Lin-Zhao theorem , 2006, Annals of Mathematics and Artificial Intelligence.

[20]  Stéphane Demri,et al.  Automata-Based Computation of Temporal Equilibrium Models , 2011, LOPSTR.

[21]  Pedro Cabalar.  A Normal Form for Linear Temporal Equilibrium Logic , 2010, JELIA.

[22]  Pedro Cabalar,et al.  Strongly Equivalent Temporal Logic Programs , 2008, JELIA.

[23]  David Pearce,et al.  Minimal Logic Programs , 2007, ICLP.

[24]  Johan Anthory Willem Kamp,et al.  Tense logic and the theory of linear order , 1968 .

[25]  David Pearce,et al.  Equilibrium logic , 2006, Annals of Mathematics and Artificial Intelligence.

[26]  Vladimir Lifschitz,et al.  Thirteen Definitions of a Stable Model , 2010, Fields of Logic and Computation.

[27]  Paolo Ferraris,et al.  Answer Sets for Propositional Theories , 2005, LPNMR.

[28]  Pedro Cabalar,et al.  Temporal Equilibrium Logic: A First Approach , 2007, EUROCAST.

[29]  Marcello Balduccini,et al.  Logic Programming And Nonmonotonic Reasoning , 1997, Lecture Notes in Computer Science.

[30]  Pierre Wolper,et al.  The Complementation Problem for Büchi Automata with Appplications to Temporal Logic , 1987, Theor. Comput. Sci..

[31]  Martin Gebser,et al.  Coala: A Compiler from Action Languages to ASP , 2010, JELIA.

[32]  Ilkka Niemelä,et al.  Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.

[33]  Michael Fisher,et al.  A Resolution Method for Temporal Logic , 1991, IJCAI.

[34]  S. Sieber.  On a decision method in restricted second-order arithmetic , 1960 .

[35]  Bart Selman,et al.  Planning as Satisfiability , 1992, ECAI.

[36]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[37]  Michael Gelfond,et al.  Action Languages , 1998, Electron. Trans. Artif. Intell..

[38]  A. Heyting.  Die formalen Regeln der intuitionistischen Logik , 1930 .

[39]  Victor W. Marek,et al.  Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.