Towards metric temporal answer set programming

DOI10.1017/S1471068420000307MaRDI QIDQ5140014zbMATH OpenFDO

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

Publication date 13 December 2020

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2008.02038

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Abstract: We elaborate upon the theoretical foundations of a metric temporal extension of Answer Set Programming. In analogy to previous extensions of ASP with constructs from Linear Temporal and Dynamic Logic, we accomplish this in the setting of the logic of Here-and-There and its non-monotonic extension, called Equilibrium Logic. More precisely, we develop our logic on the same semantic underpinnings as its predecessors and thus use a simple time domain of bounded time steps. This allows us to compare all variants in a uniform framework and ultimately combine them in a common implementation.

Recommendations

• Temporal answer set programming
• Integrating Temporal Extensions of Answer Set Programming
• Towards dynamic answer set programming over finite traces
• Temporal logic programs with temporal description logic axioms
• Temporal Equilibrium Logic: A First Approach

Cites work

• \textit{telingo} = ASP + time
• A logic-based calculus of events
• A normal form for linear temporal equilibrium logic
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3--7, 2019. Proceedings
• Maintaining knowledge about temporal intervals
• Propositional dynamic logic of regular programs
• Querying log data with metric temporal logic
• Temporal answer set programming on finite traces
• Temporal equilibrium logic: a survey
• Towards dynamic answer set programming over finite traces

Cited in

(13)

• Tractable reasoning using logic programs with intensional concepts
• Towards dynamic answer set programming over finite traces
• Metric temporal answer set programming over timed traces
• A qualitative temporal extension of here-and-there logic
• Integrating Temporal Extensions of Answer Set Programming
• Efficient solving of time-dependent answer set programs
• Theoretical Computer Science
• Temporal answer set programming
• Metric dynamic equilibrium logic
• Metric temporal equilibrium logic over timed traces
• The stable model semantics of Datalog with metric temporal operators
• Linear-time temporal answer set programming
• Reasoning about time in DatalogMTL: course notes (invited paper)

Describes a project that uses

Uses Software

• LARS
• Clingo

This page was built for publication: Towards metric temporal answer set programming

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