Search the dblp DataBase

Publications of Author

1. Genevieve Bossu, Pierre Siegel
   Saturation, Nonmonotonic Reasoning and the Closed-World Assumption. [Citation Graph (6, 0)][DBLP]
   Artif. Intell., 1985, v:25, n:1, pp:13-63 [Journal]
   
2. Genevieve Bossu, Pierre Siegel
   Nonmonotonic Reasoning and Databases. [Citation Graph (0, 0)][DBLP]
   Advances in Data Base Theory, 1982, pp:239-284 [Conf]
   
3. Lionel Paris, Belaid Benhamou, Pierre Siegel
   A Boolean Encoding Including SAT and n-ary CSPs. [Citation Graph (0, 0)][DBLP]
   AIMSA, 2006, pp:33-44 [Conf]
   
4. Philippe Besnard, Pierre Siegel
   Supposition-Based Logic for Automated Nonmontonic Reasoning. [Citation Graph (0, 0)][DBLP]
   CADE, 1988, pp:592-601 [Conf]
   
5. Gilles Audemard, Belaid Benhamou, Pierre Siegel
   AVAL: An Enumerative Method for SAT. [Citation Graph (0, 0)][DBLP]
   Computational Logic, 2000, pp:373-383 [Conf]
   
6. Marie-Odile Cordier, Pierre Siegel
   Prioritized Transitions for Updates. [Citation Graph (0, 0)][DBLP]
   ECSQARU, 1995, pp:142-150 [Conf]
   
7. Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais
   Computing Horn Strong Backdoor Sets Thanks to Local Search. [Citation Graph (0, 0)][DBLP]
   ICTAI, 2006, pp:139-143 [Conf]
   
8. Marie-Odile Cordier, Pierre Siegel
   Prioritized Transitions for Updates. [Citation Graph (0, 0)][DBLP]
   KI, 1994, pp:393- [Conf]
   
9. Marie-Odile Cordier, Pierre Siegel
   A Temporal Revision Model for Reasoning about World Change. [Citation Graph (0, 0)][DBLP]
   KR, 1992, pp:732-739 [Conf]
   
10. Pierre Siegel, Lionel Forget
    A Representation Theorem for Preferential Logics. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:453-460 [Conf]
    
11. Belaid Benhamou, Lakhdar Sais, Pierre Siegel
    Two Proof Procedures for a Cardinality Based Language in Propositional Calculus. [Citation Graph (0, 0)][DBLP]
    STACS, 1994, pp:71-82 [Conf]
    
12. 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. [Citation Graph (0, 0)][DBLP]
    AI Commun., 1993, v:6, n:1, pp:27-46 [Journal]
    
13. Camilla Schwind, Pierre Siegel
    A Modal Logic for Hypothesis Theory. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1994, v:21, n:1/2, pp:89-101 [Journal]
    
14. Pierre Siegel, Camilla Schwind
    Modal logic based theory for non-monotonic reasoning. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1993, v:3, n:1, pp:- [Journal]
    
15. Lionel Forget, Vincent Risch, Pierre Siegel
    Preferential Logics are X-logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:1, pp:71-83 [Journal]
    
16. Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais
    From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets. [Citation Graph (0, 0)][DBLP]
    MICAI, 2007, pp:105-117 [Conf]