Domaines
- Cloud Computing & Program Proof
- Programmation par contraintes (constraint programming)
- Programmation littéraire (literate programming)
- Programmation en logique (logic programming)
Cloud Computing & Program Proof
Nouveau centre d’intérêt depuis peu
Plus de détails dans un futur proche
Programmation par contraintes
Publications
- A. Legtchenko, A. Lallouet, A. Ed-Dbali: Intermediate Consistencies by Delaying Expensive Propagators. in 17th International FLAIRS Conference (275-280), 2004
- A. Lallouet, A. Legtchenko, T. B. H. Dao, A. Ed-Dbali, Intermediate (learned) consistencies,
International Conference on Principles and Practice of Constraint Programming (CP’2003), County Cork, Ireland, LNCS Springer – Vol 2833 Pages 889-893, 2003 (ed. Francesca Rossi) - Arnaud Lallouet, Andreï Legtchenko, E. Monfroy, A. Ed-Dbali, Solver Learning for Predicting Changes in Dynamic Constraint Satisfaction Problems, Changes’04, International Workshop on Constraint Solving under Change and Uncertainty, Toronto, Canada, 2004
- 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, Technique et Science Informatiques 22(1): 125-138, 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 et 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).