Varieties of Self-Reference  [PDF]

B. Smith

Pegs and Alecs  [PDF]

F. Landman

Reasoning About Knowledge in Philosophy: The Paradigm of Epistemic Logic (invited talk) [PDF]

J. Hintikka

Reasoning About Knowledge in Artificial Intelligence (invited talk--abstract only)  [PDF]

R. Moore

The Synthesis of Digital Machines With Provable Epistemic Properties.  [PDF]

S. Rosenschein and L. Kaelbling.

A First Order Theory of Planning, Knowledge, and Action.  [PDF]

L. Morgenstern.

The Consistency of Syntactical Treatments of Knowledge.  [PDF]

J. des Rivikres and H. Levesque

The Knower's Paradox and Representational Theories of Attitudes  [PDF]

N. Asher and I. Kamp

Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures (Extended Abstract)  [PDF]

C. Dwork and Y. Moses

Foundations of Knowledge for Distributed Systems  [PDF]

M. Fischer and N. Immerman

Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report  [PDF]

R. Fagin and M. Vardi

The Logic of Distributed Protocols (Preliminary Report)  [PDF]

R. Ladner and I. Reif

Panel: Objects of Knowledge and Belief: Sentences vs. Propositions? (abstract only)  [PDF]

Paradoxes and Semantic Representation (position paper)  [PDF]

R. Thomason

What Awareness Isn't: A Sentential View of Implicit and Explicit Belief (position paper)  [PDF]

K. Konolige

Reasoning About Knowledge in Economics (invited talk--abstract only)  [PDF]

R. Aumann

Summary of "On Aumann's Notion of Common Knowledge: An Alternative Approach"  [PDF]

T. Tan and S. Werlang

On Play by Means of Computing Machines (Preliminary Version)  [PDF]

N. Megiddo and A. Wigderson

A Theory of Higher Order Probabilities  [PDF]

H. Gaifman

On Epistemic Logic and Logical Omniscience  [PDF]

M. Vardi

Mental Situation Calculus (invited talk--abstract only)  [PDF]

J. McCarthy

A Resolution Method for Quantified Modal Logics of Knowledge and Belief  [PDF]

C. Geissler and K. Konolige

Steps Towards a First-Order Logic of Explicit and Implicit Belief  [PDF]

G. Lakemeyer