Theorem Proving for Lewis Logics of Counterfactual Reasoning.
Marianna GirlandoBjörn LellmannNicola OlivettiStefano PesceGian Luca PozzatoPublished in: CILC (2020)
Keyphrases
- theorem proving
- inference rules
- automated reasoning
- logical framework
- decision procedures
- proof procedure
- logical inference
- proof theory
- proof planning
- automated theorem proving
- theorem prover
- first order logic
- automatic programming
- inheritance reasoning
- reasoning tasks
- term rewriting
- modal logic
- causal reasoning
- parallel search
- automated deduction
- default reasoning
- distributed search
- computer algebra systems
- predicate calculus
- horn logic
- consequence finding
- knowledge representation
- combinatorial search
- knowledge representation and reasoning
- probabilistic reasoning
- sequent calculus
- proof search
- propositional logic
- conditional probabilities
- description logics
- machine learning
- geometry theorem proving