226 search results - page 6 / 46 » BDDs and Automated Deduction |
CADE
2007
Springer
14 years 7 months ago
2007
Springer
CADE
1990
Springer
13 years 11 months ago
1990
Springer
In automated deduction systems that are intended for human use, the presentation of a proof is no less important than its discovery. For most of today's automated theorem pro...
LPAR
2007
Springer
14 years 1 months ago
2007
Springer
IJCAI
1997
13 years 8 months ago
1997
A method is presented for analogical reasoning in Automated Deduction. We focus on the abductive aspects of analogy and give a unified treatment for theorems and non-theorems. Abd...
KI
2007
Springer
14 years 1 months ago
2007
Springer
With this talk we want to pay tribute to the late Professor Gerd Veenker who deserves the historic credit of initiating the formation of the German AI community. We present a summa...