Semantics-based Nonmonotonic Inference.
Heinrich WansingPublished in: Notre Dame J. Formal Log. (1995)
Keyphrases
- nonmonotonic inference
- nonmonotonic reasoning
- conditional logic
- belief revision
- default reasoning
- logic programming
- machine learning
- knowledge base
- higher order
- graphical models
- maximum entropy
- database
- probability distribution
- integer programming
- logic programs
- sufficient conditions
- search space
- natural language
- database systems