Metric temporal answer set programming over timed traces

DOI10.1007/978-3-031-15707-3_10OpenAlexW4293179936MaRDI QIDQ2694559

Pedro Cabalar, Anna Schuhmann, Torsten Schaub, Martín Diéguez

Publication date: 4 April 2023

Full work available at URL: https://doi.org/10.1007/978-3-031-15707-3_10

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Related Items (1)

Metric dynamic equilibrium logic

Uses Software

• Clingo

Cites Work

• Unnamed Item
• Unnamed Item
• LARS: a logic-based framework for analytic reasoning over streams
• Towards dynamic answer set programming over finite traces
• \textit{telingo} = ASP + time
• Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3--7, 2019. Proceedings
• Temporal Answer Set Programming on Finite Traces
• Temporal equilibrium logic: a survey
• Towards Metric Temporal Answer Set Programming
• On the decidability and complexity of Metric Temporal Logic over finite words
• Logic Programming
• Quantified Equilibrium Logic and Foundations for Answer Set Programs

This page was built for publication: Metric temporal answer set programming over timed traces