2. TARK 1988:
Pacific Grove,
California,
USA
Moshe Y. Vardi (Ed.):
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, March 1988.
Morgan Kaufmann 1988, ISBN 0-934613-66-4 BibTeX
@proceedings{DBLP:conf/tark/1988,
editor = {Moshe Y. Vardi},
title = {Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning
about Knowledge, Pacific Grove, CA, March 1988},
booktitle = {TARK},
publisher = {Morgan Kaufmann},
year = {1988},
isbn = {0-934613-66-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Martin Tompa:
Zero Knowledge Interactive Proofs of Knowledge (A Digest).
1-12 BibTeX
- Ronald L. Rivest, Robert H. Sloan:
A New Model for Inductive Inference.
13-28 BibTeX
- Robert Charles Koons:
Doxastic Paradoxes without Self-Reference.
29-41 BibTeX
- Haim Gaifman:
Operational Pointer Semantics: Solution to Self-Referential Puzzles I.
43-59 BibTeX
- Nicholas Asher:
Reasoning about Belief and Knowledge with Self-Reference and Time.
61-81 BibTeX
- Peter Gärdenfors, David Makinson:
Revisions of Knowledge Systems Using Epistemic Entrenchment.
83-95 BibTeX
- Raymond Reiter:
On Integrity Constraints.
97-111 BibTeX
- Fangzhen Lin:
Circumscription in a Modal Logic.
113-127 BibTeX
- Eric Werner:
Toward a Theory of Communication and Cooperation for Multiagent Planning.
129-143 BibTeX
- Gerhard Lakemeyer, Hector J. Levesque:
A Tractable Knowledge Representation Service with Full Introspection.
145-159 BibTeX
- Joseph Y. Halpern:
Reasoning About Knowledge: A Tutorial.
161 BibTeX
- Tommy Chin-Chiu Tan, Sérgio Ribeiro da Costa Werlang:
A Guide to Knowledge and Games.
163-177 BibTeX
- Roger B. Myerson:
Incentive Constraints and Optimal Communication Systems.
179-193 BibTeX
- Andrew F. Daughety, Robert Forsythe:
Complete Information Outcomes without Common Knowledge.
195-209 BibTeX
- Larry Samuelson:
Evolutionary Foundations of Solution Concepts for Finite, Two-Player, Normal-Form Games.
211-225 BibTeX
- Itzhak Gilboa:
Information and Meta Information.
227-243 BibTeX
- Haim Shvaytser:
Representing Knowledge in Learning Systems by Pseudo Boolean Functions.
245-259 BibTeX
- Yoram Moses:
Resource-bounded Knowledge.
261-275 BibTeX
- Ronald Fagin, Joseph Y. Halpern:
Reasoning about Knowledge and Probability.
277-293 BibTeX
- Gil Neiger:
Knowledge Consistency: A Useful Suspension of Disbelief.
295-308 BibTeX
- Murray S. Mazer:
A Knowledge Theoretic Account of Recovery in Distributed Systems: The Case of Negotiated Commitment.
309-323 BibTeX
- Michael Burrows, Martín Abadi, Roger M. Needham:
Authentication: A Practical Study in Belief and Action.
325-342 BibTeX
- Stanley J. Rosenchein, Jon Doyle, Ronald Prescott Loui, Hector J. Levesque, Robert S. Moore:
Panel: Locality vs. Rationality.
343 BibTeX
- Jon Doyle:
Knowledge, Representation, and Rational Self-Government.
345-354 BibTeX
- Ronald Prescott Loui:
The Curse of Frege.
355-359 BibTeX
- Hector J. Levesque:
Comments on "Knowledge, Representation, and Rational Self-Government".
361-362 BibTeX
- Robert C. Moore:
Is It Rational to be Logical?
363 BibTeX
- Jon Barwise:
Three Views of Common Knowledge.
365-379 BibTeX
- Cristina Bicchieri:
Common Knowledge and Backward Induction: A Solution to the Paradox.
381-393 BibTeX
- Philip J. Reny:
Extensive Games and Common Knowledge.
395 BibTeX
- Itzhak Gilboa, David Schmeidler:
Information-Dependent Games: Can Common Sense Be Common Knowledge?
397-400 BibTeX
Copyright © Sat May 16 23:43:35 2009
by Michael Ley (ley@uni-trier.de)