Sciweavers

Share
EUROCAST
2007
Springer

Temporal Equilibrium Logic: A First Approach

10 years 6 months ago
Temporal Equilibrium Logic: A First Approach
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.
Pedro Cabalar, Gilberto Pérez Vega
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2007
Where EUROCAST
Authors Pedro Cabalar, Gilberto Pérez Vega
Comments (0)
books