Applications of action languages in cognitive robotics
From MaRDI portal
(Redirected from Publication:2900522)
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
- scientific article; zbMATH DE number 1696838 (Why is no real title available?)
- scientific article; zbMATH DE number 5914356 (Why is no real title available?)
- scientific article; zbMATH DE number 2038893 (Why is no real title available?)
- scientific article; zbMATH DE number 1368932 (Why is no real title available?)
- scientific article; zbMATH DE number 1368933 (Why is no real title available?)
- scientific article; zbMATH DE number 774417 (Why is no real title available?)
- scientific article; zbMATH DE number 928018 (Why is no real title available?)
- scientific article; zbMATH DE number 1453058 (Why is no real title available?)
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
- A logic-based calculus of events
- Coala: a compiler from action languages to ASP
- Engineering an Incremental ASP Solver
- Formalizing sensing actions -- a transition function based approach
- Hypothesizing about signaling networks
- Logic programs with stable model semantics as a constraint programming paradigm
- Modeling biological networks by action languages via answer set programming
- Nonmonotonic causal theories
- Reasoning about non-immediate triggers in biological networks
- Reasoning agents in dynamic domains
- Representing action and change by logic programs
- Representing action: indeterminacy and ramifications
- Representing actions in logic programs and default theories a situation calculus approach
- Representing actions: Laws, observations and hypotheses
- Representing the Zoo World and the Traffic World in the language of the Causal Calculator
- Representing the language of the causal calculator in answer set programming
- Robot motion planning with uncertainty in control and sensing
- The FF planning system: Fast plan generation through heuristic search
- Theory and Applications of Satisfiability Testing
- Two components of an action language
- Updating action domain descriptions
Cited in
(11)- Inductive learning of robot task knowledge from raw data and online expert feedback
- cc-Golog - An Action Language with Continuous Change
- Scrutable robot actions using a hierarchical ontological model
- scientific article; zbMATH DE number 7455713 (Why is no real title available?)
- 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
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)
