4595 search results - page 207 / 919 » Reasoning about Plans |
216
click to vote
RULEML
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...
326
click to vote
AIME
2003
Springer
16 years 13 days ago
2003
Springer
Objective: Deep biomedical models are often expressed by means of differential equations. Despite their expressive power, they are difficult to reason about and make decisions, g...
197
click to vote
KI
1999
Springer
15 years 11 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...
176
click to vote
TIME
1994
IEEE
15 years 11 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...
307
click to vote
ICTL
1994
15 years 11 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...