2490 search results - page 219 / 498 » Complexity of Contextual Reasoning |
168
Voted
BIRTHDAY
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...
136
click to vote
CIARP
2009
Springer
15 years 11 months ago
2009
Springer
In this article an autonomous visual perception framework for humanoids is presented. This model-based framework exploits the available knowledge and context acquired during global...
171
Voted
KI
2009
Springer
15 years 11 months ago
2009
Springer
As a tractable description logic, DL-Lite provides a good compromise between expressive power and computational complexity of inference. It is therefore important to study ways of ...
156
click to vote
CSFW
2008
IEEE
15 years 11 months ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...
124
click to vote
IAT
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper proposes a multi-agent system architecture based on introspective agents provided with an expressive communication language and reasoning capabilities on their skills. ...