570 search results - page 2 / 114 » The Complexity of Reasoning with Global Constraints |
CP
2007
Springer
13 years 11 months ago
2007
Springer
LODE is a logic-based web tool for Italian deaf children. It aims at stimulating global reasoning on e-stories written in a verbal language. Presently, we are focusing on temporal ...
ISAAC
2005
Springer
13 years 10 months ago
2005
Springer
CSCLP
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. We propose a new family of constraints which combine together lexicographical ordering constraints for symmetry breaking with other common global constraints. We give a g...
IJCAI
2003
13 years 6 months ago
2003
Many real life optimization problems contain both hard and soft constraints, as well as qualitative conditional preferences. However, there is no single formalism to specify all t...
ER
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. We investigate the computational complexity of reasoning over temporal extensions of conceptual data models. The temporal conceptual models we analyse include the standar...