2840 search results - page 119 / 568 » Information Retrieval and Artificial Intelligence |
157
click to vote
AGP
1997
IEEE
15 years 10 months ago
1997
IEEE
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
151
click to vote
FLAIRS
2006
15 years 7 months ago
2006
Populating the Cyc Knowledge Base (KB) has been a manual process until very recently. However, there is currently enough knowledge in Cyc for it to be feasible to attempt to acqui...
147
click to vote
KI
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. In recent years there has been a growing demand for Automated Theorem Proving (ATP) in large theories, which often have more axioms than can be handled effectively as no...
134
click to vote
FLAIRS
2006
15 years 7 months ago
2006
In this paper, we present a learning framework for the semantic annotation of text documents that can be used as textual cases in case-based reasoning applications. The annotation...
162
click to vote
KI
2006
Springer
15 years 6 months ago
2006
Springer
A new approach to building robots with anticipatory behavior is presented. This approach is based on analogy with a single episode from the past experience of the robot. The AMBR m...