Temporal equilibrium logic: a first approach

Authors:
Pedro Cabalar;Gilberto Pérez Vega
Affiliations:
Dept. Computación, Corunna University, Spain;Dept. Computación, Corunna University, Spain
Venue:
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Year:
2007

Citing 3
Cited 5

The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
Splitting a logic program

Proceedings of the eleventh international conference on Logic programming
A New Logical Characterisation of Stable Models and Answer Sets

NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming

Strongly Equivalent Temporal Logic Programs

JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2

Theory and Practice of Logic Programming
A normal form for linear temporal equilibrium logic

JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Loop formulas for splitable temporal logic programs

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
STeLP: a tool for temporal answer set programming

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.