Projet : LOCO

previous up next contents
Précédent : Participation à des colloques, séminaire, Remonter : Programmation en LOgique avec COntraintes


Références

Livres et monographies

[1]
P. CODOGNET (éditeur),
Science of Computer Programming, Special Issue on Concurrent Constraint Programming, no. 1 & 2, vol. 30,
Elsevier, Jan. 1998.

Thèses et habilitations à diriger des recherches

[2]
L. GRANVILLIERS,
Consistances locales et transformations symboliques de contraintes d'intervalles,
thèse de doctorat, Université d'Orléans, 16 Décembre 1998.

Articles et chapitres de livre

[3]
L. GRANVILLIERS,
« Résolution approchée de contraintes réelles par transformations symboliques et consistance de bloc »,
Technique et science informatiques, numéro spécial de programmation logique et contraintes,
(à paraître).
[4]
L. GRANVILLIERS,
« A Symbolic-Numerical Branch and Prune Algorithm for Solving Non-linear Polynomial Systems »,
Journal of Universal Computer Science 4, 2, 1998, p. 125-146.
[5]
A. LALLOUET,
« DP-LOG: un langage de programmation logique data-parallèle »,
Technique et Science Informatiques,
(à paraître).

Communications à des congrès, colloques, etc.

[6]
C. AILLAUD, P. DERANSART,
« CLP performance analysis: Search-tree Visualisation and Abstraction »,
in: ERCIM workshop on Constraints, P. C. K. Apt (éditeur),
CWI, Amsterdam, 23-25 Septembre 1998. DiSCiPl deliverable D.WP3.3.M2.1.
[7]
F. BENHAMOU, F. GOUALARD, L. GRANVILLIERS,
« A Hybrid Consistency for Real Constraint Solving »,
in: Proceedings of INTERVAL'98,
Nanjing, China, 1998. (à paraître).
[8]
F. BENHAMOU, L. GRANVILLIERS,
« A Constraint Programming Toolbox for Nonlinear Constraint Solving »,
in: Proceedings of International Conference on Nonlinear Problems in Aviation and Aerospace,
1998. (à paraître).
[9]
F. BENHAMOU, L. GRANVILLIERS,
« Coopération de résolveurs de contraintes sur les réels »,
in: Journée collaboration de solveurs du GDR ALP,
ENS Paris, 1998.
[10]
F. BENHAMOU,
« Some Experiments with Interval Constraints »,
in: Abstracts of the 98 SIAM Annual Meeting, Mini Symposium on Interval Constraints,
Toronto, Canada, 1998. Invited talk.
[11]
P. CODOGNET,
« A Constraint-based Language for describing Agent Behaviors in Virtual Worlds »,
in: Virtual Systems and Multimedia 98, IOS Press,
Gifu, Japan, Novembre 1998.
[12]
P. DERANSART, J. MALUSZYNSKI,
« Towards soft typing for CLP »,
in: JICSLP'98 post conference WORKSHOP on Types for Constraint Logic Programming, F. Fages (éditeur), JICSLP'98, K.Lau, P. Hill,
Université de Manchester, 20 Juin 1998,
http://discipl.inria.fr/TCLP98/.
[13]
G. FERRAND, A. TESSIER,
« Correction et complétude des sémantiques PLC revisitée par (co-)induction »,
in: Journées Francophones de Programmation Logique et Programmation par Contraintes, O. Ridoux (éditeur), HERMES, p. 19-38,
1998.
[14]
C. P. GEORGET YAN,
« Compiling Semiring-based Constraints with clp(FD,S) »,
in: CP'98, M. Maher, J.-F. Puget (éditeurs), Springer, p. 205-219,
Pise, Italie, Octobre 1998.
[15]
C. P. GEORGET YAN,
« Encoding Global Constraints in Semiring-based Constraint Solving »,
in: ICTAI'98, Y.-M. Huang (éditeur), IEEE, p. 400-407,
Taipei, Taiwan, November 1998.
[16]
L. GRANVILLIERS,
« Consistance locale de contraintes globales sur les réels »,
in: Actes des Rencontres nationales des Jeunes Chercheurs en Intelligence Artificielle,
Toulouse, France, 1998.
[17]
L. GRANVILLIERS,
« On the Combination of Box-consistency and Hull-consistency »,
in: Proceedings of ECAI'98 Workshop on Non Binary Constraints,
Brighton, UK, 1998.
[18]
A. LALLOUET,
« Semantics of a data-parallel logic language using the BSP execution model »,
in: APPIA-GULP-PRODE 1998, Joint Conference on Declarative Programming, J. L. Freire (éditeur),
Corunna, Spain, July 20-23 1998.
[19]
N. RICHARD, P. CODOGNET, A. GRUMBACH,
« Using constraints to describe high-level behaviours in Virtual Worlds »,
in: Short Presentations, Eurographics'98,
Septembre 1998.
[20]
N. RICHARD, P. CODOGNET,
« Multi-way constraints for describing high-level object behaviours in VRML »,
in: Interaction Agents Workshop, Advanced Visual Interfaces'98,
Mai 1998.

Rapports de recherche et publications internes

[21]
V. BONNARD,
« Typage en programmation logique par contrainte »,
rapport de recherche, LIFO, septembre 1998,
Mémoire de maîtrise d'informatique.
[22]
G. FERRAND, A. TESSIER,
« Correction et complétude des sémantiques PLC revisitée par (co-)induction »,
rapport de recherche no 98/02, LIFO, 1998.
[23]
A. GOUMAIRI,
« Simplification de contraintes sur les domaines finis »,
rapport de recherche, LIFO, 1998,
Mémoire de DEA.
[24]
S. MONTAGNE,
« Documentation exécutable, cas du langage C »,
rapport de recherche, LIFO, septembre 1998,
Mémoire de maîtrise d'informatique.

Divers

[25]
F. BENHAMOU, F. GOUALARD,
« Debugging Constraint Programs by Store Inspection »,
Octobre 1998, DiSCiPl deliverable D.WP3.1.M2.1.
[26]
F. BUENO, M. HERMENEGILDO, G. PUEBLA, P. DERANSART, W. DRABENT, G. FERRAND, J. MALUSZYNSKI,
« Using Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs »,
Octobre 1998, DiSCiPl deliverable D.WP2.2.M2.1-3.
[27]
DISCIPL,
« memo on DiSCiPl tools assessment »,
Août 1998, édité par Pierre Deransart.
[28]
DISCIPL,
« Second Progress Report »,
Octobre 1998, édité par Pierre Deransart.
[29]
A. GOUMAIRI, A. TESSIER,
« Simplification of Finite Domain Constraints »,
Deliverable D.WP3.4.M2.1-3,
1998, Debugging Systems for Constraint Programming (ESPRIT 22532).
[30]
B. MALFON, A. TESSIER,
« An Adaptation of Negative Declarative Error Diagnosis to any Computation Rule »,
Deliverable D.WP2.1.M2.1-1,
1998, Debugging Systems for Constraint Programming (ESPRIT 22532).
[31]
A. TESSIER,
« Correctness and Completeness of CLP Semantics revisited with (Co-)Induction »,
Deliverable D.WP2.1.M2.1-2,
1998, Debugging Systems for Constraint Programming (ESPRIT 22532).
[32]
A. TESSIER,
« Implementation of the Declarative Diagnoser module for Calypso »,
Deliverable D.WP3.2.M2.1,
1998, Debugging Systems for Constraint Programming (ESPRIT 22532).