Action languages have gained popularity as a means for declaratively describing planning domains. This paper overviews two action languages, the Boolean language B and its multi-valued counterpart BMV. The paper analyzes some of the issues in using two alternative logic programming approaches (Answer Set Programming and Constraint Logic Programming over Finite Domains) for planning with B and BMV specifications. In particular, the paper provides an experimental comparison between these alternative implementation approaches. © 2011 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Dovier, A., Formisano, A., & Pontelli, E. (2011). Perspectives on logic-based approaches for reasoning about actions and change. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6565 LNAI, 259–279. https://doi.org/10.1007/978-3-642-20832-4_17
Mendeley helps you to discover research relevant for your work.