3573 search results - page 117 / 715 » Reasoning about Codata |
127
click to vote
KI
1999
Springer
15 years 7 months ago
1999
Springer
Among the formalisms for qualitative spatial reasoning, the Region Connection Calculus and its variant, the constraint algebra RCC8, have received particular attention recently. A...
109
click to vote
TIME
1994
IEEE
15 years 7 months ago
1994
IEEE
We are concerned with temporalreasoning problems where there is uncertainty about the order in which events occur. The task of temporal reasoning is to derive an event sequence co...
206
click to vote
ICTL
1994
15 years 7 months ago
1994
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
128
click to vote
ECAI
1992
Springer
15 years 7 months ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...
120
Voted
IFIP12
2004
15 years 4 months ago
2004
: Component retrieval, about how to locate and identify appropriate components, is one of the major problems in component reuse. It becomes more critical as more reusable component...