Keyphrases
- formal logic
- abductive reasoning
- logic programming
- predicate logic
- logic programs
- reasoning tasks
- nonmonotonic reasoning
- inference rules
- description logics
- probabilistic logic
- logical representation
- natural language understanding
- plan recognition
- formal methods
- design theory
- artificial intelligence
- constraint satisfaction
- programming language
- low level