Loop Formulas for Splitable Temporal Logic Programs

  title={Loop Formulas for Splitable Temporal Logic Programs},
  author={Felicidad Aguado and Pedro Cabalar and Gilberto P{\'e}rez and Concepci{\'o}n Vidal},
In this paper, we study a method for computing temporal equilibrium models, a generalisation of stable models for logic programs with temporal operators, as in Linear Temporal Logic (LTL). To this aim, we focus on a syntactic subclass of these temporal logic programs called splitable and whose main property is satisfying a kind of “future projected” dependence present in most dynamic scenarios in Answer Set Programming (ASP). Informally speaking, this property can be expressed as “past does not… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.
9 Citations
15 References
Similar Papers


Publications referenced by this paper.

Similar Papers

Loading similar papers…