dblp.uni-trier.dewww.uni-trier.de

Gérard Ferrand

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
35EEPierre 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 abs/0706.3159: (2007)
34EEPierre Deransart, Mireille Ducassé, Gérard Ferrand: Observational semantics of the Prolog Resolution Box Model CoRR abs/0711.4071: (2007)
2006
33 Gérard Ferrand, Willy Lesaint, Alexandre Tessier: Explanations and Proof Trees. Computers and Artificial Intelligence 25(2-3): (2006)
2005
32 Gérard Ferrand, Willy Lesaint, Alexandre Tessier: Explanations and Proof Trees. ExaCt 2005: 76-85
2004
31 Gérard Ferrand, Willy Lesaint, Alexandre Tessier: Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis. JFPLC 2004
30 Gérard Ferrand, Arnaud Lallouet: Une représentation déclarative des consistances de CSPs. JFPLC 2004
2003
29 Romuald Debruyne, Gérard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, Alexandre Tessier: Correctness of Constraint Retraction Algorithms. FLAIRS Conference 2003: 172-176
28EEGérard Ferrand, Willy Lesaint, Alexandre Tessier: Towards declarative diagnosis of constraint programs over finite domains CoRR cs.SE/0309032: (2003)
2002
27EEGérard Ferrand, Arnaud Lallouet: A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs. ICLP 2002: 478-479
26 Julien Arsouze, Gérard Ferrand, Arnaud Lallouet: Arbre d'itérations chaotiques pour décrire la résolution des CSP. JFPLC 2002: 289-
25EEGérard Ferrand, Willy Lesaint, Alexandre Tessier: Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction. Electr. Notes Theor. Comput. Sci. 76: (2002)
2000
24EEGérard Ferrand, Willy Lesaint, Alexandre Tessier: Value Withdrawal Explanation in CSP. AADEBUG 2000
23 Alexandre Tessier, Gérard Ferrand: Declarative Diagnosis in the CLP Scheme. Analysis and Visualization Tools for Constraint Programming 2000: 151-174
22 Julien Arsouze, Gérard Ferrand, Arnaud Lallouet: Une sémantique co-inductive pour la propagation de contraintes et de labeling. JFPLC 2000: 17-32
1998
21 Gérard Ferrand, Alexandre Tessier: Correction et complétude des sémantiques PLC revisitée par (co)-induction. JFPLC 1998: 19-
1997
20EEGérard Ferrand, Alexandre Tessier: Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons. AADEBUG 1997: 141-153
19EEFrancisco 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: 155-169
1995
18 Gérard Ferrand, Arnaud Lallouet: A Compositional Proof Method of Partial Correctness for Normal Logic Programs. ILPS 1995: 209-223
17 Bernard Malfon, Gérard Ferrand: Type Correct programs: A semantic approach. ILPS 1995: 576-590
1994
16 M. 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: 31-46
1993
15 Gérard Ferrand: The Notions of Symptom and Error in Declarative Diagnosis of Logic Programs. AADEBUG 1993: 40-57
14 Gérard Ferrand, Pierre Deransart: Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. J. Log. Program. 17(2/3&4): 265-278 (1993)
1992
13 Gérard Ferrand, Pierre Deransart: Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. JICSLP 1992: 161-174
12 Pierre Deransart, Gérard Ferrand: An Operational Formal Definition of PROLOG: A Specification Method and Its Application. New Generation Comput. 10(2): 121-172 (1992)
1991
11 Gérard Ferrand: Basic Concepts of Logic Programming and Prolog. ICLP 1991: 942
10 Pierre Deransart, Gérard Ferrand, Michel Téguia: NSTO Programs (Not Subject to Occur-Check). ISLP 1991: 533-547
1990
9 M. Bergère, Gérard Ferrand: A Semantics for Error Declarative Notion of Logic Programs with Negation. LPE 1990: 57-62
8 M. Bergère, Gérard Ferrand: Une sémantique pour la notion déclarative d'erreur des programmes logiques avec négation. SPLT 1990: 263-292
1989
7 Pierre Deransart, Gérard Ferrand, Michel Téguia: Test d'occurence en PROLOG et grammaires attribuées. SPLT 1989: 113-142
6 Pierre Deransart, Gérard Ferrand: Une vue méthodologique de la Programmation en Logique avec négation. SPLT 1989: 403-
1987
5 Pierre Deransart, Gérard Ferrand: An Operational Formal Definition of PROLOG. SLP 1987: 162-172
4 Gérard Ferrand: Une reconstruction de la programmation en logique avec négation. SPLT 1987: 7-28
3 Gérard Ferrand: Error Diagnosis in Logic Programming, an Adaption of E. Y. Shapiro's Method. J. Log. Program. 4(3): 177-198 (1987)
1986
2 Pierre Deransart, Gérard Ferrand: Programmation en logique: méthodologie et enseignement. SPLT 1986: 75-90
1985
1 Pierre Deransart, Gérard Ferrand: Détection d'erreurs en programmation en logique. SPLT 1985

Coauthor Index

1Julien Arsouze [22] [26]
2M. Bergère [8] [9] [16]
3Francisco Bueno [19]
4Romuald Debruyne [29]
5Pierre Deransart [1] [2] [5] [6] [7] [10] [12] [13] [14] [19] [34] [35]
6Wlodzimierz Drabent (Wlodek Drabent) [19]
7Mireille Ducassé [34] [35]
8Manuel V. Hermenegildo [19]
9Narendra Jussien [29]
10Arnaud Lallouet [18] [22] [26] [27] [30]
11Willy Lesaint [24] [25] [28] [29] [31] [32] [33]
12Bernard Malfon [17]
13Jan Maluszynski [19]
14Samir Ouis [29]
15Germán Puebla (German Puebla) [19]
16Jean-Hugues Réty [16]
17Michel Téguia [7] [10]
18Alexandre Tessier [20] [21] [23] [24] [25] [28] [29] [31] [32] [33]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)