2490 search results - page 197 / 498 » Complexity of Contextual Reasoning |
121
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have sho...
153
Voted
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a st...
156
Voted
DAIS
2009
15 years 2 months ago
2009
Queries are widely used for acquiring data distributed in opportunistically formed mobile networks. However, when queries are executed in such dynamic settings, the returned result...
143
click to vote
ICC
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper the interference channel is extended by additional relay nodes in order to investigate the influence of interference on the design and performance of relaying protoco...
174
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...