In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal temporal operators, as those used in Linear Temporal Logic. As a result, we obtain a very expressive formalism that allows nonmonotonic reasoning for temporal domains. To show an example of its utility, we present a translation of a language for reasoning about actions into this formalism. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Cabalar, P., & Vega, G. P. (2007). Temporal equilibrium logic: A first approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4739 LNCS, pp. 241–248). Springer Verlag. https://doi.org/10.1007/978-3-540-75867-9_31
Mendeley helps you to discover research relevant for your work.