4117 search results - page 97 / 824 » On the Satisfiability of Complex Constraints |
207
click to vote
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
205
click to vote
ICSOC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Service-based systems should be able to dynamically seek replacements for faulty or underperforming services, thus performing self-healing. It may however be the case tha...
150
click to vote
IWSAS
2001
Springer
15 years 10 months ago
2001
Springer
We present an approach to self-adaptive systems utilizing explicit models of the design-space of the application. The design-space is captured by allowing the specification of alte...
173
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
A framework for modeling Semantic Web Service is proposed. It is based on Description Logic (DL), hence it is endowed with a formal semantics and, in addition, it allows for expres...
150
click to vote
AAAI
2006
15 years 7 months ago
2006
Clustering under constraints is a recent innovation in the artificial intelligence community that has yielded significant practical benefit. However, recent work has shown that fo...