Pierre Siegel - RankMe

31 papers A* 2A 2B 4C 4Misc 2Journal 8Unranked 9

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Representation of gene regulation networks by hypothesis logic-based Boolean systems. J. Supercomput. Pierre Siegel, Andrei Doncescu, Vincent Risch, Sylvain Sené
2019	—	`conf`	A Resilient Behavior Approach Based on Non-monotonic Logic. MICAI José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu
2019	—	`conf`	An Implementation of a Non-monotonic Logic in an Embedded Computer for a Motor-glider. ICLP Technical Communications José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu
2018	B	`conf`	A New Method for Computing Stable Models in Logic Programming. ICTAI Tarek Khaled, Belaid Benhamou, Pierre Siegel
2018	C	`conf`	Intelligent and Adaptive System based on a Non-monotonic Logic for an Autonomous Motor-glider. ICARCV José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu
2017	C	`conf`	Autonomous Aerial Vehicle - Based on Non-Monotonic Logic. VEHITS José Luis Vilchis Medina, Pierre Siegel, Andrei Doncescu
2013	—	`conf`	Default Logic for Diagnostic of Discrete Time System. BWCCA Tan Le, Andrei Doncescu, Pierre Siegel
2013	—	`conf`	Utilization of Default Logic for Analyzing a Metabolic System in Discrete Time. ICCSA (6) Tan Le, Andrei Doncescu, Pierre Siegel
2012	B	`conf`	A New Semantics for Logic Programs Capturing and Extending the Stable Model Semantics. ICTAI Belaid Benhamou, Pierre Siegel
2012	J	`jnl`	Dealing with Satisfiability and n-ary CSPs in a Logical Framework. J. Autom. Reason. Belaid Benhamou, Lionel Paris, Pierre Siegel
2011	—	`conf`	Modelling of Submarine Navigation by Nonmonotonic Logic. BWCCA Isabelle Toulgoat, Pierre Siegel, Andrei Doncescu
2011	—	`conf`	Operator Decision in Simulation of Biological Systems. AINA Workshops Pierre Siegel, Andrei Doncescu
2011	B	`conf`	The Logic of Hypothesis Generation in Kinetic Modeling of System Biology. ICTAI Andrei Doncescu, Pierre Siegel
2007	—	`conf`	From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets. MICAI Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais
2006	Misc	`conf`	A Boolean Encoding Including SAT and n-ary CSPs. AIMSA Lionel Paris, Belaid Benhamou, Pierre Siegel
2006	B	`conf`	Computing Horn Strong Backdoor Sets Thanks to Local Search. ICTAI Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais
2001	J	`jnl`	Preferential Logics are X-logics. J. Log. Comput. Lionel Forget, Vincent Risch, Pierre Siegel
2000	—	`conf`	AVAL: An Enumerative Method for SAT. Computational Logic Gilles Audemard, Belaid Benhamou, Pierre Siegel
1996	A*	`conf`	A Representation Theorem for Preferential Logics. KR Pierre Siegel, Lionel Forget
1995	C	`conf`	Prioritized Transitions for Updates. ECSQARU Marie-Odile Cordier, Pierre Siegel
1994	J	`jnl`	A Modal Logic for Hypothesis Theory. Fundam. Informaticae Camilla Schwind, Pierre Siegel
1994	J	`jnl`	A temporal revision model for reasoning about world change. Int. J. Intell. Syst. Marie-Odile Cordier, Pierre Siegel
1994	Misc	`conf`	Prioritized Transitions for Updates. KI Marie-Odile Cordier, Pierre Siegel
1994	A	`conf`	Two Proof Procedures for a Cardinality Based Language in Propositional Calculus. STACS Belaid Benhamou, Lakhdar Sais, Pierre Siegel
1993	J	`jnl`	DRUMS: Defeasible Reasoning and Uncertainty Management Systems. AI Commun. 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
1993	J	`jnl`	Modal logic based theory for non-monotonic reasoning. J. Appl. Non Class. Logics Pierre Siegel, Camilla Schwind
1992	A*	`conf`	A Temporal Revision Model for Reasoning about World Change. KR Marie-Odile Cordier, Pierre Siegel
1991	C	`ed.`	Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQAU, Marseille, France, October 15-17, 1991, Proceedings ECSQARU Rudolf Kruse, Pierre Siegel
1988	A	`conf`	Supposition-Based Logic for Automated Nonmontonic Reasoning. CADE Philippe Besnard, Pierre Siegel
1985	J	`jnl`	Saturation, Nonmonotonic Reasoning and the Closed-World Assumption. Artif. Intell. Genevieve Bossu, Pierre Siegel
1982	—	`conf`	Nonmonotonic Reasoning and Databases. Advances in Data Base Theory Genevieve Bossu, Pierre Siegel