Towards Metric Temporal Answer Set Programming

DOI10.1017/S1471068420000307zbMath1468.68052arXiv2008.02038MaRDI QIDQ5140014

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

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)

Related Items (4)

Metric dynamic equilibrium logic ⋮ Metric temporal answer set programming over timed traces ⋮ A qualitative temporal extension of here-and-there logic ⋮ Tractable reasoning using logic programs with intensional concepts

Uses Software

• Clingo
• LARS

Cites Work

• Unnamed Item
• Maintaining knowledge about temporal intervals
• A logic-based calculus of events
• Propositional dynamic logic of regular programs
• 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
• Querying Log Data with Metric Temporal Logic
• A Normal Form for Linear Temporal Equilibrium Logic

This page was built for publication: Towards Metric Temporal Answer Set Programming