Semantically-Guided Goal-Sensitive Reasoning: Decision Procedures and the Koala Prover.
Maria Paola BonacinaSarah WinklerPublished in: J. Autom. Reason. (2023)
Keyphrases
- decision procedures
- theorem proving
- automated reasoning
- reasoning problems
- theorem prover
- automated theorem proving
- modal logic
- inference rules
- first order logic
- reasoning tasks
- quantified boolean formulas
- knowledge representation
- natural language
- query containment
- model theoretic
- database
- tight complexity bounds
- satisfiability problem
- graphical models
- artificial intelligence