Pierre Siegel - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2023

Representation of gene regulation networks by hypothesis logic-based Boolean systemsPierre Siegel, Andrei Doncescu, Vincent Risch, Sylvain Sené. tjs, 79(4):4556-4581, March 2023. [doi]

2019

A Resilient Behavior Approach Based on Non-monotonic LogicJosé Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu. micai 2019: 403-413 [doi]

2018

A New Method for Computing Stable Models in Logic ProgrammingTarek Khaled, Belaid Benhamou, Pierre Siegel. ictai 2018: 800-807 [doi]

Intelligent and Adaptive System based on a Non-monotonic Logic for an Autonomous Motor-gliderJosé Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu. icarcv 2018: 442-447 [doi]

2017

Autonomous Aerial Vehicle - Based on Non-Monotonic LogicJosé Luis Vilchis Medina, Pierre Siegel, Andrei Doncescu. vehits 2017: 236-241 [doi]

2013

Utilization of Default Logic for Analyzing a Metabolic System in Discrete TimeTan Le, Andrei Doncescu, Pierre Siegel. iccsa 2013: 130-136 [doi]

Default Logic for Diagnostic of Discrete Time SystemTan Le, Andrei Doncescu, Pierre Siegel. bwcca 2013: 488-493 [doi]

2012

A New Semantics for Logic Programs Capturing and Extending the Stable Model SemanticsBelaid Benhamou, Pierre Siegel. ictai 2012: 572-579 [doi]

Dealing with Satisfiability and n-ary CSPs in a Logical FrameworkBelaid Benhamou, Lionel Paris, Pierre Siegel. JAR, 48(3):391-417, 2012. [doi]

2011

The Logic of Hypothesis Generation in Kinetic Modeling of System BiologyAndrei Doncescu, Pierre Siegel. ictai 2011: 927-929 [doi]

Operator Decision in Simulation of Biological SystemsPierre Siegel, Andrei Doncescu. aina 2011: 501-506 [doi]

Modelling of Submarine Navigation by Nonmonotonic LogicIsabelle Toulgoat, Pierre Siegel, Andrei Doncescu. bwcca 2011: 447-454 [doi]

2007

From Horn Strong Backdoor Sets to Ordered Strong Backdoor SetsLionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais. micai 2007: 105-117 [doi]

2006

A Boolean Encoding Including SAT and n-ary CSPsLionel Paris, Belaid Benhamou, Pierre Siegel. aimsa 2006: 33-44 [doi]

Computing Horn Strong Backdoor Sets Thanks to Local SearchLionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais. ictai 2006: 139-143 [doi]

2001

Preferential Logics are X-logicsLionel Forget, Vincent Risch, Pierre Siegel. logcom, 11(1):71-83, 2001. [doi]

2000

AVAL: An Enumerative Method for SATGilles Audemard, Belaid Benhamou, Pierre Siegel. cl 2000: 373-383 [doi]

1996

A Representation Theorem for Preferential LogicsPierre Siegel, Lionel Forget. kr 1996: 453-460

1995

Prioritized Transitions for UpdatesMarie-Odile Cordier, Pierre Siegel. ecsqaru 1995: 142-150

1994

Two Proof Procedures for a Cardinality Based Language in Propositional CalculusBelaid Benhamou, Lakhdar Sais, Pierre Siegel. STACS 1994: 71-82

Prioritized Transitions for UpdatesMarie-Odile Cordier, Pierre Siegel. ki 1994: 393

A temporal revision model for reasoning about world changeMarie-Odile Cordier, Pierre Siegel. ijis, 9(1):131-142, 1994. [doi]

A Modal Logic for Hypothesis TheoryCamilla Schwind, Pierre Siegel. FUIN, 21(1/2):89-101, 1994.

1993

1992

A Temporal Revision Model for Reasoning about World ChangeMarie-Odile Cordier, Pierre Siegel. kr 1992: 732-739

1988

Supposition-Based Logic for Automated Nonmontonic ReasoningPhilippe Besnard, Pierre Siegel. cade 1988: 592-601

1985

Saturation, Nonmonotonic Reasoning and the Closed-World AssumptionGenevieve Bossu, Pierre Siegel. ai, 25(1):13-63, 1985.

1982

Nonmonotonic Reasoning and DatabasesGenevieve Bossu, Pierre Siegel. adbt 1982: 239-284

Sign in or sign up to see more results.

runs on WebDSL