226 search results - page 6 / 46 » BDDs and Automated Deduction |
95
Voted
CADE
2007
Springer
16 years 4 months ago
2007
Springer
123
click to vote
CADE
1990
Springer
15 years 8 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...
107
Voted
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
125
click to vote
IJCAI
1997
15 years 5 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...
107
Voted
KI
2007
Springer
15 years 10 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...