1321 search results - page 140 / 265 » Subtyping in Logical Form |
150
click to vote
DLOG
2007
15 years 8 months ago
2007
Abstract. This paper studies a technique for mapping ALCI knowledge bases into ALC. Worst-case optimal tableau-based procedures for the satisfiability/consistency problem w.r.t. g...
155
click to vote
AAAI
1993
15 years 7 months ago
1993
This paper discusses the important issue of knowledge base comprehensibility and describes a technique for comprehensibility improvement. Comprehensibility is often measured by si...
165
click to vote
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
— Nodes forming mobile ad hoc networks (MANET) nodes can be logically partitioned into 1) a selfish user agent serving the interests of the end user (owner) of the mobile device...
177
click to vote
ENTCS
2006
15 years 6 months ago
2006
Community decisions about access control in virtual communities are non-monotonic in nature. This means that they cannot be expressed in current, monotonic trust management langua...
187
click to vote
IJNSEC
2008
15 years 6 months ago
2008
In group communication, users often have different access rights to multiple data streams. Based on the access relation of users and data streams, users can form partially ordered...