Daniel Le Berre

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

Coauthor Index

1	Leila Amgoud	[1]
2	Salem Benferhat	[6] [7] [10] [11] [21] [22]
3	Gerhard Brewka	[7] [10]
4	Thierry Castell	[2]
5	Claudette Cayrol	[1] [2]
6	Michel Cayrol	[2]
7	Sylvie Coste-Marquis	[16] [17] [19] [20]
8	Didier Dubois	[3] [4]
9	Hélène Fargier	[20]
10	Edward A. Hirsch	[15]
11	Souhila Kaci	[6] [11]
12	Jérôme Lang	[20]
13	Florian Letombe	[16] [17] [19]
14	Pierre Marquis	[17] [19] [20]
15	Massimo Narizzano	[12]
16	Anne Parrain	[23]
17	Henri Prade	[3] [4]
18	Paul W. Purdom	[14]
19	Régis Sabbadin	[3] [4]
20	Karima Sedki	[21] [22]
21	Laurent Simon	[8] [9] [12] [13] [14] [15] [18]
22	Armando Tacchella	[8] [12]
23	Mary-Anne Williams	[6] [11]

Colors in the list of coauthors