7991 search results - page 275 / 1599 » Using More Reasoning to Improve |
160
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
As an increasingly large number of OWL ontologies become available on the Semantic Web and the descriptions in the ontologies become more complicated, finding the cause of errors ...
192
click to vote
ISI
2005
Springer
16 years 5 days ago
2005
Springer
To balance demand and supply of information, we propose a framework called “information supply chain” (ISC). This framework is based on supply chain management (SCM), which has...
153
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
We present a variant of PageRank, WLRank, that considers different Web page attributes to give more weight to some links, improving the precision of the answers. Categories and Su...
156
click to vote
KR
1998
Springer
15 years 11 months ago
1998
Springer
The technical problem addressed in this paper is, given two rule systems for consequence relations X and Y, how to construct Y-approximations of a given X-relation. While an upper...
195
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...