Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics.
Nicola OlivettiGian Luca PozzatoPublished in: CILC (2013)
Keyphrases
- theorem proving
- conditional logic
- sequent calculi
- modal logic
- default reasoning
- inference rules
- belief revision
- nonmonotonic reasoning
- knowledge representation and reasoning
- automated reasoning
- decision procedures
- first order logic
- higher order logic
- parallel search
- theorem prover
- proof planning
- proof procedure
- consequence finding
- geometry theorem proving
- temporal logic
- knowledge representation
- machine learning
- probabilistic reasoning
- predicate calculus
- propositional logic
- natural deduction
- belief propagation
- natural language
- search algorithm