Beyond System P - Hilbert-Style Convergence Results for Conditional Logics with a Connexive Twist.
Matthias UnterhuberPublished in: FLAP (2016)
Keyphrases
- conditional logic
- default reasoning
- higher order logic
- nonmonotonic reasoning
- belief revision
- modal logic
- knowledge representation and reasoning
- nonmonotonic inference
- higher order
- partial order
- convergence rate
- logic programming
- iterative algorithms
- reasoning systems
- random variables
- machine learning
- sound and complete axiomatization