Multivalued action languages with constraints in CLP(FD)

DOI10.1017/S1471068410000013zbMath1191.68653OpenAlexW1993778656MaRDI QIDQ3550913

Agostino Dovier, Enrico Pontelli, Andrea Formisano

Publication date: 7 April 2010

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068410000013

zbMATH Keywords

knowledge representationplanningaction description languagesconstraint logic programming

Mathematics Subject Classification ID

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

Related Items (2)

Autonomous agents coordination: Action languages meet CLP() and Linda ⋮ Solving distributed constraint optimization problems using logic programming

Uses Software

• GOLOG
• clasp

Cites Work

• Unnamed Item
• Nonmonotonic causal theories
• ASSAT: computing answer sets of a logic program by SAT solvers
• From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
• Branching and pruning: An optimal temporal POCL planner based on constraint programming
• A Constructive semantic characterization of aggregates in answer set programming
• Principles of Constraint Programming
• An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
• GOLOG: A logic programming language for dynamic domains
• Knowledge Representation, Reasoning and Declarative Problem Solving
• CLAIRE: combining sets, search and rules to better express algorithms
• A logic programming approach to knowledge-state planning

This page was built for publication: Multivalued action languages with constraints in CLP(FD)