Igor Stéphan

Publication Activity (10 Years)

Years Active: 1992-2022
Publications (10 Years): 13

Top Topics

Answer Set Programming

Top Venues

Rev. d'Intelligence Artif.

ICLP (Technical Communications)

Publications

Igor Stéphan, Vincent Barichard
Une sémantique opérationnelle pour les QCHR. JIAF (2022)
Igor Stéphan
First-order ASP programs as CHR programs. SAC (2021)
Laurent Garcia, Claire Lefèvre, Igor Stéphan, Odile Papini, Eric Würbel
A Semantic Characterization ASP Base Revision. J. Artif. Intell. Res. 66 (2019)
Mohamed Ben Ellefi, Pierre Drap, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Odile Papini, Igor Stéphan, Eric Würbel
Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning. GCAI (2019)
Vincent Barichard, Igor Stéphan
Quantified Constraint Handling Rules. ICLP Technical Communications (2019)
Fabien Garreau, Laurent Garcia, Claire Lefèvre, Igor Stéphan
Answer Set Programming et interrogation. Rev. d'Intelligence Artif. 32 (5-6) (2018)
Laurent Garcia, Claire Lefèvre, Odile Papini, Igor Stéphan, Eric Würbel
Possibilistic ASP Base Revision by Certain Input. IJCAI (2018)
Igor Stéphan
A New Proof-Theoretical Linear Semantics for CHR. ICLP (Technical Communications) (2018)
Jean-François Baget, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Swan Rocher, Igor Stéphan
Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin. Ann. Math. Artif. Intell. 82 (1-3) (2018)
Vincent Barichard, Igor Stéphan
Le problème de satisfaction de contraintes quantifiées et les jeux à deux joueurs à horizon fini : le projet QuaCode. Rev. d'Intelligence Artif. 31 (3) (2017)
Claire Lefèvre, Christopher Béatrix, Igor Stéphan, Laurent Garcia
ASPeRiX, a first-order forward chaining approach for answer set computing. Theory Pract. Log. Program. 17 (3) (2017)
Laurent Garcia, Claire Lefèvre, Odile Papini, Igor Stéphan, Eric Würbel
A Semantic Characterization for ASP Base Revision. SUM (2017)
Christopher Béatrix, Claire Lefèvre, Laurent Garcia, Igor Stéphan
Justifications and Blocking Sets in a Rule-Based Answer Set Computation. ICLP (Technical Communications) (2016)
Claire Lefèvre, Christopher Béatrix, Igor Stéphan, Laurent Garcia
ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing. CoRR (2015)
Fabien Garreau, Laurent Garcia, Claire Lefèvre, Igor Stéphan
∃-ASP. JOWO@IJCAI (2015)
Igor Stéphan
Functional Semantics for Non-prenex QBF. ICAART (1) (2014)
Vincent Barichard, Igor Stéphan
The Cut Tool for QCSP. ICTAI (2014)
Igor Stéphan
Compilation for QCSP. CoRR (2013)
Béatrice Duval, Laurent Garcia, Claire Lefèvre, Igor Stéphan
Les travaux de Pascal Nicolas. Interrogation, induction et déduction automatiques pour le raisonnement non monotone... et plus encore. Rev. d'Intelligence Artif. 26 (1-2) (2012)
Igor Stéphan
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. 26 (1-2) (2012)
Benoit Da Mota, Pascal Nicolas, Igor Stéphan
A new parallel architecture for QBF tools. HPCS (2010)
Igor Stéphan, Benoit Da Mota, Pascal Nicolas
From (Quantified) Boolean Formulae to Answer Set Programming. J. Log. Comput. 19 (4) (2009)
Igor Stéphan, Benoit Da Mota
A Unified Framework for Certificate and Compilation for QBF. ICLA (2009)
Igor Stéphan
Boolean Propagation Based on Literals for Quantified Boolean Formulae. ECAI (2006)
Pascal Nicolas, Laurent Garcia, Igor Stéphan, Claire Lefèvre
Possibilistic uncertainty handling for answer set programming. Ann. Math. Artif. Intell. 47 (1-2) (2006)
Pascal Nicolas, Laurent Garcia, Igor Stéphan
A Possibilistic Inconsistency Handling in Answer Set Programming. ECSQARU (2005)
Pascal Nicolas, Laurent Garcia, Igor Stéphan
Possibilistic Stable Models. Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)
Pascal Nicolas, Laurent Garcia, Igor Stéphan
Possibilistic Stable Models. IJCAI (2005)
Pascal Nicolas, Laurent Garcia, Igor Stéphan
A possibilistic approach to restore consistency in answer set programming. NMR (2004)
Pascal Nicolas, Laurent Garcia, Igor Stéphan
Programmation par ensembles-réponses possibilistes. JFPLC (2004)
Pascal Nicolas, Frédéric Saubion, Igor Stéphan
Answer Set Programming by Ant Colony Optimization. JELIA (2002)
Pascal Nicolas, Frédéric Saubion, Igor Stéphan
Optimisation par colonies de fourmis pour la programmation logique étendue. JFPLC (2002)
Frédéric Saubion, Igor Stéphan
A Unified Framework to Compute over Tree Synchronized Grammars and Primal Grammars. Discret. Math. Theor. Comput. Sci. 5 (1) (2002)
Pascal Nicolas, Frédéric Saubion, Igor Stéphan
Genes and Ants for Default Logic. Answer Set Programming (2001)
Pascal Nicolas, Frédéric Saubion, Igor Stéphan
New Generation Systems for Non-monotonic Reasoning. LPNMR (2001)
Pascal Nicolas, Frédéric Saubion, Igor Stéphan
Heuristics for a Default Logic Reasoning System. Int. J. Artif. Intell. Tools 10 (4) (2001)
Pascal Nicolas, Frédéric Saubion, Igor Stéphan
Genetic Algorithms for Extension Search in Default Logic CoRR (2000)
Pascal Nicolas, Frédéric Saubion, Igor Stéphan
GADEL: a Genetic Algorithm to Compute Default Logic Extensions. ECAI (2000)
Igor Stéphan, Frédéric Saubion, Pascal Nicolas
Description of GADEL CoRR (2000)
Pascal Nicolas, Frédéric Saubion, Igor Stéphan
Combining heuristics for default logic reasoning systems. ICTAI (2000)
Frédéric Saubion, Igor Stéphan
On Implementation of Tree Synchronized Languages. RTA (1999)
Frédéric Saubion, Igor Stéphan
Implanter des langages d'arbres en Prolog. JFPLC (1999)
Igor Stéphan
A New Abstract Logic Programming Language and Its Quantifier Elimination Method for Disjunctive Logic Programming. AIMSA (1998)
Igor Stéphan
Du ou dans les arbres. JFPLC (1994)
Igor Stéphan
L'inheritance near-Horn Prolog en Prolog. JFPL (1992)