Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND.
Nicola OlivettiGian Luca PozzatoPublished in: Intelligenza Artificiale (2015)
Keyphrases
- theorem prover
- theorem proving
- conditional logic
- sequent calculi
- modal logic
- inference rules
- default reasoning
- higher order logic
- automated reasoning
- belief revision
- first order logic
- automated deduction
- nonmonotonic reasoning
- knowledge representation and reasoning
- automated theorem proving
- term rewriting
- decision procedures
- computer algebra
- natural deduction
- reasoning systems
- proof search
- predicate calculus
- propositional logic
- temporal logic
- classical logic
- timed automata
- formal semantics
- computer algebra systems
- proof procedure
- higher order
- expert systems
- probabilistic reasoning
- mathematical knowledge
- probabilistic logic
- incomplete information
- knowledge representation
- search space