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