2490 search results - page 73 / 498 » Complexity of Contextual Reasoning |
131
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
145
click to vote
KR
2000
Springer
15 years 7 months ago
2000
Springer
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute solutions which are close to the ideal solution, with...
150
Voted
DLOG
2010
15 years 2 months ago
2010
ABox Reasoning in large scale description logic (DL) knowledge bases, e.g. ontologies, is important for the success of many semantic-enriched systems. Performance of existing appro...
167
click to vote
PCI
2005
Springer
15 years 9 months ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
117
click to vote
TIME
1994
IEEE
15 years 8 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...