Keyphrases
- commonsense reasoning
- robotic tasks
- nonmonotonic reasoning
- motion planning
- event calculus
- knowledge representation
- incomplete information
- planning under uncertainty
- formal theory
- robotic systems
- classical logic
- visual features
- dynamic environments
- high level
- natural language
- visual information
- general purpose
- three dimensional
- fixed point
- autoepistemic logic
- machine learning
- knowledge base
- computer vision
- artificial intelligence