Applications of Action Languages in Cognitive Robotics
From MaRDI portal
Publication:2900522
DOI10.1007/978-3-642-30743-0_16zbMath1357.68218MaRDI QIDQ2900522
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
Related Items
Unnamed Item, 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
Cites Work
- A logic-based calculus of events
- Updating action domain descriptions
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
- Nonmonotonic causal theories
- Representing the Zoo World and the Traffic World in the language of the Causal Calculator
- Hypothesizing about signaling networks
- Modeling biological networks by action languages via answer set programming
- Robot motion planning with uncertainty in control and sensing
- Two components of an action language
- Representing action: indeterminacy and ramifications
- Logic programs with stable model semantics as a constraint programming paradigm
- Reasoning about non-immediate triggers in biological networks
- Representing action and change by logic programs
- Representing actions: Laws, observations and hypotheses
- Representing actions in logic programs and default theories a situation calculus approach
- Coala: A Compiler from Action Languages to ASP
- Theory and Applications of Satisfiability Testing
- Engineering an Incremental ASP Solver
- Formalizing sensing actions -- a transition function based approach
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item