Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

17

JANCL
2007

favoriteEmaildiscussreport

107views more JANCL 2007»

Distributed knowledge

13 years 4 months ago

Distributed knowledge

Download staff.science.uva.nl

ABSTRACT. This paper provides a complete characterization of epistemic models in which distributed knowledge complies with the principle of full communication [HOE 99, GER 99]. It also introduces an extended notion of bisimulation and corresponding model comparison games that match the expressive power of distributed knowledge operators.

Floris Roelofsen

Real-time Traffic

Complete Characterization | Epistemic Models | JANCL 2007 | Model Comparison Games |

claim paper

Related Content

» Verification of Distributed Knowledge in Semantic Knowledge Wikis

» Knowledge Nodes the Building Blocks of a Distributed Approach to Knowledge

» Ontological Semantics for Distributing Contextual Knowledge in Highly Distributed Autonomi...

» Proof Theory for Distributed Knowledge

» A Conceptual Framework for Knowledge Integration in Distributed Networks of Practice

» WorkflowCentric Distribution of Organizational Knowledge The Case of Document Flow Coordin...

» Proactive Knowledge Distribution for Agile Processes

» Complex Adaptive KnowledgeFlows and Workflows

» Modeling Corporate Knowledge within the Agent Oriented Abstraction

» Genetic Programming and Domain Knowledge Beyond the Limitations of GrammarGuided Machine D...

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2007
Where	JANCL
Authors	Floris Roelofsen

Comments (0)