SAT-Based Proof Search in Intermediate Propositional Logics.
Camillo FiorentiniMauro FerrariPublished in: IJCAR (2022)
Keyphrases
- proof search
- inference rules
- first order logic
- proof procedure
- horn clauses
- theorem proving
- theorem prover
- propositional logic
- modal logic
- linear logic
- sequent calculus
- proof planning
- default logic
- intuitionistic logic
- answer set programming
- search procedure
- decision procedures
- knowledge representation
- sat solvers
- classical logic
- automated reasoning
- logical framework
- predicate calculus
- logic programming
- fixpoint
- probabilistic reasoning
- natural deduction
- cut elimination
- sat encodings
- conditional probabilities
- evolutionary algorithm