Publications

Articles, Book Chapters, Conferences and Workshops

• CAI 2006 - Computing And Informatics Journal, Explanations and Proof Trees
• ExaCt 2005 - International Symposium on Explanation-aware Computing (AAAI 2005 Fall Symposia), Explanations and Proof Trees
• WLPE 2004 - Workshop on Logic Programming Environments, Explanations to Understand the Trace of a Finite Domain Constraint Solver
• JFPLC 2004 - French Conference on Logic Programming and Constraint Programming, Explications pour Comprendre la Trace d'un Solveur de Contraintes sur Domaines Finis
• AADEBUG 2003 - International Workshop on Automated Debugging (Proceedings), Towards declarative diagnosis of constraint programs over finite domains
• FLAIRS 2003 - The Florida Artificial Intelligence Research Society, Special Track on Constraint Solving and Programming, Correctness of Constraint Retraction Algorithms
• ENTCS vol. 76 (2002) - Electronic Notes in Theoretical Computer Science, Elsevier (Contents), Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction
• WLPE 2002 - Workshop on Logic Programming Environments, Proceedings
• WFLP 2002 - International Workshop on Functional and (constraint) Logic Programming, Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction
• AADEBUG'2000 - International Workshop on Automated Debugging (Proceedings), Value Withdrawal Explanation in CSP
• LNCS 1870 (2000) - Analysis and Visualisation Tools for Constraint Programming, Springer, Chapter 5: Declarative Diagnosis in the CLP scheme
• JFPLC'98 - French Conference on Logic Programming and Constraint Programming, Correction et complétude des sémantiques PLC revisitée par (co-)induction
• AADEBUG'97 - International Workshop on Automated Debugging, CP Debugging Needs and Tools
• AADEBUG'97 - International Workshop on Automated Debugging (Proceedings), Positive and Negative Diagnosis for Constraint Logic Programs in terms of proof skeletons (Proceedings)
• GDR Prog 97 - Journées du GDR Programmation 1997, Clarification of the bases of Declarative Diagnosers for CLP
• COMPULOG NET (1996) - European Network in Computational Logic, Declarative Debugging
• ASIAN'96 - Asian Computing Science Conference 1996 (Book Chapter), Declarative Debugging in Constraint Logic Programming
• JFPLC'96 - Fifth French Conference on Logic Programming and Constraint Programming, Diagnostic declaratif d'insuffisance en programmation logique avec contraintes
• ALP'96 - Fifth International Conference on Algebraic and Logic Programming, Declarative Debugging in Constraint Logic Programming (poster session)
• GDR Prog 96 - Journées du GDR Programmation 1996, Une caracterisation des arbres SLD en programmation logique avec contraintes
• APPIA-GULP-PRODE'96 - Joint Conference on Declarative Programming, Declarative Incorrectness Diagnosis in Constraint Logic Programming
• GDR Prog 95 - Journées du GDR Programmation 1995, Sémantique des programmes logiques avec contraintes fondée sur la relation de couverture
• GDR Prog 94 - Journées du GDR Programmation 1994, La programmation logique avec contraintes revisitée en termes d'arbres de preuve et de squelettes

OADymPPaC RNTL Reports

• OADymPPaC 2004 - Outils pour l'Analyse Dynamique et la mise au Point de Programmes avec Contraintes, Generic Trace Format for Constraint Programming Version 2.1
• OADymPPaC 2004 - Outils pour l'Analyse Dynamique et la mise au Point de Programmes avec Contraintes, gentra4cp DTD DTD describing the generic trace syntax for finite domain constraint solvers- gentra4cp.dtd v 2.1
• OADymPPaC 2004 - Outils pour l'Analyse Dynamique et la mise au Point de Programmes avec Contraintes, D3.4.1 Explanations to Understand the Trace of a Finite Domain Constraint Solver
• OADymPPaC 2003 - Outils pour l'Analyse Dynamique et la mise au Point de Programmes avec Contraintes, D3.2.2 Explanations and error diagnosis
• OADymPPaC 2002 - Outils pour l'Analyse Dynamique et la mise au Point de Programmes avec Contraintes, D1.1.2 Un modèle complet pour la propagation et le labeling
• OADymPPaC 2001 - Outils pour l'Analyse Dynamique et la mise au Point de Programmes avec Contraintes, D1.1.1 A model of constraint solvers by chaotic iteration adapted to value withdrawal explanations

DiSCiPl ESPRIT Reports

• DiSCiPl 98 - Debugging Systems for Constraint Programming, D.WP2.1.M2.1-1 An Adaptation of Negative Declarative Error Diagnosis to any Computation Rule
• DiSCiPl 98 - Debugging Systems for Constraint Programming, D.WP3.4.M2.1-3 Simplification of Finite Domain Constraints (appendix)
• DiSCiPl 98 - Debugging Systems for Constraint Programming, D.WP3.2.M2.1 Implementation of the Declarative Diagnoser module for Calypso
• DiSCiPl 98 - Debugging Systems for Constraint Programming, D.WP2.1.M2.1-2 Correctness and Completeness of CLP Semantics revisited with (Co-)Induction
• DiSCiPl 97 - Debugging Systems for Constraint Programming, D.WP2.1.M1.1-1 Clarification of the bases of Declarative Diagnosers for CLP
• DiSCiPl 96 - Debugging Systems for Constraint Programming, D.WP1.1.M1.1-2 CP Debugging Tools

Technical Reports

• Technical Report LIFO, RR2002-09 Correctness of constraint retraction algorithms
• Technical Report EMN, 02-06-INFO Correctness of constraint retraction algorithms
• Technical Report LIFO, RR2001-05 Theoretical foundations of value withdrawal explanations in constraints solving by domain reduction
• Technical Report LIFO, RR2000-09 Value withdrawal explanation in CLP
• Technical Report LIFO, RR98-02 Correction et complétude des sémantiques PLC revisitée par (co-)induction
• PhD thesis 97, Approche, en termes de squelettes de preuve, de la semantique et du diagnostic declaratif d'erreur des programmes logiques avec contraintes
• Technical Report LIFO, RR96-09 Declarative Debugging in Constraint Logic Programming: the Cover Relation
• Technical Report LIFO, RR96-04 Diagnostic déclaratif d'insuffisance en programmation logique avec contraintes
• Technical Report LIFO, RR95-08 Declarative Incorrectness Diagnosis of Constraint Logic Programs
• Technical Report LIFO, RR95-06 La programmation logique avec contraintes revisitee en termes d'arbres de preuve et de squelettes
• Mémoire de DEA 92, Meta-programmation en programmation logique

Conference and Workshop Organisation

• WLPE 2009, 19th Workshop on Logic-based methods in Programming Environments, Program Committee Member
• JFPC 2009, 5th French-Speaking Conference on Constraint Programming, Organizer and Program Committee Member
• WLPE 2004, 14th Workshop on Logic Programming Environments, Program Committee Member
• WLPE 2003, 13th Workshop on Logic Programming Environments, Program Committee Member
• WLPE 2002, 12th Workshop on Logic Programming Environments, Program Committee Chair
• JFPLC 2000, 9th French Conference on Logic and Constraint Programming, Program Committee Member
• JFPLC'99, 8th French Conference on Logic and Constraint Programming, Program Committee Member
• JFPLC'97, 6th French Conference on Logic and Constraint Programming, Organizing Committee Member
• UNIF'97, 11th International Unification Workshop, Organizing Committee Member
• GDR'96, Journées du GDR Programmation, Organizing Committee Member