2490 search results - page 138 / 498 » Complexity of Contextual Reasoning |
125
click to vote
IDA
2003
Springer
15 years 9 months ago
2003
Springer
Because uncertain reasoning is often intractable, it is hard to reason with a large amount of knowledge. One solution to this problem is to specify a set of possible models, some s...
129
click to vote
ICTAI
1994
IEEE
15 years 8 months ago
1994
IEEE
Combining various knowledge types - and reasoning methods - in knowledge-based systems is a challenge to the knowledge representation task. The paper describes an object-oriented,...
136
Voted
CSL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. For a reasonable sound and complete proof calculus for firstorder logic consider the problem to decide, given a sentence of firstorder logic and a natural number n, whet...
148
click to vote
DLOG
2009
15 years 2 months ago
2009
Abstract. Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we present the ...
178
click to vote
DLOG
2011
14 years 8 months ago
2011
We propose an extension of SROIQ with nominal schemas which can be used like “variable nominal concepts” within axioms. This feature allows us to express arbitrary DL-safe rule...