Theoretical Aspects of Reasoning About Knowledge. Proceedings of the 1986 Conference

✍ Scribed by Joseph Y. Halpern

• Publisher: Elsevier Inc, Morgan Kaufmann Pub
• Year: 1986
• Tongue: English
• Leaves: 397
• Edition: First
• Category: Library

✦ Table of Contents

Content:
Front Matter, Page i
Copyright, Page ii
Foreword, Page vii, Joe Halpern
REASONING ABOUT KNOWLEDGE: AN OVERVIEW, Pages 1-17, Joseph Y. Halpern
VARIETIES OF SELF-REFERENCE, Pages 19-43, Brian Cantwell Smith
PEGS AND ALECS, Pages 45-61, Fred Landman
REASONING ABOUT KNOWLEDGE IN PHILOSOPHY: THE PARADIGM OF EPISTEMIC LOGIC, Pages 63-80, Jaakko Hintikka
REASONING ABOUT KNOWLEDGE IN ARTIFICIAL INTELLIGENCE, Page 81, Robert C. Moore
THE SYNTHESIS OF DIGITAL MACHINES WITH PROVABLE EPISTEMIC PROPERTIES, Pages 83-98, Stanley J. Rosenschein, Leslie Pack Kaelbling
A First Order Theory of Planning, Knowledge, and Action, Pages 99-114, Leora Morgenstern
THE CONSISTENCY OF SYNTACTICAL TREATMENTS OF KNOWLEDGE, Pages 115-130, Jim des Rivières, Hector J. Levesque
THE KNOWER'S PARADOX AND REPRESENTATIONAL THEORIES OF ATTITUDES, Pages 131-147, Nicholas M. Asher, Johan A.W. Kamp
Knowledge and Common Knowledge in a Byzantine Environment I: Crash failures: Extended Abstract, Pages 149-169, Cynthia Dwork, Yoram Moses
FOUNDATIONS OF KNOWLEDGE FOR DISTRIBUTED SYSTEMS, Pages 171-185, Michael J. Fischer, Neil Immerman
Knowledge and implicit knowledge in a distributed environment: Preliminary Report, Pages 187-206, Ronald Fagin, Moshe Y. Vardi
The Logic of Distributed Protocols: Preliminary Report, Pages 207-222, Richard E. Ladner, John H. Reif
Panel: Objects of knowledge and belief: sentences vs. propositions?, Page 223, Robert C. Stalnaker, Hans Kamp, Kurt Konolige, Hector J. Levesque, Richmond H. Thomason
PARADOXES AND SEMANTIC REPRESENTATION, Pages 225-239, Richmond H. Thomason
WHAT AWARENESS ISN'T: A SENTENTIAL VIEW OF IMPLICIT AND EXPLICIT BELIEF, Pages 241-250, Kurt Konolige
REASONING ABOUT KNOWLEDGE IN ECONOMICS, Page 251, Robert J. Aumann
SUMMARY OF “ON AUMANN'S NOTION OF COMMON KNOWLEDGE – AN ALTERNATIVE APPROACH”, Pages 253-258, Tommy Chin-Chiu Tan, Sérgio Ribeiro Da Costa Werlang
ON PLAY BY MEANS OF COMPUTING MACHINES: preliminary version, Pages 259-274, Nimrod Megiddo, Avi Wigderson
A THEORY OF HIGHER ORDER PROBABILITIES, Pages 275-292, Haim Gaifman
ON EPISTEMIC LOGIC AND LOGICAL OMNISCIENCE, Pages 293-305, Moshe Y. Vardi
MENTAL SITUATION CALCULUS, Page 307, John C. McCarthy
A RESOLUTION METHOD FOR QUANTIFIED MODAL LOGICS OF KNOWLEDGE AND BELIEF, Pages 309-324, Christophe Geissler, Kurt Konolige
STEPS TOWARDS A FIRST-ORDER LOGIC OF EXPLICIT AND IMPLICIT BELIEF, Pages 325-340, Gerhard Lakemeyer
LOGICIANS WHO REASON ABOUT THEMSELVES, Pages 341-352, Raymond M. Smullyan
Knowledge and Efficient Computation, Pages 353-362, Silvio Micali
Realizability Semantics for Error-Tolerant Logics (preliminary version), Pages 363-381, John C. Mitchell, Michael J. O'Donnell
THEORETICAL FOUNDATIONS FOR BELIEF REVISION, Pages 383-398, João P. Martins, Stuart C. Shapiro
A Framework for Intuitionistic Modal Logics: Extended Abstract, Pages 399-406, Gordon Plotkin, Colin Stirling
AUTHOR INDEX, Page 407