4573 search results - page 732 / 915 » Automated Reasoning |
171
click to vote
CSL
2007
Springer
16 years 21 days ago
2007
Springer
The Prover/Delayer game is a combinatorial game that can be used to prove upper and lower bounds on the size of Tree Resolution proofs, and also perfectly characterizes the space ...
136
click to vote
ICCBR
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Representing biomedical knowledge is an essential task in biomedical informatics intelligent systems. Case-based reasoning (CBR) holds the promise of representing context...
164
click to vote
ICCBR
2007
Springer
16 years 20 days ago
2007
Springer
A knowledge-intensive case-based reasoning system has profit of the domain knowledge, together with the case base. Therefore, acquiring new pieces of domain knowledge should impro...
166
click to vote
ICCBR
2007
Springer
16 years 20 days ago
2007
Springer
We present a novel approach to mine word similarity in Textual Case Based Reasoning. We exploit indirect associations of words, in addition to direct ones for estimating their simi...
151
click to vote
ICLP
2007
Springer
16 years 20 days ago
2007
Springer
As logic programming applications grow in size, Prolog systems need to efficiently access larger and larger data sets and the need for any- and multiargument indexing becomes more...