Dominique D'Almeida

According to our database, Dominique D'Almeida authored at least 5 papers between 2007 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Model-based diagnosis with default information implemented through MAX-SAT technology.

Dominique D'Almeida, Éric Grégoire

Proceedings of the IEEE 13th International Conference on Information Reuse & Integration, 2012

2011

Consistency of Qualitative Constraint Networks from Tree Decompositions.

Jean-François Condotta, Dominique D'Almeida

Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

2009

Enhancing Neighbourhood Substitutability Thanks to Singleton Arc Consistency.

Dominique D'Almeida, Lakhdar Sais

Proceedings of the ICTAI 2009, 2009

2007

Relaxation of Qualitative Constraint Networks.

Dominique D'Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Sais

Proceedings of the Abstraction, 2007

Qualitative Constraints Representation for the Time and Space in SAT.

Jean-François Condotta, Dominique D'Almeida

Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007