default search action
2nd TARK 1988: Pacific Grove, California, USA
- Moshe Y. Vardi:
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1988. Morgan Kaufmann 1988, ISBN 0-934613-66-4 - Martin Tompa:
Zero Knowledge Interactive Proofs of Knowledge (A Digest). TARK 1988: 1-12 - Ronald L. Rivest, Robert H. Sloan:
A New Model for Inductive Inference. TARK 1988: 13-28 - Robert Charles Koons:
Doxastic Paradoxes without Self-Reference. TARK 1988: 29-41 - Haim Gaifman:
Operational Pointer Semantics: Solution to Self-Referential Puzzles I. TARK 1988: 43-59 - Nicholas Asher:
Reasoning about Belief and Knowledge with Self-Reference and Time. TARK 1988: 61-81 - Peter Gärdenfors, David Makinson:
Revisions of Knowledge Systems Using Epistemic Entrenchment. TARK 1988: 83-95 - Raymond Reiter:
On Integrity Constraints. TARK 1988: 97-111 - Fangzhen Lin:
Circumscription in a Modal Logic. TARK 1988: 113-127 - Eric Werner:
Toward a Theory of Communication and Cooperation for Multiagent Planning. TARK 1988: 129-143 - Gerhard Lakemeyer, Hector J. Levesque:
A Tractable Knowledge Representation Service with Full Introspection. TARK 1988: 145-159 - Joseph Y. Halpern:
Reasoning About Knowledge: A Tutorial. TARK 1988: 161 - Tommy Chin-Chiu Tan, Sérgio Ribeiro da Costa Werlang:
A Guide to Knowledge and Games. TARK 1988: 163-177 - Roger B. Myerson:
Incentive Constraints and Optimal Communication Systems. TARK 1988: 179-193 - Andrew F. Daughety, Robert Forsythe:
Complete Information Outcomes without Common Knowledge. TARK 1988: 195-209 - Larry Samuelson:
Evolutionary Foundations of Solution Concepts for Finite, Two-Player, Normal-Form Games. TARK 1988: 211-225 - Itzhak Gilboa:
Information and Meta Information. TARK 1988: 227-243 - Haim Shvaytser:
Representing Knowledge in Learning Systems by Pseudo Boolean Functions. TARK 1988: 245-259 - Yoram Moses:
Resource-bounded Knowledge. TARK 1988: 261-275 - Ronald Fagin, Joseph Y. Halpern:
Reasoning about Knowledge and Probability. TARK 1988: 277-293 - Gil Neiger:
Knowledge Consistency: A Useful Suspension of Disbelief. TARK 1988: 295-308 - Murray S. Mazer:
A Knowledge Theoretic Account of Recovery in Distributed Systems: The Case of Negotiated Commitment. TARK 1988: 309-323 - Michael Burrows, Martín Abadi, Roger M. Needham:
Authentication: A Practical Study in Belief and Action. TARK 1988: 325-342 - Stanley J. Rosenchein, Jon Doyle, Ronald Prescott Loui, Hector J. Levesque, Robert S. Moore:
Panel: Locality vs. Rationality. TARK 1988: 343 - Jon Doyle:
Knowledge, Representation, and Rational Self-Government. TARK 1988: 345-354 - Ronald Prescott Loui:
The Curse of Frege. TARK 1988: 355-359 - Hector J. Levesque:
Comments on "Knowledge, Representation, and Rational Self-Government". TARK 1988: 361-362 - Robert C. Moore:
Is It Rational to be Logical? TARK 1988: 363 - Jon Barwise:
Three Views of Common Knowledge. TARK 1988: 365-379 - Cristina Bicchieri:
Common Knowledge and Backward Induction: A Solution to the Paradox. TARK 1988: 381-393 - Philip J. Reny:
Extensive Games and Common Knowledge. TARK 1988: 395 - Itzhak Gilboa, David Schmeidler:
Information-Dependent Games: Can Common Sense Be Common Knowledge? TARK 1988: 397-400
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-30 20:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: