1169 search results - page 102 / 234 » Two Ways to Common Knowledge |
ECSQARU
2005
Springer
15 years 3 months ago
2005
Springer
The main task of drug discovery is to find novel bioactive molecules, i.e., chemical compounds that, for example, protect human cells against a virus. One way to support solving t...
ECSQARU
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
VLDB
2005
ACM
15 years 3 months ago
2005
ACM
The key idea behind Inspector Joins is that during the I/O partitioning phase of a hash-based join, we have the opportunity to look at the actual data itself and then use this kno...
PRICAI
2004
Springer
15 years 3 months ago
2004
Springer
: In this paper we present our work on applying Belief Augmented Frames to the text classification problem. We formulate the problem in two alternative ways, and we evaluate the pe...
IDA
2003
Springer
15 years 3 months ago
2003
Springer
The main task of drug discovery is to find novel bioactive molecules, i.e., chemical compounds that, for example, protect human cells against a virus. One way to support solving t...