729 search results - page 39 / 146 » And Or Hierarchies and Round Abstraction |
164
click to vote
SEMWEB
2009
Springer
16 years 20 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...
129
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...
160
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...
121
click to vote
CIE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We discuss some known and introduce some new reducibilities on regular sets. We establish some facts on the corresponding degree structures and relate some reducibilities...