3776 search results - page 367 / 756 » Partition-Based Logical Reasoning |
144
click to vote
ENTCS
2006
15 years 4 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
164
click to vote
IS
2006
15 years 4 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
168
click to vote
TPLP
2002
15 years 4 months ago
2002
At present, the search for specific information on the World Wide Web is faced with several problems, which arise on the one hand from the vast number of information sources avail...
153
click to vote
FSS
2010
15 years 2 months ago
2010
In this paper we investigate the relationship between two prioritized knowledge bases by measuring both the conflict and the agreement between them. First of all, a quantity of co...
138
click to vote
AUSAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typi...