Applications of action languages in cognitive robotics
From MaRDI portal
Publication:2900522
DOI10.1007/978-3-642-30743-0_16zbMATH Open1357.68218OpenAlexW1579057559MaRDI QIDQ2900522FDOQ2900522
Authors: Esra Erdem, Volkan Patoglu 
Publication date: 23 July 2012
Published in: Correct Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-30743-0_16
Recommendations
- cc-Golog - An Action Language with Continuous Change
- Extending \(\mathcal{C}\)+ with composite actions for robotic task planning
- scientific article; zbMATH DE number 2063021
- Integrating ASP into ROS for reasoning in robots
- Mobile robot planning using action language \({\mathcal {BC}}\) with an abstraction hierarchy
Cites Work
- Theory and Applications of Satisfiability Testing
- Title not available (Why is that?)
- Title not available (Why is that?)
- Nonmonotonic causal theories
- A logic-based calculus of events
- Logic programs with stable model semantics as a constraint programming paradigm
- The FF planning system: Fast plan generation through heuristic search
- Representing action and change by logic programs
- Representing actions in logic programs and default theories a situation calculus approach
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Engineering an Incremental ASP Solver
- Representing the Zoo World and the Traffic World in the language of the Causal Calculator
- Hypothesizing about signaling networks
- Robot motion planning with uncertainty in control and sensing
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
- Modeling biological networks by action languages via answer set programming
- Representing action: indeterminacy and ramifications
- Reasoning agents in dynamic domains
- Formalizing sensing actions -- a transition function based approach
- Updating action domain descriptions
- Title not available (Why is that?)
- Two components of an action language
- Title not available (Why is that?)
- Representing actions: Laws, observations and hypotheses
- Title not available (Why is that?)
- Representing the language of the causal calculator in answer set programming
- Reasoning about non-immediate triggers in biological networks
- Coala: a compiler from action languages to ASP
Cited In (10)
- cc-Golog - An Action Language with Continuous Change
- Scrutable robot actions using a hierarchical ontological model
- Title not available (Why is that?)
- What do you really want to do? Towards a theory of intentions for human-robot collaboration
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation
- Diagnostic reasoning for robotics using action languages
- Mobile robot planning using action language \({\mathcal {BC}}\) with an abstraction hierarchy
- Inference about actions: Levesque's view on action-ability and Dirichlet processes
- Extending \(\mathcal{C}\)+ with composite actions for robotic task planning
- Integrating ASP into ROS for reasoning in robots
Uses Software
This page was built for publication: Applications of action languages in cognitive robotics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2900522)
