Gérard Ferrand

Publication Activity (10 Years)

Years Active: 1985-2007
Publications (10 Years): 0

Publications

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