Theories of Action, Planning, & Robot Control: Bridging the Gap

Knowledge Representation, Reasoning and Declarative Problem Solving

Proceedings, Fourteenth International Conference on Principles of Knowledge Representation and Reasoning

Logic programming and nonmonotonic reasoning

Principles of Knowledge Representation and Reasoning

Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering

Cognitive Robotics