Possible Worlds Semantics for Credulous and Contraction Inference.
Alexander BochmanPublished in: KI/ÖGAI (2001)
Keyphrases
- nonmonotonic inference
- deductive reasoning
- nonmonotonic reasoning
- graph theoretic
- default reasoning
- neural network
- belief change
- bayesian networks
- belief revision
- modal logic
- answer set programming
- knowledge representation
- database systems
- probabilistic inference
- inference engine
- probabilistic reasoning
- special case
- inference mechanism
- artificial intelligence
- databases