2410 search results - page 276 / 482 » Multiset Ordering Constraints |
144
click to vote
TIME
1994
IEEE
15 years 10 months ago
1994
IEEE
We describe in this article an abductive procedure based on a constrained resolution principle. The choice of constrained resolution is motivated by the whish to gain full advanta...
143
click to vote
ICLP
1994
Springer
15 years 10 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...
168
click to vote
SIGSOFT
1993
ACM
15 years 10 months ago
1993
ACM
The software architecture of most systems is described informally and diagrammatically. In order for these descriptions to be meaningful at all, gures are understood by interpreti...
164
click to vote
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
Non-monotonic knowledge evolutions and exceptions constitute a complex theoritical and practical problem. The state of the art shows a rich and surprising diversity of approaches....
170
Voted
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
Hardware failures in autonomous and distributed software systems create the need for self-healing activities. This work addresses the problem of redeploying software components af...