1077 search results - page 84 / 216 » integration 2000 |
MICAI
2000
Springer
13 years 11 months ago
2000
Springer
We introduce the new paradigm of High-Level Non-Monotonic reasoning (HLNM). This paradigm is the consolidation of our recent results on disjunctions, sets, explicit and implicit ne...
TABLEAUX
2000
Springer
13 years 11 months ago
2000
Springer
We present an approach to inductive theorem proving that integrates rippling-based rewriting into matrix-based logical proof search. The selection of appropriate connections in a m...
AAAI
2000
13 years 9 months ago
2000
We propose a frameworkfor robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model a...
AVI
2000
13 years 9 months ago
2000
In previous work, the first author argued for simple lightweight visualisations. These are surprisingly complex to produce due to the need for infrastructure to read files, etc. o...
COLING
2000
13 years 9 months ago
2000
In order to produce, a good summary, one has to identify the most relevant portions of a given text. We describe in this t)at)er a method for automatically training tel)it, signat...