Sciweavers

97 search results - page 3 / 20
» A logic of reasoning, communication and cooperation with syn...
Sort
View
DALT
2008
Springer
13 years 8 months ago
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
Dimitar P. Guelev, Catalin Dima
CIA
2006
Springer
13 years 10 months ago
A Framework of Cooperative Agents with Implicit Support for Ontologies
Abstract. W3C's OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage...
Riza Cenk Erdur, Inanç Seylan
TMC
2012
11 years 9 months ago
Network Coding in Cooperative Communications: Friend or Foe?
—A major benefit of employing network coding (NC) in cooperative communications (CC) is its ability to reduce time-slot overhead. Such approach is called network-coded CC (or NC...
Sushant Sharma, Yi Shi, Jia Liu, Y. Thomas Hou, Sa...
HICSS
2007
IEEE
164views Biometrics» more  HICSS 2007»
14 years 1 months ago
Supporting Knowledge Transfer through Decomposable Reasoning Artifacts
Technology to support knowledge transfer and cooperative inquiry must offer its users the ability to effectively interpret knowledge structures produced by collaborators. Communic...
William Pike, Richard May, Alan Turner
SEMWEB
2007
Springer
14 years 1 months ago
Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies
Several proposals have been put forward to support distributed agent cooperation in the Semantic Web, by allowing concepts and roles in one ontology be reused in another ontology. ...
Yuting Zhao, Kewen Wang, Rodney W. Topor, Jeff Z. ...