The Dynamics of Default Reasoning.
Bernd van LinderWiebe van der HoekJohn-Jules Ch. MeyerPublished in: Data Knowl. Eng. (1997)
Keyphrases
- default reasoning
- nonmonotonic reasoning
- belief revision
- conditional logic
- default logic
- closed world reasoning
- dependency directed backtracking
- probabilistic reasoning
- partial order
- default rules
- probabilistic logic
- proof theory
- dynamical systems
- inheritance reasoning
- fixed point
- logic programming
- proof theoretic
- bayesian networks
- propositional logic
- search space