4573 search results - page 500 / 915 » Automated Reasoning |
162
Voted
ICCBR
2005
Springer
16 years 11 days 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...
170
click to vote
EWCBR
2004
Springer
16 years 7 days 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...
199
click to vote
EWCBR
2004
Springer
16 years 7 days 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...
178
click to vote
LPAR
2004
Springer
16 years 7 days 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...
204
click to vote
LPAR
2004
Springer
16 years 7 days 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...