Igor Stéphan - RankMe

55 papers A* 2A 2B 8C 2Misc 2Journal 19Unranked 19

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming. CoRR Pedro Cabalar, Martín Diéguez, David Fernández-Duque, François Laferrière, Torsten Schaub, Igor Stéphan
2025	C	`conf`	A Secure and Privacy-Preserving Blockchain-Based Framework for Fraud-Resilient E-Health Systems. ISCC Hiba Akli, Igor Stéphan, Karim Zkik, Sofiane Hamrioui
2025	B	`conf`	Behavior Constraint Handling Rules. ICTAI Vincent Barichard, Igor Stéphan
2025	B	`conf`	Extracting Policies from Quantified Answer Set Programs. ICLP Martín Diéguez, Igor Stéphan
2025	J	`jnl`	Quantified Constraint Handling Rules. ACM Trans. Comput. Log. Vincent Barichard, Igor Stéphan
2025	J	`jnl`	Towards Constraint Temporal Answer Set Programming. CoRR Pedro Cabalar, Martín Diéguez, François Olivier, Torsten Schaub, Igor Stéphan
2025	J	`jnl`	Towards Constraint Temporal Answer Set Programming. Theory Pract. Log. Program. Pedro Cabalar, Martín Diéguez, François Olivier, Torsten Schaub, Igor Stéphan
2024	B	`conf`	A Fixpoint Characterisation of Temporal Equilibrium Logic. LPNMR Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub, Igor Stéphan
2024	B	`conf`	Introducing Constraint Well-Founded Semantics for Constraint Logic Programming Through Rewriting Transformations. ICTAI Bryan Garreau, Martín Diguez Lodeiro, Éric Monfroy, Igor Stéphan
2022	—	`conf`	Une sémantique opérationnelle pour les QCHR. JIAF Igor Stéphan, Vincent Barichard
2021	Misc	`conf`	First-order ASP programs as CHR programs. SAC Igor Stéphan
2020	—	`ch.`	Logic Programming. A Guided Tour of Artificial Intelligence Research (2) (II) Arnaud Lallouet, Yves Moinard, Pascal Nicolas, Igor Stéphan
2019	J	`jnl`	A Semantic Characterization ASP Base Revision. J. Artif. Intell. Res. Laurent Garcia, Claire Lefèvre, Igor Stéphan, Odile Papini, Éric Würbel
2019	—	`conf`	Quantified Constraint Handling Rules. ICLP Technical Communications Vincent Barichard, Igor Stéphan
2019	—	`conf`	Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning. GCAI Mohamed Ben Ellefi, Pierre Drap, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Odile Papini, Igor Stéphan, Éric Würbel
2018	—	`conf`	A New Proof-Theoretical Linear Semantics for CHR. ICLP (Technical Communications) Igor Stéphan
2018	J	`jnl`	Answer Set Programming et interrogation. Rev. d'Intelligence Artif. Fabien Garreau, Laurent Garcia, Claire Lefèvre, Igor Stéphan
2018	J	`jnl`	Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin. Ann. Math. Artif. Intell. Jean-François Baget, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Swan Rocher, Igor Stéphan
2018	A*	`conf`	Possibilistic ASP Base Revision by Certain Input. IJCAI Laurent Garcia, Claire Lefèvre, Odile Papini, Igor Stéphan, Éric Würbel
2017	—	`conf`	A Semantic Characterization for ASP Base Revision. SUM Laurent Garcia, Claire Lefèvre, Odile Papini, Igor Stéphan, Éric Würbel
2017	J	`jnl`	ASPeRiX, a first-order forward chaining approach for answer set computing. Theory Pract. Log. Program. Claire Lefèvre, Christopher Béatrix, Igor Stéphan, Laurent Garcia
2017	J	`jnl`	Le problème de satisfaction de contraintes quantifiées et les jeux à deux joueurs à horizon fini : le projet QuaCode. Rev. d'Intelligence Artif. Vincent Barichard, Igor Stéphan
2016	—	`conf`	Justifications and Blocking Sets in a Rule-Based Answer Set Computation. ICLP (Technical Communications) Christopher Béatrix, Claire Lefèvre, Laurent Garcia, Igor Stéphan
2015	J	`jnl`	ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing. CoRR Claire Lefèvre, Christopher Béatrix, Igor Stéphan, Laurent Garcia
2015	—	`conf`	∃-ASP. JOWO@IJCAI Fabien Garreau, Laurent Garcia, Claire Lefèvre, Igor Stéphan
2014	—	`conf`	Functional Semantics for Non-prenex QBF. ICAART (1) Igor Stéphan
2014	B	`conf`	The Cut Tool for QCSP. ICTAI Vincent Barichard, Igor Stéphan
2013	J	`jnl`	Compilation for QCSP. CoRR Igor Stéphan
2012	J	`jnl`	Les travaux de Pascal Nicolas. Interrogation, induction et déduction automatiques pour le raisonnement non monotone... et plus encore. Rev. d'Intelligence Artif. Béatrice Duval, Laurent Garcia, Claire Lefèvre, Igor Stéphan
2012	J	`jnl`	Un panorama sur les procédures de décision séquentielles pour le problème de validité des formules booléennes quantifiées. Rev. d'Intelligence Artif. Igor Stéphan
2010	—	`conf`	A new parallel architecture for QBF tools. HPCS Benoit Da Mota, Pascal Nicolas, Igor Stéphan
2009	—	`conf`	A Unified Framework for Certificate and Compilation for QBF. ICLA Igor Stéphan, Benoit Da Mota
2009	J	`jnl`	From (Quantified) Boolean Formulae to Answer Set Programming. J. Log. Comput. Igor Stéphan, Benoit Da Mota, Pascal Nicolas
2006	A	`conf`	Boolean Propagation Based on Literals for Quantified Boolean Formulae. ECAI Igor Stéphan
2006	J	`jnl`	Possibilistic uncertainty handling for answer set programming. Ann. Math. Artif. Intell. Pascal Nicolas, Laurent Garcia, Igor Stéphan, Claire Lefèvre
2005	C	`conf`	A Possibilistic Inconsistency Handling in Answer Set Programming. ECSQARU Pascal Nicolas, Laurent Garcia, Igor Stéphan
2005	—	`conf`	Possibilistic Stable Models. Nonmonotonic Reasoning, Answer Set Programming and Constraints Pascal Nicolas, Laurent Garcia, Igor Stéphan
2005	A*	`conf`	Possibilistic Stable Models. IJCAI Pascal Nicolas, Laurent Garcia, Igor Stéphan
2004	—	`conf`	A possibilistic approach to restore consistency in answer set programming. NMR Pascal Nicolas, Laurent Garcia, Igor Stéphan
2004	—	`conf`	Programmation par ensembles-réponses possibilistes. JFPLC Pascal Nicolas, Laurent Garcia, Igor Stéphan
2002	J	`jnl`	A Unified Framework to Compute over Tree Synchronized Grammars and Primal Grammars. Discret. Math. Theor. Comput. Sci. Frédéric Saubion, Igor Stéphan
2002	B	`conf`	Answer Set Programming by Ant Colony Optimization. JELIA Pascal Nicolas, Frédéric Saubion, Igor Stéphan
2002	—	`conf`	Optimisation par colonies de fourmis pour la programmation logique étendue. JFPLC Pascal Nicolas, Frédéric Saubion, Igor Stéphan
2001	—	`conf`	Genes and Ants for Default Logic. Answer Set Programming Pascal Nicolas, Frédéric Saubion, Igor Stéphan
2001	J	`jnl`	Heuristics for a Default Logic Reasoning System. Int. J. Artif. Intell. Tools Pascal Nicolas, Frédéric Saubion, Igor Stéphan
2001	B	`conf`	New Generation Systems for Non-monotonic Reasoning. LPNMR Pascal Nicolas, Frédéric Saubion, Igor Stéphan
2000	B	`conf`	Combining heuristics for default logic reasoning systems. ICTAI Pascal Nicolas, Frédéric Saubion, Igor Stéphan
2000	J	`jnl`	Description of GADEL CoRR Igor Stéphan, Frédéric Saubion, Pascal Nicolas
2000	A	`conf`	GADEL: a Genetic Algorithm to Compute Default Logic Extensions. ECAI Pascal Nicolas, Frédéric Saubion, Igor Stéphan
2000	J	`jnl`	Genetic Algorithms for Extension Search in Default Logic CoRR Pascal Nicolas, Frédéric Saubion, Igor Stéphan
1999	—	`conf`	Implanter des langages d'arbres en Prolog. JFPLC Frédéric Saubion, Igor Stéphan
1999	—	`conf`	On Implementation of Tree Synchronized Languages. RTA Frédéric Saubion, Igor Stéphan
1998	Misc	`conf`	A New Abstract Logic Programming Language and Its Quantifier Elimination Method for Disjunctive Logic Programming. AIMSA Igor Stéphan
1994	—	`conf`	Du ou dans les arbres. JFPLC Igor Stéphan
1992	—	`conf`	L'inheritance near-Horn Prolog en Prolog. JFPL Igor Stéphan