Scavenger 0.1: A Theorem Prover Based on Conflict Resolution.
Daniyar ItegulovJohn SlaneyBruno Woltzenlogel PaleoPublished in: CoRR (2017)
Keyphrases
- conflict resolution
- theorem prover
- theorem proving
- automated reasoning
- first order logic
- resolve conflicts
- term rewriting
- automated theorem proving
- computer algebra
- inference rules
- access control policies
- formal proof
- extended logic programs
- proof planning
- natural deduction
- formal semantics
- boolean algebra
- exception handling
- collaborative design
- resolving conflicts