Temporal Answer Set Programming on Finite Traces

DOI10.1017/S1471068418000297zbMath1451.68256arXiv1804.10227OpenAlexW2963254488WikidataQ129410152 ScholiaQ129410152MaRDI QIDQ4559802

Torsten Schaub, Pedro Cabalar, Roland Kaminski, Anna Schuhmann

Publication date: 4 December 2018

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

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17) Temporal logic (03B44)

Related Items (7)

Metric dynamic equilibrium logic ⋮ Temporal ASP: from logical foundations to practical use with \texttt{telingo} ⋮ Metric temporal answer set programming over timed traces ⋮ Towards Metric Temporal Answer Set Programming ⋮ Reactive Answer Set Programming ⋮ Autoepistemic equilibrium logic and epistemic specifications ⋮ Planning with Incomplete Information in Quantified Answer Set Programming

Uses Software

• Clingo

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz
• Temporal equilibrium logic: a survey
• An infinitary encoding of temporal equilibrium logic

This page was built for publication: Temporal Answer Set Programming on Finite Traces