Enhancing ASP Systems for Planning with Temporal Constraints

DOI10.1007/978-3-540-72200-7_31zbMath1149.68336OpenAlexW2251510975MaRDI QIDQ5425413

Veena S. Mellarkod, Michael Gelfond

Publication date: 13 November 2007

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72200-7_31

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Related Items (2)

Integrating answer set programming and constraint logic programming ⋮ Stable models and difference logic

This page was built for publication: Enhancing ASP Systems for Planning with Temporal Constraints