4617 search results - page 565 / 924 » Automation of Diagrammatic Reasoning |
228
click to vote
CADE
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
192
click to vote
ICCBR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Making case adaptation practical is a longstanding challenge for casebased reasoning. One of the impediments to widespread use of automated case adaptation is the adaptat...
177
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper describes a large case study that explores the applicability of ontology reasoning to problems in the medical domain. We investigate whether it is possible to ...
190
click to vote
ICCBR
2005
Springer
16 years 1 months ago
2005
Springer
Typically, case-based recommender systems recommend single items to the on-line customer. In this paper we introduce the idea of recommending a user-defined collection of items whe...
200
click to vote
EWCBR
2004
Springer
16 years 1 months ago
2004
Springer
Taxonomic case retrieval systems significantly outperform standard conversational case retrieval systems. However, their feature taxonomies, which are the principal reason for thei...