Metric temporal answer set programming over timed traces

DOI10.1007/978-3-031-15707-3_10MaRDI QIDQ2694559zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Temporal answer set programming on finite traces
• Temporal answer set programming
• Integrating Temporal Extensions of Answer Set Programming
• Efficient solving of time-dependent answer set programs
• Programming in metric temporal logic
• Timer formulas and decidable metric temporal logic
• On metric temporal description logics
• Theoretical Computer Science

Cites work

• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 2207163 (Why is no real title available?)
• LARS: a logic-based framework for analytic reasoning over streams
• Logic Programming
• Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3--7, 2019. Proceedings
• On the decidability and complexity of Metric Temporal Logic over finite words
• Quantified Equilibrium Logic and Foundations for Answer Set Programs
• Temporal answer set programming on finite traces
• Temporal equilibrium logic: a survey
• Towards dynamic answer set programming over finite traces
• Towards metric temporal answer set programming
• \textit{telingo} = ASP + time

Cited in

(4)

• Theoretical Computer Science
• Metric dynamic equilibrium logic
• Metric temporal equilibrium logic over timed traces
• Integrating Temporal Extensions of Answer Set Programming

Describes a project that uses

Uses Software

• Clingo

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

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