On theorem proving in annotated logics.
Mi LuJin-Zhao WuPublished in: J. Appl. Non Class. Logics (2000)
Keyphrases
- theorem proving
- inference rules
- decision procedures
- modal logic
- theorem prover
- first order logic
- automated reasoning
- automatic programming
- automated deduction
- parallel search
- automated theorem proving
- term rewriting
- proof procedure
- consequence finding
- distributed search
- proof planning
- logical inference
- combinatorial search
- proof search
- geometry theorem proving
- classical logic
- temporal logic
- nonmonotonic logics
- data mining
- logical framework
- abductive reasoning
- formal semantics
- model checking
- logic programming