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 programming (68N17) Logic in computer science (03B70)

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

• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• A logic-based calculus of events
• A normal form for linear temporal equilibrium logic
• 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
• \textit{telingo} = ASP + time

Cited in

(13)

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

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)