2035 search results - page 105 / 407 » On the complexity of stratified logics |
184
click to vote
PODS
2008
ACM
16 years 6 months ago
2008
ACM
We consider the navigational core of XPath, extended with two operators: the Kleene star for taking the transitive closure of path expressions, and a subtree relativisation operat...
164
click to vote
AINA
2007
IEEE
16 years 20 days ago
2007
IEEE
In the Ad-Hoc InfoWare project, we develop a delay tolerant event notification service for sparse Mobile Ad-Hoc Networks for emergency and rescue operations. In most event notific...
172
click to vote
WDAG
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
177
click to vote
PPDP
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...
161
click to vote
DLOG
2008
15 years 8 months ago
2008
Distributed Description Logics (DDL) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping. Subsumption propagation in DD...