Gérard Ferrand

38 papers B 2Misc 1Journal 6Unranked 28

Year	Rank	Type	Title / Venue / Authors
2007	J	`jnl`	Observational semantics of the Prolog Resolution Box Model CoRR Pierre Deransart, Mireille Ducassé, Gérard Ferrand
2007	J	`jnl`	Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue) CoRR Pierre Deransart, Mireille Ducassé, Gérard Ferrand
2006	J	`jnl`	Explanations and Proof Trees. Comput. Artif. Intell. Gérard Ferrand, Willy Lesaint, Alexandre Tessier
2005	—	`conf`	Explanations and Proof Trees. ExaCt Gérard Ferrand, Willy Lesaint, Alexandre Tessier
2004	—	`conf`	Explanations to Understand the Trace of a Finite Domain Constraint Solver. WLPE Gérard Ferrand, Willy Lesaint, Alexandre Tessier
2004	—	`conf`	Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis. JFPLC Gérard Ferrand, Willy Lesaint, Alexandre Tessier
2004	—	`conf`	Une représentation déclarative des consistances de CSPs. JFPLC Gérard Ferrand, Arnaud Lallouet
2003	Misc	`conf`	Correctness of Constraint Retraction Algorithms. FLAIRS Romuald Debruyne, Gérard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, Alexandre Tessier
2003	—	`conf`	Towards declarative diagnosis of constraint programs over finite domains AADEBUG Gérard Ferrand, Willy Lesaint, Alexandre Tessier
2002	B	`conf`	A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs. ICLP Gérard Ferrand, Arnaud Lallouet
2002	—	`conf`	Arbre d'itérations chaotiques pour décrire la résolution des CSP. JFPLC Julien Arsouze, Gérard Ferrand, Arnaud Lallouet
2002	—	`conf`	Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction. WFLP Gérard Ferrand, Willy Lesaint, Alexandre Tessier
2000	—	`conf`	Declarative Diagnosis in the CLP Scheme. Analysis and Visualization Tools for Constraint Programming Alexandre Tessier, Gérard Ferrand
2000	—	`conf`	Une sémantique co-inductive pour la propagation de contraintes et de labeling. JFPLC Julien Arsouze, Gérard Ferrand, Arnaud Lallouet
2000	—	`conf`	Value Withdrawal Explanation in CSP. AADEBUG Gérard Ferrand, Willy Lesaint, Alexandre Tessier
1998	—	`conf`	Correction et complétude des sémantiques PLC revisitée par (co)-induction. JFPLC Gérard Ferrand, Alexandre Tessier
1997	—	`conf`	On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. AADEBUG Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla
1997	—	`conf`	Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons. AADEBUG Gérard Ferrand, Alexandre Tessier
1995	—	`conf`	A Compositional Proof Method of Partial Correctness for Normal Logic Programs. ILPS Gérard Ferrand, Arnaud Lallouet
1995	—	`conf`	Type Correct programs: A semantic approach. ILPS Bernard Malfon, Gérard Ferrand
1994	—	`conf`	Indipendence of the Computation Rule for SLD-derivation with delay. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages Michel Bergère, Gérard Ferrand, Jean-Hugues Réty
1994	—	`conf`	Indépendance de la règle de calcul pour la résolution SLD avec retard. JFPLC Michel Bergère, Gérard Ferrand, Jean-Hugues Réty
1993	J	`jnl`	Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. J. Log. Program. Gérard Ferrand, Pierre Deransart
1993	—	`conf`	The Notions of Symptom and Error in Declarative Diagnosis of Logic Programs. AADEBUG Gérard Ferrand
1992	J	`jnl`	An Operational Formal Definition of PROLOG: A Specification Method and Its Application. New Gener. Comput. Pierre Deransart, Gérard Ferrand
1992	—	`conf`	Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. JICSLP Gérard Ferrand, Pierre Deransart
1991	B	`conf`	Basic Concepts of Logic Programming and Prolog. ICLP Gérard Ferrand
1991	—	`conf`	NSTO Programs (Not Subject to Occur-Check). ISLP Pierre Deransart, Gérard Ferrand, Michel Téguia
1991	—	`ed.`	Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orléans, France, LIFO N 91-6 LPE Mireille Ducassé, Gérard Ferrand
1990	—	`conf`	A Semantics for Error Declarative Notion of Logic Programs with Negation. LPE Michel Bergère, Gérard Ferrand
1990	—	`conf`	Une sémantique pour la notion déclarative d'erreur des programmes logiques avec négation. SPLT Michel Bergère, Gérard Ferrand
1989	—	`conf`	Test d'occurence en PROLOG et grammaires attribuées. SPLT Pierre Deransart, Gérard Ferrand, Michel Téguia
1989	—	`conf`	Une vue méthodologique de la Programmation en Logique avec négation. SPLT Pierre Deransart, Gérard Ferrand
1987	—	`conf`	An Operational Formal Definition of PROLOG. SLP Pierre Deransart, Gérard Ferrand
1987	J	`jnl`	Error Diagnosis in Logic Programming, an Adaption of E. Y. Shapiro's Method. J. Log. Program. Gérard Ferrand
1987	—	`conf`	Une reconstruction de la programmation en logique avec négation. SPLT Gérard Ferrand
1986	—	`conf`	Programmation en logique: méthodologie et enseignement. SPLT Pierre Deransart, Gérard Ferrand
1985	—	`conf`	Détection d'erreurs en programmation en logique. SPLT Pierre Deransart, Gérard Ferrand