2214 search results - page 33 / 443 » Complexity of Reasoning |
162
click to vote
CADE
2002
Springer
16 years 4 days ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
TASE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
IROS
2007
IEEE
15 years 6 months ago
2007
IEEE
— Vehicle guidance in complex scenarios such as inner-city traffic requires an in-depth understanding of the current situation. In order to select the appropriate behavior for a...
112
click to vote
KR
2010
Springer
15 years 3 months ago
2010
Springer
We investigate the computational complexity of axiom pinpointing, which is the task of finding minimal subsets of a Description Logic knowledge base that have a given consequence...
EWCBR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. The contents of the case knowledge container is critical to the performance of case-based classification systems. However the knowledge engineer is given little support i...