77 search results - page 1 / 16 » Research Perspectives for Logic and Deduction |
84
Voted
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...
87
Voted
DALT
2004
Springer
15 years 5 months ago
2004
Springer
82
Voted
KI
2007
Springer
15 years 6 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...
102
Voted
ISMIS
1994
Springer
15 years 4 months ago
1994
Springer
BDDs (binary decision diagrams) are a very succesful tool for handling boolean functions, but one which has not yet attracted the attention of many automated deduction specialists....
106
Voted
JAPLL
2006
15 years 13 days ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...