dblp.uni-trier.dewww.uni-trier.de

Pierre Siegel

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
17EELionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais: From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets. MICAI 2007: 105-117
2006
16EELionel Paris, Belaid Benhamou, Pierre Siegel: A Boolean Encoding Including SAT and n-ary CSPs. AIMSA 2006: 33-44
15EELionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais: Computing Horn Strong Backdoor Sets Thanks to Local Search. ICTAI 2006: 139-143
2001
14EELionel Forget, Vincent Risch, Pierre Siegel: Preferential Logics are X-logics. J. Log. Comput. 11(1): 71-83 (2001)
2000
13EEGilles 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)