491 search results - page 14 / 99 » An Interpolating Theorem Prover |
66
Voted
LDVF
2010
14 years 6 months ago
2010
SARA
2007
Springer
15 years 5 months ago
2007
Springer
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
115
click to vote
IJCAI
1997
15 years 1 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
ECCC
2010
14 years 11 months ago
2010
The parallel repetition theorem states that for any Two Prover Game with value at most 1 - (for < 1/2), the value of the game repeated n times in parallel is at most (1 - 3 )(n...
101
click to vote
CADE
2003
Springer
16 years 1 days ago
2003
Springer
IsaPlanner is a generic framework for proof planning in the interactive theorem prover Isabelle. It facilitates the encoding of reasoning techniques, which can be used to conjectur...