Pierre Siegel

According to our database, Pierre Siegel authored at least 28 papers between 1982 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Representation of gene regulation networks by hypothesis logic-based Boolean systems.

Pierre Siegel, Andrei Doncescu, Vincent Risch, Sylvain Sené

J. Supercomput., March, 2023

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

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

A Resilient Behavior Approach Based on Non-monotonic Logic.

José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu

Proceedings of the Advances in Soft Computing, 2019

2018

A New Method for Computing Stable Models in Logic Programming.

Tarek Khaled, Belaid Benhamou, Pierre Siegel

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

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

Proceedings of the 15th International Conference on Control, 2018

2017

Autonomous Aerial Vehicle - Based on Non-Monotonic Logic.

José Luis Vilchis Medina, Pierre Siegel, Andrei Doncescu

Proceedings of the 3rd International Conference on Vehicle Technology and Intelligent Transport Systems, 2017

2013

Utilization of Default Logic for Analyzing a Metabolic System in Discrete Time.

Tan Le, Andrei Doncescu, Pierre Siegel

Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Default Logic for Diagnostic of Discrete Time System.

Tan Le, Andrei Doncescu, Pierre Siegel

Proceedings of the 2013 Eighth International Conference on Broadband and Wireless Computing, 2013

2012

Dealing with Satisfiability and n-ary CSPs in a Logical Framework.

Belaid Benhamou, Lionel Paris, Pierre Siegel

J. Autom. Reason., 2012

A New Semantics for Logic Programs Capturing and Extending the Stable Model Semantics.

Belaid Benhamou, Pierre Siegel

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

2011

The Logic of Hypothesis Generation in Kinetic Modeling of System Biology.

Andrei Doncescu, Pierre Siegel

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Modelling of Submarine Navigation by Nonmonotonic Logic.

Isabelle Toulgoat, Pierre Siegel, Andrei Doncescu

Proceedings of the 2011 International Conference on Broadband, 2011

Operator Decision in Simulation of Biological Systems.

Pierre Siegel, Andrei Doncescu

Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2011

2007

From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets.

Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais

Proceedings of the MICAI 2007: Advances in Artificial Intelligence, 2007

2006

Computing Horn Strong Backdoor Sets Thanks to Local Search.

Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais

Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

A Boolean Encoding Including SAT and n-ary CSPs.

Lionel Paris, Belaid Benhamou, Pierre Siegel

Proceedings of the Artificial Intelligence: Methodology, 2006

2001

Preferential Logics are X-logics.

Lionel Forget, Vincent Risch, Pierre Siegel

J. Log. Comput., 2001

2000

AVAL: An Enumerative Method for SAT.

Gilles Audemard, Belaid Benhamou, Pierre Siegel

Proceedings of the Computational Logic, 2000

1996

A Representation Theorem for Preferential Logics.

Pierre Siegel, Lionel Forget

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

1994

A temporal revision model for reasoning about world change.

Marie-Odile Cordier, Pierre Siegel

Int. J. Intell. Syst., 1994

A Modal Logic for Hypothesis Theory.

Camilla Schwind, Pierre Siegel

Fundam. Informaticae, 1994

Two Proof Procedures for a Cardinality Based Language in Propositional Calculus.

Belaid Benhamou, Lakhdar Sais, Pierre Siegel

Proceedings of the STACS 94, 1994

Prioritized Transitions for Updates.

Marie-Odile Cordier, Pierre Siegel

Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

1993

Modal logic based theory for non-monotonic reasoning.

Pierre Siegel, Camilla Schwind

J. Appl. Non Class. Logics, 1993

DRUMS: Defeasible Reasoning and Uncertainty Management Systems.

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 J. Krause, Michael Dohnal, Christine Froidevaux, Jérôme Mengin, Ramón López de Mántaras, Lluís 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

AI Commun., 1993

1988

Supposition-Based Logic for Automated Nonmontonic Reasoning.

Philippe Besnard, Pierre Siegel

Proceedings of the 9th International Conference on Automated Deduction, 1988

1985

Saturation, Nonmonotonic Reasoning and the Closed-World Assumption.

Genevieve Bossu, Pierre Siegel

Artif. Intell., 1985

1982

Nonmonotonic Reasoning and Databases.

Genevieve Bossu, Pierre Siegel

Proceedings of the Advances in Data Base Theory, 1982