846 search results - page 44 / 170 » Rewrite-Based Decision Procedures |
CORR
2007
Springer
13 years 10 months ago
2007
Springer
Data mining is a useful decision support technique that can be used to discover production rules in warehouses or corporate data. Data mining research has made much effort to appl...
AI
2006
Springer
13 years 10 months ago
2006
Springer
In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which multiple users have distinct preferences. However, making su...
JASIS
2010
13 years 4 months ago
2010
The decision of the United States Supreme Court in 1991 in Feist Publications, Inc. v. Rural Tel. Service Co. affirmed originality as a constitutional requirement for copyright. O...
CADE
2008
Springer
13 years 12 months ago
2008
Springer
We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch
IJCAI
2001
13 years 11 months ago
2001
The implementation of effective reasoning tools for deciding the satisfiability of Quantified Boolean Formulas (QBFs) is an important research issue in Artificial Intelligence. Ma...