Automata-Based Computation of Temporal Equilibrium Models
From MaRDI portal
Publication:4909313
DOI10.1007/978-3-642-32211-2_5zbMath1377.68060OpenAlexW68788396MaRDI QIDQ4909313
Stéphane P. Demri, Pedro Cabalar
Publication date: 13 March 2013
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-32211-2_5
Automata and formal grammars in connection with logical questions (03D05) Logic programming (68N17) Temporal logic (03B44)
Related Items
Stable Models for Temporal Theories, Temporal equilibrium logic: a survey, Temporal ASP: from logical foundations to practical use with \texttt{telingo}, Capturing equilibrium models in modal logic, On the Expressiveness of Temporal Equilibrium Logic
Uses Software