382 search results - page 47 / 77 » Proof Theory for Distributed Knowledge |
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
In order to understand organizational memory, it is important to understand how things become adopted as memory resources in organizations. In this paper, we describe the genesis ...
AO
2008
13 years 8 months ago
2008
Abstract. We address what is still a scarcity of general mathematical foundations for ontology-based semantic integration underlying current knowledge engineering methodologies in ...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
ICDCSW
2006
IEEE
14 years 2 months ago
2006
IEEE
Channel allocation has been extensively studied in the framework of cellular networks, but the emergence of new system concepts, such as cognitive radio systems, bring this topic ...
ATAL
2007
Springer
14 years 15 days ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...