1341 search results - page 46 / 269 » Probabilistic Abstraction Hierarchies |
147
click to vote
CC
1998
Springer
15 years 6 months ago
1998
Springer
We introduce the natural class SP 2 containing those languages which may be expressed in terms of two symmetric quanti ers. This class lies between P 2 and P 2 P 2 and naturall...
166
click to vote
SEMWEB
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...
131
click to vote
INFOCOM
1998
IEEE
15 years 10 months ago
1998
IEEE
Abstract-An area-based link-vector algorithm (ALVA) is introduced for the distributed maintenance of routing information in very large internetworks. According to ALVA, destination...
141
click to vote
SOFSEM
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. We examine the problem of finite-state representability of infinitestate processes w.r.t. certain behavioural equivalences. We show that the classical notion of regularit...
161
click to vote
IJCAI
1989
15 years 7 months ago
1989
Many artificial intelligence systems implicitly use notions of granularity in reasoning, but there is very little research into granularity itself. An exception is the work of Hob...