A logic-based calculus of events
New Generation Computing
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Representing action: indeterminacy and ramifications
Artificial Intelligence
Causality in commonsense reasoning about actions
Causality in commonsense reasoning about actions
An action language based on causal explanation: preliminary report
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Formalizing sensing actions—a transition function based approach
Artificial Intelligence
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Robot Motion Planning
Two components of an action language
Annals of Mathematics and Artificial Intelligence
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
A Deductive System for Non-Monotonic Reasoning
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Representing Transition Systems by Logic Programs
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Wire Routing and Satisfiability Planning
CL '00 Proceedings of the First International Conference on Computational Logic
Representing Concurrent Actions and Solving Conflicts
KI '94 Proceedings of the 18th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
A logic programming approach to knowledge-state planning, II: the DLVk system
Artificial Intelligence
CSB '03 Proceedings of the IEEE Computer Society Conference on Bioinformatics
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Representing the zoo world and the traffic world in the language of the causal calculator
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
ConceptNet — A Practical Commonsense Reasoning Tool-Kit
BT Technology Journal
Reasoning about non-immediate triggers in biological networks
Annals of Mathematics and Artificial Intelligence
Cognitive Technical Systems -- What Is the Role of Artificial Intelligence?
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
The System BioC for Reasoning about Biological Models in Action Language C
ICTAI '08 Proceedings of the 2008 20th IEEE International Conference on Tools with Artificial Intelligence - Volume 01
Engineering an Incremental ASP Solver
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A modular action description language
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Bridging the Gap between High-Level Reasoning and Low-Level Control
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
AQL: A Query Language for Action Domains Modelled Using Answer Set Programming
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Issues in reasoning about interaction networks in cells: necessity of event ordering knowledge
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Reasoning about intended actions
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
What is answer set programming?
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
The FF planning system: fast plan generation through heuristic search
Journal of Artificial Intelligence Research
PDDL2.1: an extension to PDDL for expressing temporal planning domains
Journal of Artificial Intelligence Research
Representing concurrent actions in extended logic programming
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A causal theory of ramifications and qualifications
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Updating action domain descriptions
Artificial Intelligence
Causal theories of action and change
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Coala: a compiler from action languages to ASP
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
Causal reasoning for planning and coordination of multiple housekeeping robots
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Answer set programming at a glance
Communications of the ACM
Knowledge-based integrative framework for hypothesis formation in biochemical networks
DILS'05 Proceedings of the Second international conference on Data Integration in the Life Sciences
| Hi-index | 0.00 |
We summarize some applications of action languages in robotics, focusing on the following three challenges: 1) bridging the gap between low-level continuous geometric reasoning and high-level discrete causal reasoning; 2) embedding background/commonsense knowledge in high-level reasoning; 3) planning/prediction with complex (temporal) goals/constraints. We discuss how these challenges can be handled using computational methods of action languages, and elaborate on the usefulness of action languages to extend the classical 3-layer robot control architecture.