3441 search results - page 250 / 689 » Intelligent Computation of Presentation Documents |
203
click to vote
JELIA
1998
Springer
15 years 11 months ago
1998
Springer
Generalization is a fundamental operation of inductive inference. While rst order syntactic generalization anti-uni cation is well understood, its various extensions are needed in...
165
click to vote
SBIA
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing age...
191
click to vote
ISMIS
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. This paper presents a framework for reasoning using intervals. Two interpretations of intervals are examined, one treats intervals as bounds of a truth evaluation functio...
162
click to vote
ICTAI
1994
IEEE
15 years 11 months ago
1994
IEEE
An object-oriented neural network simulator kernel is presented. It is based on a general mathematical model for arbitrary feedforward nets. We propose a C++ implementation of thi...
182
click to vote
ECAI
1994
Springer
15 years 11 months ago
1994
Springer
1 We develop a learning component for a theorem prover designed for verifying statements by mathematical induction. If the prover has found a proof, it is analyzed yielding a so-ca...