Automated Deduction for Logics of Default Reasoning.
Laura GiordanoValentina GliozziNicola OlivettiGian Luca PozzatoPublished in: ECAI (2006)
Keyphrases
- automated deduction
- default reasoning
- conditional logic
- inheritance reasoning
- proof theory
- default logic
- logic programming
- inference rules
- nonmonotonic reasoning
- proof theoretic
- theorem proving
- belief revision
- theorem prover
- deductive databases
- partial order
- probabilistic reasoning
- probabilistic logic
- dependency directed backtracking
- first order logic
- modal logic
- default rules
- logic programs
- closed world reasoning
- knowledge base
- default theories
- automated reasoning
- answer set programming
- model theoretic
- temporal logic
- programming language
- software engineering
- probability distribution
- artificial intelligence
- database