1143 search results - page 211 / 229 » Prospective Logic Agents |
107
click to vote
SEUS
2005
IEEE
15 years 7 months ago
2005
IEEE
Nomadic computing environments are composed of heterogeneous mobile computing domains. Unfortunately, the service discovery platforms suitable for each domain are scarcely interop...
129
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
129
click to vote
DALT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
102
click to vote
SEMWEB
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
153
click to vote
CSFW
2003
IEEE
15 years 7 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...