Result 21 to 33 of 33 total
Weakening conflicting information for iterated revision and knowledge integration. (English)
Artif. Intell. 153, No. 1-2, 339-371 (2004).
21
Fifty-five solvers in Vancouver: the SAT 2004 competition (English)
SAT (Selected Papers, 321-344 (2004).
22
The second QBF solvers comparative evaluation (English)
SAT (Selected Papers, 376-392 (2004).
23
Challenges in the QBF arena: the SAT’03 evaluation of QBF solvers (English)
SAT, 468-485 (2003).
24
The essentials of the SAT 2003 competition (English)
SAT, 452-467 (2003).
25
Qualitative choice logic (English)
KR, 158-169 (2002).
26
Exploiting the real power of unit propagation lookahead. (English)
Kautz, Henry (ed.) et al., LICS 2001 workshop on theory and application of satisfiability testing (SAT 2001). Boston, MA, USA, June 14-15, 2001. Amsterdam: Elsevier, Electron. Notes Discrete Math. 9, no pag., electronic only (2001).
27
Exploiting the real power of unit propagation lookahead (English)
Electronic Notes in Discrete Mathematics 9, 59-80 (2001).
28
Weakening conflicting information for iterated revision and knowledge integration (English)
IJCAI, 109-118 (2001).
29
Using possibilistic logic for modeling qualitative decision: ATMS-based algorithms. (English)
Fundam. Inform. 37, No.1-2, 1-30 (1999).
30
Logical representation and computation of optimal decisions in a qualitative setting (English)
AAAI/IAAI, 588-593 (1998).
31
Using the Davis and Putnam procedure for an efficient computation of preferred models (English)
ECAI, 350-354 (1996).
32
Comparing arguments using preference ordering for argument-based reasoning (English)
ICTAI, 400-403 (1996).
33
Result 21 to 33 of 33 total
Start
Contact
Print
General Help
