Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013
Published in: PxTP@CADE (2013)
Keyphrases
- theorem proving
- lecture notes in artificial intelligence
- theorem prover
- proof planning
- geometry theorem proving
- decision procedures
- automated theorem proving
- first order logic
- automated deduction
- automated reasoning
- proof search
- proof procedure
- parallel search
- term rewriting
- inference rules
- logical inference
- automatic programming
- natural deduction
- predicate calculus
- distributed search
- water quality
- consequence finding
- artificial intelligence
- mathematical knowledge
- combinatorial search
- machine learning
- international workshop
- logic programs
- bayesian networks