2214 search results - page 34 / 443 » Complexity of Reasoning |
204
click to vote
DLOG
2011
14 years 3 months ago
2011
This paper examines a new technique based on tableau, that allows one to introduce composition of roles from the right hand side of complex role inclusion axioms (RIAs). Our motiva...
119
click to vote
JELIA
1994
Springer
15 years 3 months ago
1994
Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
AVSS
2009
IEEE
15 years 6 months ago
2009
IEEE
— Classical tracking methods are often insufficient when dealing with complex scenarios. In order to solve tracking errors, innovative techniques based on the use of information ...
IAT
2008
IEEE
15 years 6 months ago
2008
IEEE
Knowledge gathering and investigative tasks in open environments can be very complex because the problemsolving context is constantly evolving, and the data may be incomplete, unr...
129
click to vote
AGILE
2007
Springer
2007
Springer
Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture
15 years 6 months ago
Environmental databases store a wide variety of data from heterogeneous sources which are described with domain-specific terminologies and refer to distinct locations. In order to ...