A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
Christoph LangeMarco B. CaminatiManfred KerberTill MossakowskiColin RowatMakarius WenzelWolfgang WindsteigerPublished in: CoRR (2013)
Keyphrases
- theorem prover
- computer algebra
- automated reasoning
- theorem proving
- automated theorem proving
- first order logic
- automated deduction
- inference rules
- boolean algebra
- higher order logic
- term rewriting
- probability theory
- formal semantics
- computer algebra systems
- bayesian networks
- natural deduction
- qualitative reasoning
- decision theory
- qualitative and quantitative
- graphical models