Wiebe van der Hoek, Elias Thijsse  Home/Search
Context Related
| csc.liv.ac.uk/~wiebe...hoekthijsse01.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: csc.liv.ac.uk/~wiebe/pubs/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We extend our general approach to characterizing information to multi-agent systems. In particular, we provide a formal description of an agent's knowledge containing exactly the information conveyed by some (honest) formula j. Only knowing is important for dynamic agent systems in two ways. First of all, one wants to compare different states of knowledge of an agent and, secondly, for agent a's decisions, it may be relevant that (he knows that) agent b does not know more than j. There are... (Update)
Cited by: More
Semantics for Multi-Agent Only Knowing (extended ) - Arild Waaler And (Correct)
Epistemic Equivalence and Bisimulation - Gerbrandy (2005) (Correct)
A General Approach to Multi-Agent Minimal Knowledge with.. - van der Hoek, Thijsse (2001) (Correct)
Active bibliography (related documents): More All
1.4: Theories of Knowledge and Ignorance - van der Hoek, Jaspars, Thijsse (Correct)
0.3: Epistemic Logic: A Survey - van der Hoek, Verbrugge (2002) (Correct)
0.2: Reasoning About Knowledge: A Survey - Halpern (1995) (Correct)
Similar documents based on text: More All
0.3: Honesty in Partial Logic - van der Hoek, Jaspars, Thijsse (1994) (Correct)
0.3: Many-Valued Epistemic States. An Application To A.. - Godo, van der Hoek, .. (Correct)
0.2: Interleaved Contractions (Extended Abstract) - van der Hoek, de Rijke (Correct)
Related documents from co-citation: More All
8: All I know: A study in autoepistemic logic (context) - Hector - 1989
7: A theory of knowledge and ignorance for many agents - Halpern - 1997
6: Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
BibTeX entry: (Update)
W. van der Hoek and E. Thijsse. A general approach to multi-agent minimal knowledge: with tools and samples. Studia Logica, 2002. accepted. http://citeseer.ist.psu.edu/vanderhoek01general.html More
@article{ vanderhoek00general,
author = "Wiebe van der Hoek and Jan Jaspars and Elias Thijsse",
title = "A General Approach to Multi-agent Minimal Knowledge",
journal = "Lecture Notes in Computer Science",
volume = "1919",
pages = "254--??",
year = "2000",
url = "citeseer.ist.psu.edu/vanderhoek01general.html" }
Citations (may not include all citations):357 Algebraic laws for Nondeterminism and Concurrency (context) - Hennessy, Milner - 1985
294 Finite model theory (context) - Ebbinghaus, Flum - 1995
119 All I know: a study in auto-epistemic logic (context) - Levesque - 1990
24 Minimal knowledge problem: a new approach (context) - Schwarz, nski - 1994
23 Towards a theory of knowledge and ignorance (context) - Halpern, Moses - 1985
13 Theory of Knowledge and Ignorance for Many Agents - Halpern - 1997
11 All they know: a study in multi-agent auto epistemic reasoni.. (context) - Lakemeyer - 1993
11 Monotonic and nonmonotonic logics of knowledge (context) - Parikh - 1991
9 A General Approach to Multi-Agent Minimal Knowledge - van der Hoek, Jaspars et al. - 2000
9 A model-theoretic analysis of monotonic knowledge (context) - Vardi - 1985
2 Honesty in Partial Logic - van der Hoek, Jaspars et al. - 1996
2 Persistence and Minimality in Epistemic Logic (context) - van der Hoek, Jaspars et al. - 2000
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.csc.liv.ac.uk/~wiebe/pubs/): More
Model Checking a Knowledge Exchange Scenario - van Otterloo, van der Hoek.. (2003) (Correct)
Model Checking Cooperation, Knowledge, and Time - A Case.. - van der Hoek, Wooldridge (Correct)
Tractable Multiagent Planning for Epistemic Goals - van der Hoek, Wooldridge (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC