default search action
Pierre Siegel
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j8]Pierre Siegel, Andrei Doncescu, Vincent Risch, Sylvain Sené:
Representation of gene regulation networks by hypothesis logic-based Boolean systems. J. Supercomput. 79(4): 4556-4581 (2023)
2010 – 2019
- 2019
- [c22]José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu:
A Resilient Behavior Approach Based on Non-monotonic Logic. MICAI 2019: 403-413 - [c21]José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu:
An Implementation of a Non-monotonic Logic in an Embedded Computer for a Motor-glider. ICLP Technical Communications 2019: 323-329 - 2018
- [c20]José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu:
Intelligent and Adaptive System based on a Non-monotonic Logic for an Autonomous Motor-glider. ICARCV 2018: 442-447 - [c19]Tarek Khaled, Belaid Benhamou, Pierre Siegel:
A New Method for Computing Stable Models in Logic Programming. ICTAI 2018: 800-807 - 2017
- [c18]José Luis Vilchis Medina, Pierre Siegel, Andrei Doncescu:
Autonomous Aerial Vehicle - Based on Non-Monotonic Logic. VEHITS 2017: 236-241 - 2013
- [c17]Tan Le, Andrei Doncescu, Pierre Siegel:
Default Logic for Diagnostic of Discrete Time System. BWCCA 2013: 488-493 - [c16]Tan Le, Andrei Doncescu, Pierre Siegel:
Utilization of Default Logic for Analyzing a Metabolic System in Discrete Time. ICCSA (6) 2013: 130-136 - 2012
- [j7]Belaid Benhamou, Lionel Paris, Pierre Siegel:
Dealing with Satisfiability and n-ary CSPs in a Logical Framework. J. Autom. Reason. 48(3): 391-417 (2012) - [c15]Belaid Benhamou, Pierre Siegel:
A New Semantics for Logic Programs Capturing and Extending the Stable Model Semantics. ICTAI 2012: 572-579 - 2011
- [c14]Pierre Siegel, Andrei Doncescu:
Operator Decision in Simulation of Biological Systems. AINA Workshops 2011: 501-506 - [c13]Isabelle Toulgoat, Pierre Siegel, Andrei Doncescu:
Modelling of Submarine Navigation by Nonmonotonic Logic. BWCCA 2011: 447-454 - [c12]Andrei Doncescu, Pierre Siegel:
The Logic of Hypothesis Generation in Kinetic Modeling of System Biology. ICTAI 2011: 927-929
2000 – 2009
- 2007
- [c11]Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais:
From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets. MICAI 2007: 105-117 - 2006
- [c10]Lionel Paris, Belaid Benhamou, Pierre Siegel:
A Boolean Encoding Including SAT and n-ary CSPs. AIMSA 2006: 33-44 - [c9]Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais:
Computing Horn Strong Backdoor Sets Thanks to Local Search. ICTAI 2006: 139-143 - 2001
- [j6]Lionel Forget, Vincent Risch, Pierre Siegel:
Preferential Logics are X-logics. J. Log. Comput. 11(1): 71-83 (2001) - 2000
- [c8]Gilles Audemard, Belaid Benhamou, Pierre Siegel:
AVAL: An Enumerative Method for SAT. Computational Logic 2000: 373-383
1990 – 1999
- 1996
- [c7]Pierre Siegel, Lionel Forget:
A Representation Theorem for Preferential Logics. KR 1996: 453-460 - 1995
- [c6]Marie-Odile Cordier, Pierre Siegel:
Prioritized Transitions for Updates. ECSQARU 1995: 142-150 - 1994
- [j5]Camilla Schwind, Pierre Siegel:
A Modal Logic for Hypothesis Theory. Fundam. Informaticae 21(1/2): 89-101 (1994) - [j4]Marie-Odile Cordier, Pierre Siegel:
A temporal revision model for reasoning about world change. Int. J. Intell. Syst. 9(1): 131-142 (1994) - [c5]Marie-Odile Cordier, Pierre Siegel:
Prioritized Transitions for Updates. KI 1994: 393 - [c4]Belaid Benhamou, Lakhdar Sais, Pierre Siegel:
Two Proof Procedures for a Cardinality Based Language in Propositional Calculus. STACS 1994: 71-82 - 1993
- [j3]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:
DRUMS: Defeasible Reasoning and Uncertainty Management Systems. AI Commun. 6(1): 27-46 (1993) - [j2]Pierre Siegel, Camilla Schwind:
Modal logic based theory for non-monotonic reasoning. J. Appl. Non Class. Logics 3(1): 73-92 (1993) - 1992
- [c3]Marie-Odile Cordier, Pierre Siegel:
A Temporal Revision Model for Reasoning about World Change. KR 1992: 732-739 - 1991
- [e1]Rudolf Kruse, Pierre Siegel:
Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQAU, Marseille, France, October 15-17, 1991, Proceedings. Lecture Notes in Computer Science 548, Springer 1991, ISBN 3-540-54659-6 [contents]
1980 – 1989
- 1988
- [c2]Philippe Besnard, Pierre Siegel:
Supposition-Based Logic for Automated Nonmontonic Reasoning. CADE 1988: 592-601 - 1985
- [j1]Genevieve Bossu, Pierre Siegel:
Saturation, Nonmonotonic Reasoning and the Closed-World Assumption. Artif. Intell. 25(1): 13-63 (1985) - 1982
- [c1]Genevieve Bossu, Pierre Siegel:
Nonmonotonic Reasoning and Databases. Advances in Data Base Theory 1982: 239-284
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: