2490 search results - page 195 / 498 » Complexity of Contextual Reasoning |
131
click to vote
AIPS
1996
15 years 6 months ago
1996
Effective task-level control is critical for robots that are to engage in purposeful activity in realworld environments. This paper describes PRSLite, a task-level controller grou...
141
click to vote
AAAI
1990
15 years 6 months ago
1990
A central problem in text-understanding research is the indeterminacy of natural language. Two related issues that arise in confronting this problem are the need to make complex i...
148
Voted
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
133
Voted
KI
2006
Springer
15 years 5 months ago
2006
Springer
Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constr...
165
click to vote
AI
2005
Springer
15 years 4 months ago
2005
Springer
We present a formal model for qualitative spatial reasoning with cardinal directions utilizing a co-ordinate system. Then, we study the problem of checking the consistency of a se...