Wiebe van der Hoek Rineke Verbrugge Computer Science, Utrecht University, The ...  Home/Search
Context Related
| csc.liv.ac.uk/~wiebe/pubs/D...survey.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: this article, we will use examples and puzzles to give some avor of the eld and to demonstrate that the notion \it is known that" is meaningful and interesting for researchers in theoretical computer science, arti cial intelligence and game theory (Update)
Context of citations to this paper: More
...situations C BELa ( may be a collective illusion. The axiom system governing individual and collective belief is called KD45 c (see [13, 23, 18] for more about these logics) Degrees of belief in a group It is well known that for teamwork, as well as coordination, it often...
Cited by: More
Creating Common Beliefs in Rescue Situations - Barbara Dunin-Keplicz And (2004) (Correct)
Knowledge, Rationality and Action - van der Hoek (Correct)
A Tuning Machine for Collective Commitments - Dunin-Keplicz, Verbrugge (2003) (Correct)
Similar documents (at the sentence level):
76.7%: Epistemic Logic: A Survey - van der Hoek, Verbrugge (2002) (Correct)
9.4%: Epistemic Logic: Problems and Puzzles - van der Hoek, Verbrugge (2001) (Correct)
8.4%: Logical Foundations of Agent-Based Computing - Wiebe Van Der (Correct)
Active bibliography (related documents): More All
0.3: An AI Formalism for Competing Claims of Identification: Capturing .. - Nissan (2001) (Correct)
0.3: A General Approach to Multi-Agent Minimal Knowledge with.. - van der Hoek, Thijsse (2001) (Correct)
0.3: All They Know in Turn - Chen (Correct)
Similar documents based on text: More All
0.3: Knowledge, Chance, and Change - Kooi (2003) (Correct)
0.3: Modelling Internal Dynamic Behaviour of BDI Agents - Brazier, Dunin-Keplicz.. (1997) (Correct)
0.3: Honesty in Partial Logic - van der Hoek, Jaspars, Thijsse (1994) (Correct)
Related documents from co-citation: More All
4: Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
3: Modeling rational agents within a BDI-architecture - Rao, Georgeff - 1991
2: Adaptive Thinking: Rationality in the Real World (context) - Gigerenzer - 2000
BibTeX entry: (Update)
W. van der Hoek and R. Verbrugge. Epistemic logic: A survey. In L. Petrosjan and V. Mazalov, editors, Game Theory and Applications, pages 53-94. Nova Science Publishers, vol. 8, New York, 2002. http://citeseer.ist.psu.edu/vanderhoek02epistemic.html More
@misc{ hoek02epistemic,
author = "W. van der Hoek and R. Verbrugge",
title = "Epistemic logic: A survey",
text = "W. van der Hoek and R. Verbrugge. Epistemic logic: A survey. In L. Petrosjan
and V. Mazalov, editors, Game Theory and Applications, pages 53-94. Nova
Science Publishers, vol. 8, New York, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/vanderhoek02epistemic.html" }
Citations (may not include all citations):604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
337 Logic and conversation (context) - Grice - 1975
282 A Course in Game Theory (context) - Osborne, Rubinstein - 1994
264 Knowledge and common knowledge in a distributed environment - Halpern, Moses - 1990
194 Knowledge and Belief (context) - Hintikka - 1962
184 Automated analysis of cryptographic protocols using murhpi - Mitchell, Mitchell et al. - 1997
164 ACM Transactions on Computer Systems (context) - Burrows, Abadi et al. - 1990
140 Reasoning about belief in cryptographic protocol analysis - Gong, Needham et al. - 1990
119 All I know: a study in auto-epistemic logic (context) - Levesque - 1990
100 Epistemic Logic for AI and Computer Science (context) - Meyer, van der Hoek - 1995
79 A semantics for a logic of authentication - Abadi, Tuttle - 1991
73 Relevance logic and entailment (context) - Dunn - 1986
58 A guide to the modal logics of knowledge and belief (context) - Halpern, Moses - 1985
57 Model checking for security protocols - Marrero, Clarke et al. - 1997
46 Bisimulations on Planet Kripke (context) - Gerbrandy - 1999
41 The use of logic in the analysis of cryptographic protocols (context) - Syverson - 1991
37 Epistemic conditions for Nash equilibrium (context) - Aumann, Brandeburger - 1995
34 Convention: A Philosophical Study (context) - Lewis - 1969
23 A little knowledge goes a long way: Simple knowledge-based d.. (context) - Halpern, Zuck - 1987
23 Towards a theory of knowledge and ignorance (context) - Halpern, Moses - 1984
19 Formalization of two puzzles involving knowledge (context) - McCarthy - 1990
19 Heath and Company (context) - Binmore, Games et al. - 1992
15 Formal semantics for authentication logics (context) - Wedel, Kessler - 1996
13 Theory of knowledge and ignorance for many agents - Halpern - 1997
12 Reasoning about knowledge in philosophy: The paradigm of epi.. (context) - Hintikka - 1986
10 Game Theory - Aumann, In et al. - 1997
9 Interactive epistemology I: Knowledge (context) - Aumann - 1999
9 Knowledge development in games of imperfect information (context) - Druiven - 2002
9 A general approach to multi-agent minimal knowledge: with to.. - van der Hoek, Thijsse - 2002
9 A model-theoretic analysis of monotonic knowledge (context) - Vardi - 1985
9 A knowledge-based algorithm for the internet protocol TCP - Stulp, Verbrugge - 2002
8 Nieuw Archief voor de Wiskunde (context) - Hurkens, eciently - 2000
8 Games in dynamic-epistemic logic - van Benthem - 2001
8 Annals of Discrete Mathematics (context) - Parikh, of et al. - 1985
7 Bulletin of Economic Research (context) - Baltag, for et al. - 2002
7 On BAN logics for industrial security protocols - Agray, van der Hoek et al. - 2002
7 The description of game actions in cluedo (context) - van Ditmarsch - 2002
6 Descriptions of game actions (context) - van Ditmarsch - 2002
6 Rationality and knowledge in game theory (context) - Dekel, Gul - 1997
6 Dover Publications (context) - Lewis, Langford - 1959
4 knowledge and the epistemic foundations of game theory (context) - Battagli, Bonanno et al. - 1999
4 Group knowledge is not always distributed (context) - van der Hoek, van Linder et al. - 1999
4 Solution of a number theoretic problem involving knowledge (context) - Panti - 1991
4 An Essay in Modal Logic (context) - von Wright - 1953
4 Arti cial Intelligence (context) - Fagin, Halpern et al. - 1988
3 Epistemology and the Unity of Science (context) - van der Hoek, Jaspars et al. - 2002
3 see also http://\-dimacs (context) - Bleeker, Meertens et al. - 1997
2 Nieuw Archief voor de Wiskunde (context) - Freudenthal - 1969
2 Model checking multiagent systems (context) - Benereccetti, Giunchiglia et al. - 1998
2 Annals of Mathematics and Arti cial Intelligence (context) - van der Hoek, Jaspars et al. - 2000
2 Bulletin of Economic Research (context) - van Ditmarsch - 2001
http://www.tark.org
http://www.econ.ucdavis.edu/faculty/bonanno/loft.html
www.isdgrus.ru/LGS2/
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