2214 search results - page 15 / 443 » Complexity of Reasoning |
LICS
1999
IEEE
14 years 24 days ago
1999
IEEE
We present some new decision and comparison problems of unusually high computational complexity. Most of the problems are strictly combinatorial in nature; others involve basic lo...
CSL
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We give a recursion-theoretic characterization of the complexity classes NCk
ECAI
2000
Springer
14 years 26 days ago
2000
Springer
Many complex real-world decision problems, such as planning, contain an underlying constraint reasoning problem. The feasibility of a solution candidate then depends on the consis...
IAT
2010
IEEE
13 years 5 months ago
2010
IEEE
Significant increase in collected data for investigative tasks and the increased complexity of the reasoning process itself have made investigative analytical tasks more challengi...
CADE
2010
Springer
13 years 9 months ago
2010
Springer
We propose an extension of the syntactic restriction for complex role inclusion axioms in the description logic SROIQ. Like the original restriction in SROIQ, our restrictions can ...