| 2018 | ICARCV | 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 |
| 2018 | ICTAI | A New Method for Computing Stable Models in Logic Programming. | Tarek Khaled, Belaid Benhamou, Pierre Siegel |
| 2017 | VEHITS | Autonomous Aerial Vehicle - Based on Non-Monotonic Logic. | Jos Luis Vilchis Medina, Pierre Siegel, Andrei Doncescu |
| 2013 | ICCSA | Utilization of Default Logic for Analyzing a Metabolic System in Discrete Time. | Tan Le, Andrei Doncescu, Pierre Siegel |
| 2012 | ICTAI | A New Semantics for Logic Programs Capturing and Extending the Stable Model Semantics. | Belaid Benhamou, Pierre Siegel |
| 2011 | AINA | Operator Decision in Simulation of Biological Systems. | Pierre Siegel, Andrei Doncescu |
| 2011 | ICTAI | The Logic of Hypothesis Generation in Kinetic Modeling of System Biology. | Andrei Doncescu, Pierre Siegel |
| 2006 | AIMSA | A Boolean Encoding Including SAT and n-ary CSPs. | Lionel Paris, Belaid Benhamou, Pierre Siegel |
| 2006 | ICTAI | Computing Horn Strong Backdoor Sets Thanks to Local Search. | Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais |
| 1996 | KR | A Representation Theorem for Preferential Logics. | Pierre Siegel, Lionel Forget |
| 1995 | ECSQARU | Prioritized Transitions for Updates. | Marie-Odile Cordier, Pierre Siegel |
| 1994 | KI | Prioritized Transitions for Updates. | Marie-Odile Cordier, Pierre Siegel |
| 1994 | STACS | Two Proof Procedures for a Cardinality Based Language in Propositional Calculus. | Belaid Benhamou, Lakhdar Sais, Pierre Siegel |
| 1992 | KR | A Temporal Revision Model for Reasoning about World Change. | Marie-Odile Cordier, Pierre Siegel |
| 1988 | CADE | Supposition-Based Logic for Automated Nonmontonic Reasoning. | Philippe Besnard, Pierre Siegel |