default search action
1st TARK 1986: Monterey, California, USA
- Joseph Y. Halpern:
Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, USA, March 1986. Morgan Kaufmann 1986, ISBN 0-934613-04-4 - Joseph Y. Halpern:
Reasoning About Knowledge: An Overview. TARK 1986: 1-17 - Brian Cantwell Smith:
Varieties of Self-Reference. TARK 1986: 19-43 - Fred Landman:
Pegs and Alecs. TARK 1986: 45-61 - Jaakko Hintikka:
Reasoning About Knowledge in Philosophy: The Paradigm of Epistemic Logic. TARK 1986: 63-80 - Robert C. Moore:
Reasoning About Knowledge in Artificial Intelligence. TARK 1986: 81 - Stanley J. Rosenschein, Leslie Pack Kaelbling:
The Synthesis of Digital Machines With Provable Epistemic Properties. TARK 1986: 83-98 - Leora Morgenstern:
A First Order Theory of Planning, Knowledge, and Action. TARK 1986: 99-114 - Jim des Rivières, Hector J. Levesque:
The Consistency of Syntactical Treatments of Knowledge. TARK 1986: 115-130 - Nicholas Asher, Johan A. W. Kamp:
The Knower's Paradox and Representational Theories of Attitudes. TARK 1986: 131-147 - Cynthia Dwork, Yoram Moses:
Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures. TARK 1986: 149-169 - Michael J. Fischer, Neil Immerman:
Foundations of Knowledge for Distributed Systems. TARK 1986: 171-185 - Ronald Fagin, Moshe Y. Vardi:
Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report. TARK 1986: 187-206 - Richard E. Ladner, John H. Reif:
The Logic of Distributed Protocols. TARK 1986: 207-222 - Robert Stalnaker, Hans Kamp, Kurt Konolige, Hector J. Levesque, Richmond H. Thomason:
Panel: Objects of Knowledge and Belief: Sentences vs. Propositions? TARK 1986: 223 - Richmond H. Thomason:
Paradoxes and Semantic Representation. TARK 1986: 225-239 - Kurt Konolige:
What Awareness Isn't: A Sentential View of Implicit and Explicit Belief. TARK 1986: 241-250 - Robert J. Aumann:
Reasoning About Knowledge in Economics. TARK 1986: 251 - Tommy Chin-Chiu Tan, Sérgio Ribeiro da Costa Werlang:
Summary of "On Aumann's Notion of Common Knowledge-An Alternative Approach". TARK 1986: 253-258 - Nimrod Megiddo, Avi Wigderson:
On Play by Means of Computing Machines. TARK 1986: 259-274 - Haim Gaifman:
A Theory of Higher Order Probabilities. TARK 1986: 275-292 - Moshe Y. Vardi:
On Epistemic Logic and Logical Omniscience. TARK 1986: 293-305 - John McCarthy:
Mental Situation Calculus. TARK 1986: 307-308 - Christophe Geissler, Kurt Konolige:
A Resolution Method for Quantified Modal Logics of Knowledge and Belief. TARK 1986: 309-324 - Gerhard Lakemeyer:
Steps Towards a First-Order Logic of Explicit and Implicit Belief. TARK 1986: 325-340 - Raymond M. Smullyan:
Logicians Who Reason About Themselves. TARK 1986: 341-352 - Silvio Micali:
Knowledge and Efficient Computation. TARK 1986: 353-362 - John C. Mitchell, Michael J. O'Donnell:
Realisability Semantics for Error-Tolerant Logics. TARK 1986: 363-382 - João P. Martins, Stuart C. Shapiro:
Theoretical Foundations for Belief Revision. TARK 1986: 383-398 - Gordon D. Plotkin, Colin Stirling:
A Framework for Intuitionistic Modal Logics. TARK 1986: 399-406
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 2024-12-19 22:02 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: