3. TARK 1990: Pacific Grove, California, USA

Rohit Parikh (Ed.): Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, March 1990. Morgan Kaufmann 1990, ISBN 1-55860-105-8

@proceedings{DBLP:conf/tark/1990,
  editor    = {Rohit Parikh},
  title     = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
               about Knowledge, Pacific Grove, CA, March 1990},
  booktitle = {TARK},
  publisher = {Morgan Kaufmann},
  year      = {1990},
  isbn      = {1-55860-105-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Kurt Konolige: Nonmonotonic Reasoning. 1
Rohit Parikh: Recent Issues in Reasoning about Knowledge. 3-10
Nicholas Asher: Intentional Paradoxes and an Inductive Theory of Propositional Quantification. 11-28
Richmond H. Thomason: Propagating Epistemic Coordination Through Mutual Defaults I. 29-39
Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Nonstandard Approach to the Logical Omniscience Problem. 41-55
Daniel J. Lehmann, Menachem Magidor: Preferential Logics: the Predicate Calculus Case. 57-72
Michael L. Tiomkin, Michael Kaminski: Nonmonotonic Default Modal Logics. 73-83
Kurt Konolige: Explanatory Belief Ascription. 85-96
Grigori F. Shvarts: Autoepistemic Modal Logics. 97-109
Fangzhen Lin, Yoav Shoham: Epistemic Semantics for Fixed-Points Non-Monotonic Logics. 111-120
Judea Pearl: System Z: A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning. 121-135
Robert Stalnaker: Semantics for Conditionals. 137-138
John Geanakoplos: Common Knowledge in Economics. 139-140
Paul J. Krasucki: Reaching Consensus on Decisions. 141-150
Yoram Moses, Gal Nachum: Agreeing to Disagree After All. 151-168
Beth Allen: Costly Acquisition of (Differentiated) Information. 169-184
Brian Skyrms: Dynamic Models of Deliberation and the Theory of Games. 185-200
Itzhak Gilboa: A Note on the Consistency of Game Theory. 201-208
Barton L. Lipman: On the Strategic Advantages of a Lack of Common Knowledge. 209-224
Sanjay Jain, Arun Sharma: Hypothesis Formation and Language Acquisition with an Infinitely-Often Correct Teacher. 225-239
Edith Spaan: Nexttime is not Necessary. 241-256
Sergei N. Artëmov: Kolmogorov's Logic of Problems and a Provability Interpretation of Intuitionistic Logic. 257-272
Matthew L. Ginsberg: Bilattices and Modal Operators. 273-287
Murray S. Mazer: A Link Between Knowledge and Communication in Faulty Distributed Systems. 289-304

Last update Tue Feb 14 04:11:54 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page