Can I Do That? Discovering Domain Axioms Using Declarative Programming and Relational Reinforcement Learning
Using Knowledge Representation and Reasoning Tools in the Design of Robots