Towards dynamic answer set programming over finite traces

DOI10.1007/978-3-030-20528-7_12OpenAlexW2946162694MaRDI QIDQ2326722

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

Publication date: 10 October 2019

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

Mathematics Subject Classification ID

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

Related Items (3)

Metric dynamic equilibrium logic ⋮ Metric temporal answer set programming over timed traces ⋮ Towards Metric Temporal Answer Set Programming

This page was built for publication: Towards dynamic answer set programming over finite traces