570 search results - page 101 / 114 » The Complexity of Reasoning with Global Constraints |
109
click to vote
WICSA
2008
15 years 2 months ago
2008
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
102
click to vote
AAAI
2006
15 years 2 months ago
2006
In this paper, we will deal with some important kinds of metric temporal reasoning problems that arise in many real-life situations. In particular, events X0, X1 . . . XN are mode...
127
click to vote
AAAI
2000
15 years 2 months ago
2000
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
122
click to vote
AI
2008
Springer
15 years 1 months ago
2008
Springer
It is well-known that knowledgebases may contain inconsistencies. We provide a framework of measures, based on a first-order four-valued logic, to quantify the inconsistency of a ...
102
click to vote
AIR
2002
15 years 1 months ago
2002
E-commerce sites can have large, essentially unbounded, catalogs. With large catalogs comes increasing difficulty for buyers in making use of standard search and browsing faciliti...