226 search results - page 6 / 46 » BDDs and Automated Deduction |
61
Voted
CADE
2007
Springer
15 years 12 months ago
2007
Springer
80
Voted
CADE
1990
Springer
15 years 3 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
15 years 5 months ago
2007
Springer
88
Voted
IJCAI
1997
15 years 1 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
15 years 5 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...