Prolog Technology for Default Reasoning (An Abridged Report).
Torsten SchaubStefan BrüningPublished in: ECAI (1996)
Keyphrases
- default reasoning
- nonmonotonic reasoning
- logic programming
- belief revision
- default logic
- conditional logic
- partial order
- probabilistic reasoning
- default rules
- probabilistic logic
- inheritance reasoning
- closed world reasoning
- dependency directed backtracking
- proof theory
- knowledge representation
- expert systems
- programming language
- knowledge base
- proof theoretic
- maximum entropy
- probability distribution
- constraint logic programming
- artificial intelligence
- machine learning
- neural network