Automata-Based Computation of Temporal Equilibrium Models

DOI10.1007/978-3-642-32211-2_5MaRDI QIDQ4909313zbMATH OpenOpenAlexFDO

Authors Pedro Cabalar, Stéphane Demri

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

Mathematics Subject Classification ID

Temporal logic (03B44) Automata and formal grammars in connection with logical questions (03D05) Logic programming (68N17)

Recommendations

• Finite automata-models for the investigation of dynamical systems
• Approximating Continuous Systems by Timed Automata
• Automated temporal equilibrium analysis: verification and synthesis of multi-player games
• Automata with a time-variant structure and supply-demand theorems
• Finite automata equilibria with discounting
• scientific article; zbMATH DE number 1302875
• Dynamics of equivalence relations in automata networks
• Dynamical properties of timed automata
• scientific article; zbMATH DE number 29550

Cited in

(10)

• Capturing equilibrium models in modal logic
• On the expressiveness of temporal equilibrium logic
• Stable Models for Temporal Theories
• Temporal equilibrium logic: a survey
• On the complexity of temporal equilibrium logic
• A normal form for linear temporal equilibrium logic
• Temporal ASP: from logical foundations to practical use with \texttt{telingo}
• Automata with a time-variant structure and supply-demand theorems
• The stable model semantics of Datalog with metric temporal operators
• Linear-time temporal answer set programming

Describes a project that uses

Uses Software

• STeLP

This page was built for publication: Automata-Based Computation of Temporal Equilibrium Models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4909313)