Multivalued Action Languages with Constraints in CLP(FD)

DOI10.1007/978-3-540-74610-2_18MaRDI QIDQ3608659zbMATH OpenOpenAlexFDO

Authors Agostino Dovier, Andrea Formisano, Enrico Pontelli

Publication date 5 March 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74610-2_18

Mathematics Subject Classification ID

Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Agent technology and artificial intelligence (68T42)

Recommendations

• Multivalued action languages with constraints in CLP(FD)
• Perspectives on logic-based approaches for reasoning about actions and change
• Representing Multi-agent Planning in CLP
• scientific article; zbMATH DE number 2090520
• An investigation of multi-agent planning in CLP

Cited in

(17)

• Discovering state constraints for planning with conditional effects in \textsc{Discoplan}. I
• A new incarnation of action language H
• Implementing reversible processes in multi-agent action languages using answer set planning
• Perspectives on logic-based approaches for reasoning about actions and change
• An investigation of multi-agent planning in CLP
• Mobile robot planning using action language \({\mathcal {BC}}\) with an abstraction hierarchy
• A Fluent Calculus Semantics for ADL with Plan Constraints
• Multivalued action languages with constraints in CLP(FD)
• Representing Multi-agent Planning in CLP
• Modular action language \(\mathcal{ALM}\)
• scientific article; zbMATH DE number 1368932 (Why is no real title available?)
• scientific article; zbMATH DE number 2090520 (Why is no real title available?)
• Determining action reversibility in STRIPS using answer set and epistemic logic programming
• Design and Implementation of ${\mathcal A}_T$ : A Real-Time Action Description Language
• Extending \(\mathcal{C}\)+ with composite actions for robotic task planning
• Eliminating function symbols from a nonmonotoic causal theory
• Updating action domain descriptions

This page was built for publication: Multivalued Action Languages with Constraints in CLP(FD)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608659)