11436 search results - page 119 / 2288 » Modeling Real Reasoning |
107
click to vote
SIGSOFT
2004
ACM
16 years 1 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
111
click to vote
BSN
2006
IEEE
15 years 7 months ago
2006
IEEE
Ubiquitous computing has established a vision of computation where computers are so deeply integrated into our lives that they become both invisible and everywhere. In order to ha...
112
click to vote
DLOG
2009
14 years 11 months ago
2009
We present a novel reasoning procedure for Horn SHIQ ontologies--SHIQ ontologies that can be translated to the Horn fragment of first-order logic. In contrast to traditional reaso...
106
click to vote
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowl...
ICMLA
2004
15 years 2 months ago
2004
Classically, cognition assumes that the underlying mechanisms of thinking are based on symbol manipulation processes. This assumption has several drawbacks, such as the issue of w...