\textit{telingo} = ASP + time

DOI10.1007/978-3-030-20528-7_19OpenAlexW2946498291MaRDI QIDQ2326733

Roland Kaminski, Pedro Cabalar, Torsten Schaub, Philip Morkisch

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 in artificial intelligence (68T27) Logic programming (68N17)

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 ⋮ Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL ⋮ Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More ⋮ Towards Metric Temporal Answer Set Programming ⋮ Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming

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