889 search results - page 13 / 178 » General Conclusions |
IANDC
2008
14 years 10 months ago
2008
We present a decision procedure for the description logic SHIQ based on the basic superposition calculus, and show that it runs in exponential time for unary coding of numbers. To...
IJAR
2008
14 years 10 months ago
2008
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...
RULEML
2010
Springer
14 years 8 months ago
2010
Springer
We propose a systematic investigation on how to modify a preference relation in a defeasible logic theory to change the conclusions of the theory itself. We argue that the approach...
SIGIR
2011
ACM
14 years 27 days ago
2011
ACM
Ranking function performance reached a plateau in 1994. The reason for this is investigated. First the performance of BM25 is measured as the proportion of queries satisfied on th...
CSB
2005
IEEE
15 years 3 months ago
2005
IEEE
When building predictors of disease state based on gene expression data, gene selection is performed in order to achieve a good performance and to identify a relevant subset of ge...