77 search results - page 1 / 16 » Research Perspectives for Logic and Deduction |
BIRTHDAY
2006
Springer
13 years 8 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...
DALT
2004
Springer
13 years 10 months ago
2004
Springer
KI
2007
Springer
13 years 11 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...
ISMIS
1994
Springer
13 years 9 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....
JAPLL
2006
13 years 4 months 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...