Daniel Le Berre

2007
19		Salem Benferhat, Daniel Le Berre, Karima Sedki: Handling Qualitative Preferences Using Normal Form Functions. FLAIRS Conference 2007: 38-43
2006
18		Salem Benferhat, Daniel Le Berre, Karima Sedki: An Alternative Inference for Qualitative Choice Logic. ECAI 2006: 741-742
17		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
2005
16		Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis: Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae. AAAI 2005: 288-293
15	EE	Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe: A Branching Heuristics for Quantified Renamable Horn Formulas. SAT 2005: 393-399
14	EE	Laurent Simon, Daniel Le Berre, Edward A. Hirsch: The SAT2002 competition. Ann. Math. Artif. Intell. 43(1): 307-342 (2005)
13	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
12	EE	Daniel Le Berre, Laurent Simon: Fifty-Five Solvers in Vancouver: The SAT 2004 Competition. SAT (Selected Papers 2004: 321-344
11	EE	Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella: The Second QBF Solvers Comparative Evaluation. SAT (Selected Papers 2004: 376-392
10	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)
9	EE	Gerhard Brewka, Salem Benferhat, Daniel Le Berre: Qualitative choice logic. Artif. Intell. 157(1-2): 203-237 (2004)
2003
8	EE	Daniel Le Berre, Laurent Simon: The Essentials of the SAT 2003 Competition. SAT 2003: 452-467
7	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
6		Gerhard Brewka, Salem Benferhat, Daniel Le Berre: Qualitative Choice Logic. KR 2002: 158-169
2001
5		Salem Benferhat, Souhila Kaci, Daniel Le Berre, Mary-Anne Williams: Weakening Conflicting Information for Iterated Revision and Knowledge Integration. IJCAI 2001: 109-118
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	[5] [6] [9] [10] [18] [19]
3	Gerhard Brewka	[6] [9]
4	Thierry Castell	[2]
5	Claudette Cayrol	[1] [2]
6	Michel Cayrol	[2]
7	Sylvie Coste-Marquis	[15] [16] [17]
8	Didier Dubois	[3] [4]
9	Hélène Fargier	[17]
10	Edward A. Hirsch	[14]
11	Souhila Kaci	[5] [10]
12	Jérôme Lang	[17]
13	Florian Letombe	[15] [16]
14	Pierre Marquis	[16] [17]
15	Massimo Narizzano	[11]
16	Henri Prade	[3] [4]
17	Paul W. Purdom	[13]
18	Régis Sabbadin	[3] [4]
19	Karima Sedki	[18] [19]
20	Laurent Simon	[7] [8] [11] [12] [13] [14]
21	Armando Tacchella	[7] [11]
22	Mary-Anne Williams	[5] [10]

Colors in the list of coauthors