2008 |
23 | | Daniel Le Berre,
Anne Parrain:
On SAT Technologies for Dependency Management and Beyond.
SPLC (2) 2008: 197-200 |
2007 |
22 | | Salem Benferhat,
Daniel Le Berre,
Karima Sedki:
Handling Qualitative Preferences Using Normal Form Functions.
FLAIRS Conference 2007: 38-43 |
2006 |
21 | | Salem Benferhat,
Daniel Le Berre,
Karima Sedki:
An Alternative Inference for Qualitative Choice Logic.
ECAI 2006: 741-742 |
20 | | Sylvie Coste-Marquis,
Hélène Fargier,
Jérôme Lang,
Daniel Le Berre,
Pierre Marquis:
Representing Policies for Quantified Boolean Formulae.
KR 2006: 286-297 |
19 | EE | Sylvie Coste-Marquis,
Daniel Le Berre,
Florian Letombe,
Pierre Marquis:
Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages.
JSAT 1(1): 61-88 (2006) |
18 | EE | Daniel Le Berre,
Laurent Simon:
Preface.
JSAT 2(1-4): (2006) |
2005 |
17 | | Sylvie Coste-Marquis,
Daniel Le Berre,
Florian Letombe,
Pierre Marquis:
Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae.
AAAI 2005: 288-293 |
16 | EE | Sylvie Coste-Marquis,
Daniel Le Berre,
Florian Letombe:
A Branching Heuristics for Quantified Renamable Horn Formulas.
SAT 2005: 393-399 |
15 | EE | Laurent Simon,
Daniel Le Berre,
Edward A. Hirsch:
The SAT2002 competition.
Ann. Math. Artif. Intell. 43(1): 307-342 (2005) |
14 | EE | Paul W. Purdom,
Daniel Le Berre,
Laurent Simon:
A parsimony tree for the SAT2002 competition.
Ann. Math. Artif. Intell. 43(1): 343-365 (2005) |
2004 |
13 | EE | Daniel Le Berre,
Laurent Simon:
Fifty-Five Solvers in Vancouver: The SAT 2004 Competition.
SAT (Selected Papers 2004: 321-344 |
12 | EE | Daniel Le Berre,
Massimo Narizzano,
Laurent Simon,
Armando Tacchella:
The Second QBF Solvers Comparative Evaluation.
SAT (Selected Papers 2004: 376-392 |
11 | EE | Salem Benferhat,
Souhila Kaci,
Daniel Le Berre,
Mary-Anne Williams:
Weakening conflicting information for iterated revision and knowledge integration.
Artif. Intell. 153(1-2): 339-371 (2004) |
10 | EE | Gerhard Brewka,
Salem Benferhat,
Daniel Le Berre:
Qualitative choice logic.
Artif. Intell. 157(1-2): 203-237 (2004) |
2003 |
9 | EE | Daniel Le Berre,
Laurent Simon:
The Essentials of the SAT 2003 Competition.
SAT 2003: 452-467 |
8 | EE | Daniel Le Berre,
Laurent Simon,
Armando Tacchella:
Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers.
SAT 2003: 468-485 |
2002 |
7 | | Gerhard Brewka,
Salem Benferhat,
Daniel Le Berre:
Qualitative Choice Logic.
KR 2002: 158-169 |
2001 |
6 | | Salem Benferhat,
Souhila Kaci,
Daniel Le Berre,
Mary-Anne Williams:
Weakening Conflicting Information for Iterated Revision and Knowledge Integration.
IJCAI 2001: 109-118 |
5 | EE | Daniel Le Berre:
Exploiting the real power of unit propagation lookahead.
Electronic Notes in Discrete Mathematics 9: 59-80 (2001) |
1999 |
4 | | Didier Dubois,
Daniel Le Berre,
Henri Prade,
Régis Sabbadin:
Using Possibilistic Logic for Modeling Qualitative Decision: ATMS-based Algorithms.
Fundam. Inform. 37(1-2): 1-30 (1999) |
1998 |
3 | | Didier Dubois,
Daniel Le Berre,
Henri Prade,
Régis Sabbadin:
Logical Representation and Computation of Optimal Decisions in a Qualitative Setting.
AAAI/IAAI 1998: 588-593 |
1996 |
2 | | Thierry Castell,
Claudette Cayrol,
Michel Cayrol,
Daniel Le Berre:
Using the Davis and Putnam Procedure for an Efficient Computation of Preferred Models.
ECAI 1996: 350-354 |
1 | | Leila Amgoud,
Claudette Cayrol,
Daniel Le Berre:
Comparing Arguments Using Preference Ordering for Argument-Based Reasoning.
ICTAI 1996: 400-403 |