|
Mon
activité de recherche
Domaines
:
- Programmation
par contraintes (constraint programming)
- Programmation
littéraire (literate programming)
- Programmation
en logique (logic programming)
Résultats
et publications :
| Programmation
par contraintes |
| |
 |
Publications |
 |
- A. Lallouet, A. Legtchenko, T. B. H. Dao, A. Ed-Dbali,
Finite Domain Constraint Solver Learning,
IJCAI'2003 (Eighteenth International Joint Conference on Artificial Intelligence), Acapulco, Mexico, August 2003 (poster)
- A. Lallouet, A. Legtchenko, T. B. H. Dao, A. Ed-Dbali,
Apprentissage de solveurs de contraintes sur les domaines finis,
JFPLC'2003 (Douzièmes Journées Francophones de Programmation en logique et de programmation par Contraintes), Amiens, France, Juin 2003 (article)
- A. Lallouet, T. B. H. Dao, A. Ed-Dbali,
Langage, définition et calcul optimal d'approximations de CSP,
JNPC'2003 (Neuvièmes Journées Nationales sur la résolution Pratique de Problèmes NP-Complets), Amiens, France, Juin 2003 (article) - traduction de l'article "Language, Definition and Optimal Computation of CSP Approximation"
- A. Lallouet, T. B. H. Dao, A. Ed-Dbali,
Language, Definition and Optimal Computation of CSP Approximations,
in 16th International FLAIRS Conference, St. Augustine, Florida, May 2003 (article)
- M. Bergere, T. B. H. Dao, A. Ed-Dbali, G. Ferrand, A. Lallouet, A. Legtchenco, L. Martin, C. Vrain,
Learning Interval Bounds of Indexical-based Solver,
Avril 2002 (Rapport de recherche)
|
|
| Programmation
littéraire |
| |
|
Prototype |
|
- HyperPro
(un environnement intégré de programmation
et documentation pour la programmation en logique et par
contraintes).
|
| |
|
Publications |
|
-
A. Ed-Dbali, P. Deransart, M. Bigonha, J. de Siqueira, R. Bigonha,
HyperPro - An Integrated Documentation Environment for CLP,
in WLPE'2001 post-conference workshop ICLP'2001, Paphos, Cyprus,
Nov 2001 (article).
-
A. Ed-Dbali, P. Deransart, M. Bigonha, J. de Siqueira, R. Bigonha,
HyperPro - Un environnement intégré de documentation pour la PLC,
in JFPLC'2001 : Dixièmes Journées Francophones de Programmation en Logique et par Contraintes,
Paris, Mai 2001, ed. Hermes (article).
-
M. Bigonha, J. de Siqueira, R. Bigonha, A. Ed-Dbali,
P. Deransart, F. Schmidt, F. Peligrinelli,
Sistema de Indexação e Projeções de HyperPro,
in CACiC'2000: VI Congreso Argentino de Ciencias de la Computacion, Ushuaia, Argentina,
Oct 2000 (article).
- M. Bigonha, A. Ed-Dbali, R. Bigonha, F. Peligrinelli,
P. Deransart and J. de Siqueira, Projection
of HyperPro document, in SBLP'99: III Brazilian Programming
Language Symposium, Porto Alegre, Brazil, May 1999 (article).
|
|
| Programmation
en logique |
| |
|
Prototype |
|
- Spécification
formelle est exécutable
pour Prolog Standard.
|
| |
|
Publications |
|
- P.
Deransart, A. Ed-Dbali and L. Cervoni, Prolog,
The Standard : Reference Manual, Springer Verlag, Avril 1996
(livre).
- Document
ISO : International Standard, Prolog - Part 1 : General
Core. Informative Annex : Formal Spécification, 1995 (contribution
au standard international).
- A.
Ed-Dbali and P. Deransart, Software
Formal Specification by Logic Programming: the example of
Standard Prolog., in LPSS'92, Zurich, Sept 1992, Note:
Published in Logic Programming in Action - Lecture Notes
in Artificial Intelligence 636 - Springer Verlag, 1992 (article).
|
|
|
