The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pierre Siegel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002