Applications of action languages in cognitive robotics

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 (5)

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

Uses Software

MiniSat
Potassco
PDDL
Coala
CCalc
ConceptNet

   Recommendations

cc-Golog - An Action Language with Continuous Change 👍 👎
Extending $\mathcal{C}$+ with composite actions for robotic task planning 👍 👎
Title not available (Why is that?) 👍 👎
Integrating ASP into ROS for Reasoning in Robots 👍 👎
Mobile Robot Planning Using Action Language $${\mathcal {BC}}$$ with an Abstraction Hierarchy 👍 👎

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)