Pierre Siegel

2007
17	EE	Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais: From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets. MICAI 2007: 105-117
2006
16	EE	Lionel Paris, Belaid Benhamou, Pierre Siegel: A Boolean Encoding Including SAT and n-ary CSPs. AIMSA 2006: 33-44
15	EE	Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais: Computing Horn Strong Backdoor Sets Thanks to Local Search. ICTAI 2006: 139-143
2001
14	EE	Lionel Forget, Vincent Risch, Pierre Siegel: Preferential Logics are X-logics. J. Log. Comput. 11(1): 71-83 (2001)
2000
13	EE	Gilles Audemard, Belaid Benhamou, Pierre Siegel: AVAL: An Enumerative Method for SAT. Computational Logic 2000: 373-383
1996
12		Pierre Siegel, Lionel Forget: A Representation Theorem for Preferential Logics. KR 1996: 453-460
1995
11		Marie-Odile Cordier, Pierre Siegel: Prioritized Transitions for Updates. ECSQARU 1995: 142-150
1994
10		Marie-Odile Cordier, Pierre Siegel: Prioritized Transitions for Updates. KI 1994: 393
9		Belaid Benhamou, Lakhdar Sais, Pierre Siegel: Two Proof Procedures for a Cardinality Based Language in Propositional Calculus. STACS 1994: 71-82
8		Camilla Schwind, Pierre Siegel: A Modal Logic for Hypothesis Theory. Fundam. Inform. 21(1/2): 89-101 (1994)
1993
7		Philippe Besnard, Yves Moinard, Wilmer Pereira, Michael Clarke, Nic Wilson, Miguel Delgado, Serafín Moral, Juan Cano, Didier Dubois, Henri Prade, Luis Fariñas del Cerro, Jérôme Lang, Stéphane Amarger, John Fox, Paul Krause, Michael Dohnal, Christine Froidevaux, Jérôme Mengin, Ramon López de Mántaras, Lluis Godo, E. H. Mamdani, John Bigham, Simon Parsons, Rudolf Kruse, Olivier Paillet, Pierre Siegel, Philippe Smets, Yen-Teh Hsia, Alessandro Saffiotti, Robert Kennes, Hong Xu, Elizabeth Umkehrer, Kurt Sundermeyer, Chris Whitney: DRUMS: Defeasible Reasoning and Uncertainty Management Systems. AI Commun. 6(1): 27-46 (1993)
6		Pierre Siegel, Camilla Schwind: Modal logic based theory for non-monotonic reasoning. Journal of Applied Non-Classical Logics 3(1): (1993)
1992
5		Marie-Odile Cordier, Pierre Siegel: A Temporal Revision Model for Reasoning about World Change. KR 1992: 732-739
1991
4		Rudolf Kruse, Pierre Siegel: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQAU, Marseille, France, October 15-17, 1991, Proceedings Springer 1991
1988
3		Philippe Besnard, Pierre Siegel: Supposition-Based Logic for Automated Nonmontonic Reasoning. CADE 1988: 592-601
1985
2		Genevieve Bossu, Pierre Siegel: Saturation, Nonmonotonic Reasoning and the Closed-World Assumption. Artif. Intell. 25(1): 13-63 (1985)
1982
1		Genevieve Bossu, Pierre Siegel: Nonmonotonic Reasoning and Databases. Advances in Data Base Theory 1982: 239-284

Coauthor Index

1	Stéphane Amarger	[7]
2	Gilles Audemard	[13]
3	Belaid Benhamou	[9] [13] [16]
4	Philippe Besnard	[3] [7]
5	John Bigham	[7]
6	Genevieve Bossu	[1] [2]
7	Juan Cano	[7]
8	Luis Fariñas del Cerro	[7]
9	Michael Clarke	[7]
10	Marie-Odile Cordier	[5] [10] [11]
11	Miguel Delgado	[7]
12	Michael Dohnal	[7]
13	Didier Dubois	[7]
14	Lionel Forget	[12] [14]
15	John Fox	[7]
16	Christine Froidevaux	[7]
17	Lluis Godo	[7]
18	Yen-Teh Hsia	[7]
19	Robert Kennes	[7]
20	Paul Krause	[7]
21	Rudolf Kruse	[4] [7]
22	Jérôme Lang	[7]
23	E. H. Mamdani	[7]
24	Ramon López de Mántaras	[7]
25	Jérôme Mengin	[7]
26	Yves Moinard	[7]
27	Serafín Moral	[7]
28	Richard Ostrowski	[15] [17]
29	Olivier Paillet	[7]
30	Lionel Paris	[15] [16] [17]
31	Simon Parsons	[7]
32	Wilmer Pereira	[7]
33	Henri Prade	[7]
34	Vincent Risch	[14]
35	Alessandro Saffiotti	[7]
36	Lakhdar Sais	[9] [15] [17]
37	Camilla Schwind	[6] [8]
38	Philippe Smets	[7]
39	Kurt Sundermeyer	[7]
40	Elizabeth Umkehrer	[7]
41	Chris Whitney	[7]
42	Nic Wilson	[7]
43	Hong Xu	[7]

Colors in the list of coauthors