Nonmonotonic Reasoning and Databases. - Genevieve Bossu; Pierre Siegel (Advances in Data Base Theory, 1982)

Saturation, Nonmonotonic Reasoning and the Closed-World Assumption. - Genevieve Bossu; Pierre Siegel (Artif. Intell., 1985)

Supposition-Based Logic for Automated Nonmontonic Reasoning. - Philippe Besnard; Pierre Siegel (CADE, 1988)

DRUMS: Defeasible Reasoning and Uncertainty Management Systems. - Philippe Besnard; Yves Moinard; Wilmer Pereira; Michael Clarke; Nic Wilson; Miguel Delgado 001; Serafín Moral; Juan Cano; Didier Dubois; Henri Prade; Luis Fariñas del Cerro; Jérôme Lang; et al. (AI Commun., 1993)

Modal logic based theory for non-monotonic reasoning. - Pierre Siegel; Camilla Schwind (J. Appl. Non Class. Logics, 1993)

Prioritized Transitions for Updates. - Marie-Odile Cordier; Pierre Siegel (KI, 1994)

Two Proof Procedures for a Cardinality Based Language in Propositional Calculus. - Belaid Benhamou; Lakhdar Sais; Pierre Siegel (STACS, 1994)

A Modal Logic for Hypothesis Theory. - Camilla Schwind; Pierre Siegel (Fundam. Informaticae, 1994)

A temporal revision model for reasoning about world change. - Marie-Odile Cordier; Pierre Siegel (Int. J. Intell. Syst., 1994)

A Representation Theorem for Preferential Logics. - Pierre Siegel; Lionel Forget (KR, 1996)

AVAL: An Enumerative Method for SAT. - Gilles Audemard; Belaid Benhamou; Pierre Siegel (Computational Logic, 2000)

Preferential Logics are X-logics. - Lionel Forget; Vincent Risch; Pierre Siegel (J. Log. Comput., 2001)

A Boolean Encoding Including SAT and n-ary CSPs. - Lionel Paris; Belaid Benhamou; Pierre Siegel (AIMSA, 2006)

Computing Horn Strong Backdoor Sets Thanks to Local Search. - Lionel Paris; Richard Ostrowski; Pierre Siegel; Lakhdar Sais (ICTAI, 2006)

From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets. - Lionel Paris; Richard Ostrowski; Pierre Siegel; Lakhdar Sais (MICAI, 2007)

Operator Decision in Simulation of Biological Systems. - Pierre Siegel; Andrei Doncescu (AINA Workshops, 2011)

Modelling of Submarine Navigation by Nonmonotonic Logic. - Isabelle Toulgoat; Pierre Siegel; Andrei Doncescu (BWCCA, 2011)

The Logic of Hypothesis Generation in Kinetic Modeling of System Biology. - Andrei Doncescu; Pierre Siegel (ICTAI, 2011)

A New Semantics for Logic Programs Capturing and Extending the Stable Model Semantics. - Belaid Benhamou; Pierre Siegel (ICTAI, 2012)

Dealing with Satisfiability and n-ary CSPs in a Logical Framework. - Belaid Benhamou; Lionel Paris; Pierre Siegel (J. Autom. Reason., 2012)

Default Logic for Diagnostic of Discrete Time System. - Tan Le; Andrei Doncescu; Pierre Siegel (BWCCA, 2013)

Utilization of Default Logic for Analyzing a Metabolic System in Discrete Time. - Tan Le; Andrei Doncescu; Pierre Siegel (ICCSA (6), 2013)

Autonomous Aerial Vehicle - Based on Non-Monotonic Logic. - José Luis Vilchis Medina; Pierre Siegel; Andrei Doncescu (VEHITS, 2017)

Intelligent and Adaptive System based on a Non-monotonic Logic for an Autonomous Motor-glider. - José Luis Vilchis Medina; Pierre Siegel; Vincent Risch; Andrei Doncescu (ICARCV, 2018)

A New Method for Computing Stable Models in Logic Programming. - Tarek Khaled; Belaid Benhamou; Pierre Siegel (ICTAI, 2018)

A Resilient Behavior Approach Based on Non-monotonic Logic. - José Luis Vilchis Medina; Pierre Siegel; Vincent Risch; Andrei Doncescu (MICAI, 2019)

An Implementation of a Non-monotonic Logic in an Embedded Computer for a Motor-glider. - José Luis Vilchis Medina; Pierre Siegel; Vincent Risch; Andrei Doncescu (ICLP Technical Communications, 2019)

Representation of gene regulation networks by hypothesis logic-based Boolean systems. - Pierre Siegel; Andrei Doncescu; Vincent Risch; Sylvain Sené (J. Supercomput., 2023)