7. TARK 1998: Evanston, Illinois, USA

@proceedings{DBLP:conf/tark/1998,
  editor    = {Itzhak Gilboa},
  title     = {Proceedings of the 7th Conference on Theoretical Aspects of Rationality
               and Knowledge (TARK-98), Evanston, IL, USA, July 22-24, 1998},
  booktitle = {TARK},
  publisher = {Morgan Kaufmann},
  year      = {1998},
  isbn      = {1-55860-563-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Jon Barwise: An Architecture for Heterogeneous Reasoning (Invited Talk). 1-14
• Aleta Ricciardi, Paul Grisham: Toward Software Synthesis for Distributed Applications. 15-27
• Kai Engelhardt, Ron van der Meyden, Yoram Moses: Knowledge and the Logic of Local Propositions. 29-41
• Alexandru Batlag, Lawrence S. Moss, Slawomir Solecki: The Logic of Public Announcements and Common Knowledge and Private Suspicions. 43-56
• Richmond H. Thomason: Intra-Agent Modality and Nonmonotonic Epistemic Logic. 57-69
• Aaron N. Kaplan: Simulative Inference About Nonmonotonic Reasoners. 71-81
• Joseph Y. Halpern: Hypothetical Knowledge and Counterfactual Reasoning. 83-96
• Joseph Y. Halpern, Yoram Moses: Using Counterfactuals in Knowledge-Based Programming. 97-110
• Kevin T. Kelly: The Learning Power of Belief Revision. 111-124
• Joeri Engelfriet, Yde Venema: A Modal Logic of Information Change. 125-131
• Joseph Y. Halpern: Characterizing the Common Prior Assumption. 133-146
• Giacomo Bonanno, Klaus Nehring: Understanding Common Priors under Incomplete Information. 147-160
• Daniel J. Lehmann: Nonstandard Numbers for Qualitative Decision Making. 161-174
• Aviad Heifeitz, Philippe Mongin: The Modal Logic of Probability. 175-185
• Horacio L. Arló-Costa, Cristina Bicchieri: Games and Conditionals. 187-200
• Oliver J. Board: Belief Revision and Rationalizability. 201-213
• Pierfrancesco La Mura, Yoav Shoham: Conditional, Hierarchical, Multi-Agent Preferences. 215-224
• Lance Fortnow, Peter G. Kimmel: Beating a Finite Automaton in the Big Match. 225-234
• Hans Rott: Logic and Choice. 235-248
• John F. Horty, Martha E. Pollack: Evaluating Qptions in a Context. 249-262
• Dov Samet: Quantified Beliefs and Believed Quantities (Invited Talk). 263-272
• Stephen Morris: Interaction Games: A Unified Analysis of Incomplete Information and Local Interaction. 273-277
• Dov Monderer, Moshe Tennenholtz: Distributed Games. 279-292
• Paolo Ghirardato, Massimo Marinacci: Ambiguity Made Precise: A Comparative Foundation. 293-296