1743 search results - page 165 / 349 » Generalized Modal Satisfiability |
155
Voted
GVD
2004
15 years 4 months ago
2004
We investigate classes of SQL queries which are syntactically correct, but certainly not intended, no matter for which task the query was written. For instance, queries that are c...
120
Voted
IJCAI
2001
15 years 4 months ago
2001
A tight integration of Mitchell's version space algorithm with Agrawal et al.'s Apriori algorithm is presented. The algorithm can be used to generate patterns that satis...
102
Voted
IJCAI
2003
15 years 4 months ago
2003
Different qualitative models have been proposed for decision under uncertainty in Artificial Intelli gence, but they generally fail to satisfy the princi ple of strict Pareto ...
110
Voted
AAAI
2000
15 years 4 months ago
2000
Logics for knowledge representation suffer from overspecialization: while each logic may provide an ideal representation formalism for some problems, it is less than optimal for o...
116
Voted
AAAI
1997
15 years 4 months ago
1997
We report on the performance of an enhanced version of the “Davis-Putnam” (DP) proof procedure for propositional satisfiability (SAT) on large instances derived from realworld...