Automata-Based Computation of Temporal Equilibrium Models

@inproceedings{Cabalar2011AutomataBasedCO,
  title={Automata-Based Computation of Temporal Equilibrium Models},
  author={Pedro Cabalar and St{\'e}phane Demri},
  booktitle={LOPSTR},
  year={2011}
}
Temporal Equilibrium Logic (TEL) is a formalism for temporal logic programming that generalizes the paradigm of Answer Set Programming (ASP) introducing modal temporal operators from standard Linear-time Temporal Logic (LTL). In this paper we solve some open problems that remained open for TEL like decidability, complexity assessment and computation of temporal equilibrium models for arbitrary theories. We propose a method for the latter that consists in building a Büchi automaton that accepts… CONTINUE READING
9 Citations
31 References
Similar Papers

Similar Papers

Loading similar papers…