Gérard Ferrand

According to our database, Gérard Ferrand authored at least 35 papers between 1985 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2007

Observational semantics of the Prolog Resolution Box Model

Pierre Deransart, Mireille Ducassé, Gérard Ferrand

CoRR, 2007

Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)

Pierre Deransart, Mireille Ducassé, Gérard Ferrand

CoRR, 2007

2006

Explanations and Proof Trees.

Gérard Ferrand, Willy Lesaint, Alexandre Tessier

Comput. Artif. Intell., 2006

2004

Explanations to Understand the Trace of a Finite Domain Constraint Solver.

Gérard Ferrand, Willy Lesaint, Alexandre Tessier

Proceedings of the 14th International Workshop on Logic Programming Environments, 2004

Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis.

Gérard Ferrand, Willy Lesaint, Alexandre Tessier

Proceedings of the Programmation en logique avec contraintes, 2004

Une représentation déclarative des consistances de CSPs.

Gérard Ferrand, Arnaud Lallouet

Proceedings of the Programmation en logique avec contraintes, 2004

2003

Towards declarative diagnosis of constraint programs over finite domains

Gérard Ferrand, Willy Lesaint, Alexandre Tessier

CoRR, 2003

Correctness of Constraint Retraction Algorithms.

Romuald Debruyne, Gérard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, Alexandre Tessier

Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

2002

Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction.

Gérard Ferrand, Willy Lesaint, Alexandre Tessier

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

Arbre d'itérations chaotiques pour décrire la résolution des CSP.

Julien Arsouze, Gérard Ferrand, Arnaud Lallouet

Proceedings of the Programmation en logique avec contraintes, 2002

A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs.

Gérard Ferrand, Arnaud Lallouet

Proceedings of the Logic Programming, 18th International Conference, 2002

2000

Une sémantique co-inductive pour la propagation de contraintes et de labeling.

Julien Arsouze, Gérard Ferrand, Arnaud Lallouet

Proceedings of the Programmation en logique avec contraintes, 2000

Declarative Diagnosis in the CLP Scheme.

Alexandre Tessier, Gérard Ferrand

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

Value Withdrawal Explanation in CSP.

Gérard Ferrand, Willy Lesaint, Alexandre Tessier

Proceedings of the Fourth International Workshop on Automated Debugging, 2000

1998

Correction et complétude des sémantiques PLC revisitée par (co)-induction.

Gérard Ferrand, Alexandre Tessier

Proceedings of the JFPLC'98, 1998

1997

Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons.

Gérard Ferrand, Alexandre Tessier

Proceedings of the Third International Workshop on Automated Debugging, 1997

On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs.

Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla

Proceedings of the Third International Workshop on Automated Debugging, 1997

1995

Type Correct programs: A semantic approach.

Bernard Malfon, Gérard Ferrand

Proceedings of the Logic Programming, 1995

A Compositional Proof Method of Partial Correctness for Normal Logic Programs.

Gérard Ferrand, Arnaud Lallouet

Proceedings of the Logic Programming, 1995

1994

Indépendance de la règle de calcul pour la résolution SLD avec retard.

Michel Bergère, Gérard Ferrand, Jean-Hugues Réty

Proceedings of the JFPLC'94, 1994

Indipendence of the Computation Rule for SLD-derivation with delay.

Michel Bergère, Gérard Ferrand, Jean-Hugues Réty

Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

1993

Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs.

Gérard Ferrand, Pierre Deransart

J. Log. Program., 1993

The Notions of Symptom and Error in Declarative Diagnosis of Logic Programs.

Gérard Ferrand

Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993

1992

An Operational Formal Definition of PROLOG: A Specification Method and Its Application.

Pierre Deransart, Gérard Ferrand

New Gener. Comput., 1992

1991

NSTO Programs (Not Subject to Occur-Check).

Pierre Deransart, Gérard Ferrand, Michel Téguia

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Basic Concepts of Logic Programming and Prolog.

Gérard Ferrand

Proceedings of the Logic Programming, 1991

1990

A Semantics for Error Declarative Notion of Logic Programs with Negation.

Michel Bergère, Gérard Ferrand

Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, 1990

Une sémantique pour la notion déclarative d'erreur des programmes logiques avec négation.

Michel Bergère, Gérard Ferrand

Proceedings of the SPLT'90, 1990

1989

Test d'occurence en PROLOG et grammaires attribuées.

Pierre Deransart, Gérard Ferrand, Michel Téguia

Proceedings of the SPLT'89, 1989

Une vue méthodologique de la Programmation en Logique avec négation.

Pierre Deransart, Gérard Ferrand

Proceedings of the SPLT'89, 1989

1987

Error Diagnosis in Logic Programming, an Adaption of E. Y. Shapiro's Method.

Gérard Ferrand

J. Log. Program., 1987

An Operational Formal Definition of PROLOG.

Pierre Deransart, Gérard Ferrand

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

Une reconstruction de la programmation en logique avec négation.

Gérard Ferrand

Proceedings of the SPLT'87, 1987

1986

Programmation en logique: méthodologie et enseignement.

Pierre Deransart, Gérard Ferrand

Proceedings of the SPLT'86, 1986

1985

Détection d'erreurs en programmation en logique.

Pierre Deransart, Gérard Ferrand

Proceedings of the SPLT'85, 1985