Scavenger 0.1: A Theorem Prover Based on Conflict Resolution.
Daniyar ItegulovJohn SlaneyBruno Woltzenlogel PaleoPublished in: CADE (2017)
Keyphrases
- theorem prover
- conflict resolution
- theorem proving
- resolve conflicts
- first order logic
- automated reasoning
- inference rules
- automated theorem proving
- term rewriting
- access control policies
- exception handling
- formal semantics
- computer algebra
- extended logic programs
- formal proof
- resolving conflicts
- proof search
- mathematical knowledge
- machine learning
- natural deduction
- modal logic
- multi objective
- bayesian networks