QCHR

ASP to CHR

ASP in CHR

ASP to CHR

A unified framework to compute over Tree Grammars

GADEL : Genetic Algorithm for Default Logic (under construction)

implementation of GADEL in Prolog

Models and certificates for QBF

Implementation of the calculus of models and certificates for QBF in Sicstus Prolog

Literal Bases and compilation for QBF

Literal Bases and compilation for QBF in Sicstus Prolog

QBF propagation rules for CHR

QBF implication propagation rules for CHR

QBCSP Bases and compilation for QCSP

QCSP Bases and compilation for QCSP in Sicstus Prolog

Quantified Answer Set Programming (QASP)

QASP in Sicstus (4) Prolog

List of publications

ASPeRix, a First Order Forward Chaining Approach for Answer Set Computing. C. Lefèvre, C. Béatrix, I. Stéphan, and L. Garcia. Theory and Pratice of Logic Programming. 2017
Le problème de satisfaction de contraintes quantifiées et les jeux à deux joueurs à horizon fini : le projet QuaCode V. Barichard et I. Stéphan. Revue d'Intelligence Artificielle. 2017
Justifications and Blocking Sets in a Rule-Based Answer Set Computation C. Béatrix, C. Lefèvre, L. Garcia and I. Stéphan. In Proceedings of the 32nd International Conference on Logic Programming (ICLP'16), Technical communication, 15 pages, 2016.
Programmation logique A. Lallouet, Y.Moinard, P.Nicolas et I. Stéphan. Panorama actuel de l'IA, volume 2, chapitre 4. Cépaduès, 2014.
QCSP guidé par Monte Carlo. J.M. Chantrein, V.Barichard et I.Stéphan. Dans Journées Nationales de l'IA Fondamentale (IAF'14), 2014.
QASP ou la programmation par ensembles réponses quantifiée. I.Stéphan. Dans Reconnaissance des Formes et Intelligence Artificielle (RFIA'14), 2014.
L'outil coupure pour les QCSP. V.Barichard et I.Stéphan. Dans Actes des Dixièmes Journées Francophones de Programmation par Contraintes (JFPC'14), 2014.
Sémantique fonctionnelle pour les QBF non-prénexes. I.Stéphan. Dans Journées Nationales de l'IA Fondamentale (IAF'13), 2013.
Backjumping pour le calcul d'ensembles réponses dans les solveurs ASP guidés par les règles. S. N'Goma, L. Garcia, C. Lefèvre et I.Stéphan.Dans Journées Nationales de l'IA Fondamentale (IAF'12), 2012.
Compilation des QCSP. I.Stéphan. Dans Actes des Huitièmes Journées Francophones de Programmation par Contraintes (JFPC'12), 2012.
Les travaux de Pascal Nicolas: Interrogation, induction et déduction automatiques pour le raisonnement non monotone... et plus encore. B. Duval, L. Garcia, C. Lefèvre et I. Stéphan. Revue d'Intelligence Artificielle , 26:11-38, 2012.
The cut tool for QCSP. V.Barichard, and I. Stéphan. In Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'14), pages 883-890, 2014.
Functional semantics for non-prenex QBF. I. Stéphan. In Proceedings of the 6th International Conference on Agents and Artificial Intelligence (ICAART'14), article court, 2014.
Compilation for QCSP. I. Stéphan. In Proceedings of the 13th IEEE International Coloquium on Implementation of Constraints and LOgic Programming Systems (CICLOPS'13), 2013.
Un panorama sur les procédures de décision séquen\-tielles pour le problème de validité des formules booléennes quantifiées. I. Stéphan. Revue d'Intelligence Artificielle, 26:163-196, 2012.
A New Parallel Architecture for QBF Tools. B. Da Mota and P. Nicolas and I. Stéphan. Proceedings of the Workshop on Parallel Satisfiability Solving: SAT and beyond SAT, Parallel Solving on New Architectures (WPSS'10). 2010. (bibtex)
Une nouvelle architecture parallèle pour le problème de validité des QBF. B. Da Mota and P. Nicolas and I. Stéphan. Actes des Cinquièmes Journées Francophones de Programmation par Contraintes (JFPC'10). 2010. (bibtex)
From (Quantified) Boolean Formulas to Answer Set Programming. I. Stéphan and B. Da Mota and P. Nicolas. Journal of logic and computation. Volume 19. Numéro 4. 2009 (bibtex)
Une nouvelle stratégie de mise sous forme prénexe pour des formules booléennes quantifiées avec bi-implications. B. Da Mota and I. Stéphan and P. Nicolas. Revue internationale I3 (Information - Interaction - Intelligence). Volume 9, Numéro 2. 2009. (bibtex)
A unified framework for Certificate and Compilation for QBF. I. Stéphan. Proceedings of the 3rd Indian Conference on Logic and its Applications. 2009. (bibtex)
A New Prenexing Strategy for Quantified Boolean Formulae with Bi-Implications. B. Da Mota and I. Stéphan and P. Nicolas. Proceedings of the 6th International Workshop on Constraints in Formal Verification. 2009. (bibtex)
Sémantique et calcul syntaxique pour les formules booléennes quantifiées. I. Stéphan. Actes des Quatrièmes Journées Francophones de Programmation par Contraintes (JFPC'09). 2009. (bibtex)
Une mise sous forme prénexe préservant les rèsultats intermédiaires pour les formules booléennes quantifiées. B. Da Mota and I. Stéphan and P. Nicolas. Journées Nationales de l'IA Fondamentale (IAF'08). 2008. (bibtex)
Base littérale et certificat pour les formules booléennes quantifiées. I. Stéphan. Actes des Troisièmes Journées Francophones de Programmation par Contraintes (JFPC'08). 2008. (bibtex)
Des formules booléennes (quantifiées) à la programmation par ensembles réponses. B. Da Mota and I. Stéphan and P. Nicolas. Reconnaissance des Formes et Intelligence Artificielle (RFIA'08). 2008. (bibtex)
From (Quantified) Boolean Formulas to Answer Set Programming. B. Da Mota and I. Stéphan and P. Nicolas. Proceedings of the 7th International Answer Set Programming Workshop (ASP'07). 2007 (bibtex)
Une (presque) génération automatique d'un compilateur de tables de vérité vers un solveur pour formules booléennes quantifiées prénexes. I. Stéphan. Actes des Troisièmes Journées Francophones de Programmation par Contraintes (JFPC'07). 2007. (bibtex)
Possibilistic Uncertainty Handling for Answer Set Programming. P. Nicolas and L. Garcia and I. Stéphan and C. Lefèvre. Annals of Mathematics and Artificial Intelligence. Volume 47. Numéro 1-2. 2006. (bibtex)
Boolean Propagation Based on Literals for Quantified Boolean Formulae. I. Stéphan. Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06). 2006. (bibtex)
Traitement de l'incertitude pour la programmation par ensemble réponses. P. Nicolas and L. Garcia and I. Stéphan and C. Lefèvre. Reconnaissance des Formes et Intelligence Artificielle (RFIA'06). 2006. (bibtex)
Propagation logique pour les formules booléennes quantifiées. I. Stéphan. Actes des Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC'06). 2006. (bibtex)
Possibilistic Stable Models. P. Nicolas and L. Garcia and I. Stéphan. Proceedings of 9th International Joint Conference on Artificial Intelligence (IJCAI'05). 2005. (bibtex)
A Possibilistic Inconsistency Handling in Answer Set Programming. P. Nicolas and L. Garcia and I. Stéphan. European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'05). 2005. (bibtex)
Answer Set Programming by Ant Colony Optimization. P. Nicolas and F. Saubion and I. Stéphan. Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02). 2002. (bibtex)
Heuristics for a Default Logic Reasoning System. P. Nicolas and F. Saubion and I. Stéphan. International Journal on Artificial Intelligence Tools. Volume 10. Number 4. 2001. (bibtex)
New Generation Systems for Non-monotonic Reasoning. P. Nicolas and F. Saubion and I. Stéphan. Proceedings of the 6th Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'01). 2001. (bibtex)
Genes and Ants for Default Logic. P. Nicolas and F. Saubion and I. Stéphan. Proceedings of the 1st International Answer Set Programming Workshop (ASP'01). 2001. (bibtex)
GADEL : a Genetic Algorithm to Compute Default Logic Extensions. P. Nicolas and F. Saubion and I. Stéphan. Proceedings of the 14th European Conference on Artificial Intelligence (ECAI'00). 2000. (bibtex)
Combining Heuristics for Default Logic Reasoning Systems. P. Nicolas and F. Saubion and I. Stéphan. Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'00). 2000. (bibtex)