\textit{telingo} = ASP + time

DOI10.1007/978-3-030-20528-7_19MaRDI QIDQ2326733zbMATH OpenOpenAlexFDO

Authors Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub

Publication date 10 October 2019

Full work available at URL https://doi.org/10.1007/978-3-030-20528-7_19

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Temporal answer set programming on finite traces
• Temporal logic programs with temporal description logic axioms
• Paving the way for temporal grounding
• Temporal answer set programming
• Integrating Temporal Extensions of Answer Set Programming

Cited in

(16)

• Metric temporal answer set programming over timed traces
• Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL
• Temporal answer set programming on finite traces
• Manipulation of articulated objects using dual-arm robots via answer set programming
• Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
• Towards metric temporal answer set programming
• Paving the way for temporal grounding
• Metric dynamic equilibrium logic
• Temporal ASP: from logical foundations to practical use with \texttt{telingo}
• Past-present temporal programs over finite traces
• Metric temporal equilibrium logic over timed traces
• Direct encoding of declare constraints in ASP
• How to build your own ASP-based system?!
• Linear-time temporal answer set programming
• Synthesizing strongly equivalent logic programs: Beth definability for answer set programs via Craig interpolation in first-order logic
• Reasoning about time in DatalogMTL: course notes (invited paper)

This page was built for publication: \textit{telingo} = ASP + time

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