Keyphrases
- abductive reasoning
- inference rules
- causal inference
- reasoning tasks
- logic programs
- nonmonotonic reasoning
- natural language understanding
- game theory
- theorem prover
- plan recognition
- probabilistic logic
- logical representation
- prime implicates
- machine learning
- consequence finding
- belief revision
- first order logic
- logic programming
- description logics
- decision making