4573 search results - page 500 / 915 » Automated Reasoning |
135
click to vote
ICCBR
2005
Springer
15 years 10 months ago
2005
Springer
The development of large-scale case-based reasoning systems has increased the necessity of providing tools for analyzing the case base structure. In this paper we present a hierarc...
145
Voted
EWCBR
2004
Springer
15 years 10 months ago
2004
Springer
The ranking of offers is an issue in e-commerce that has received a lot of attention in Case-Based Reasoning research. In the absence of a sales assistant, it is important to provi...
165
Voted
EWCBR
2004
Springer
15 years 10 months ago
2004
Springer
Case-based Reasoning (CBR) is a mature technology for building knowledge-based systems that are capable to produce useful results even if no answer matches the query exactly. Often...
146
Voted
LPAR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe a novel decision procedure for Quantified Boolean Formulas (QBFs) which aims to unleash the hidden potential of quantified reasoning in applications. The Sk...
164
Voted
LPAR
2004
Springer
15 years 10 months ago
2004
Springer
DPLL and DPLL Modulo Theories Robert Nieuwenhuis , Albert Oliveras , and Cesare Tinelli We introduce Abstract DPLL, a general and simple abstract rule-based formulation of the Davi...