Keyphrases
- knowledge representation
- domain independent
- formal model
- ai planning
- domain specific
- declarative language
- planning problems
- situation calculus
- logical language
- computer vision
- machine learning
- operational semantics
- real time
- integer programming
- knowledge acquisition
- learning environment
- attribute grammars
- abductive logic programming