Recherche


Domaines

  1. Cloud Computing & Program Proof
  2. Programmation par contraintes (constraint programming)
  3. Programmation littéraire (literate programming)
  4. 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