Welcome to the website of

Dominique D'Almeida

Assistant researcher at CRIL, IUT de Lens, University of Artois since september 2010

I got my PhD in 2010. My thesis is entitled : Étude de systèmes de contraintes pour le raisonnement qualitatif temporel et spatial [pdf]

Contact

Email : dalmeida@cril.fr

Research					
Centre de Recherche en Informatique de Lens
CRIL-CNRS UMR 8188
Université d’Artois
Rue Jean Souvraz
SP 18
F62307 LENS Cedex

Teaching
I.U.T de Lens
Département Informatique
Université d'Artois
Rue de l'Université
SP 16
F62307 LENS Cedex

Phone : (+33)3.21.79.19.50

Research

My domains of interest concern the development of algorithms and encodings for qualitative reasoning, constraint satisfaction (CSP) and satisfiability testing (SAT)..

Currently, I'm working on ...

• learning techniques and heuristics
• new encodings using theoretical properties of qualitative calculi
• algorithmic approaches for solving combinatorial problems, inspired from qualitative reasoning frameworks
• the concept of distance between qualitative constraint networks to be used for belief merging and revision

I would like to work on ...

• developing my own qualitative constraint solver through my knowledge and experience with state-of-the-art SAT and CSP solvers
• other domains such as weighted CSP, SMT, social choice theory, and many other topics...

Publications

International conference papers

Jean-François Condotta, Dominique D'Almeida, «Consistency of qualitative constraint networks from tree decompositions», in the 18th International Symposium on Temporal Representation and Reasoning (TIME'11), september 2011. To appear

Dominique D'Almeida, Lakhdar Saïs, «Enhancing Neighbourhood Substitutability Thanks to Singleton Arc Consistency», in the 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI'09), pp. 91-98, november 2009. pdf

Jean-François Condotta, Dominique D'Almeida, «Qualitative Constraints Representation for the Time and Space in SAT», in the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'07), pp. 74-77, october 2007. pdf

Dominique D'Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Saïs, «Relaxation of Qualitative Constraint Networks», in the 7th Symposium on Abstraction, Reformulation and Approximation (SARA'07), pp. 93-108, july 2007. pdf

Jean-François Condotta, Dominique D'Almeida, Christophe Lecoutre, Lakhdar Saïs, «From Qualitative to Discrete Constraint Networks», in the International Workshop on Qualitative Constraint Calculi held with KI'06 (QCC'06), pp. 54-64, june 2006. pdf

National conference papers

Dominique D'Almeida, Nicolas Schwind, «Sur le voisinage entre configurations qualitatives spatio-temporelles», dans les 5ème Journées d'Intelligence Artificielle Fondamentale (JIAF'11), juin 2011. À paraître

Dominique D'Almeida, Lakhdar Saïs, «Recherche de la substituabilité par l'arc-cohérence de singleton», dans les Cinquièmes Journées Francophones de Programmation par Contraintes (JFPC'09), pp. 385-394, juin 2009. pdf

Jean-François Condotta, Dominique D'Almeida, «Représentation de Contraintes Qualitative pour le Temps et l'Espace en SAT», dans le 16ème congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA'08), pp. 268-275, janvier 2008. pdf

PhD Thesis

Dominique D'Almeida, «Étude de systèmes de contraintes pour le raisonnement qualitatif temporel et spatial», Thèse de doctorat, Université d'Artois, le 3 décembre 2010. pdf

Teaching