5086 search results - page 37 / 1018 » The Power of Comparative Reasoning |
148
click to vote
IJCAI
2001
15 years 6 months ago
2001
Ontologies are set to play a key r^ole in the "Semantic Web" by providing a source of shared and precisely defined terms that can be used in descriptions of web resource...
140
click to vote
UAI
2003
15 years 6 months ago
2003
We introduce a logic for reasoning about evidence that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after makin...
151
Voted
ENTCS
2008
15 years 4 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...
133
click to vote
ICCBR
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we compare case-based spam filters, focusing on their resilience to concept drift. In particular, we evaluate how to track concept drift using a case-based spam fi...
117
click to vote
VL
2009
IEEE
15 years 11 months ago
2009
IEEE
Continuing our research in explanation-oriented language design, we present a domain-specific visual language for explaining probabilistic reasoning. Programs in this language, c...