A System Z-like Approach for First-Order Default Reasoning.
Gabriele Kern-IsbernerChristoph BeierlePublished in: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Keyphrases
- default reasoning
- conditional logic
- probabilistic logic
- model theoretic
- nonmonotonic reasoning
- belief revision
- default logic
- probabilistic reasoning
- proof theory
- first order logic
- dependency directed backtracking
- closed world reasoning
- inheritance reasoning
- higher order
- partial order
- knowledge base
- proof theoretic
- default rules
- artificial intelligence
- horn clauses