Mobile robot planning using action language BC with an abstraction hierarchy

DOI10.1007/978-3-319-23264-5_42zbMATH Open1467.68190OpenAlexW2408744163MaRDI QIDQ3449233FDOQ3449233

Authors:

Publication date: 4 November 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-319-23264-5_42

Recommendations

• Extending \(\mathcal{C}\)+ with composite actions for robotic task planning
• Applications of action languages in cognitive robotics
• Multivalued action languages with constraints in \(CLP(FD)\)
• Programming hierarchical task networks in the situation calculus
• Multivalued Action Languages with Constraints in CLP(FD)

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Artificial intelligence for robotics (68T40)

Cites Work

• Nonmonotonic causal theories
• STRIPS: A new approach to the application of theorem proving to problem solving
• The fast downward planning system
• Robust Monte Carlo localization for mobile robots
• Answer set programming and plan generation
• The FF planning system: Fast plan generation through heuristic search
• In defense of PDDL axioms
• Planning in a hierarchy of abstraction spaces
• Extending \(\mathcal{C}\)+ with composite actions for robotic task planning
• Planning in answer set programming using ordered task decomposition
• Answer set; programming?

Cited In (4)

• Abstraction for non-ground answer set programs
• Applications of action languages in cognitive robotics
• Title not available (Why is that?)
• Extending \(\mathcal{C}\)+ with composite actions for robotic task planning

This page was built for publication: Mobile robot planning using action language \({\mathcal {BC}}\) with an abstraction hierarchy

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