Formalizing the Dynamics of Information Book

Preface
List of Contributors
I: Agents, Games, and Reasoning with Incomplete Information
Commonsense as Motion
Areski Nait Abdallah
Intersubjective Consistency of Knowledge and Belief
Giacomo Bonanno and Klaus Nehring
Formalizing Potential of Agents
W. van der Hoek, J.-J. Ch. Meyer, and J. W. van Schagen
An Introduction to Game Logic
Marc Pauly
II: Reasoning Formalized: Logical Frameworks, Resolution, and Proof Theory
Logical Frameworks
Iliano Cervesato
Logical Frameworks
Grigori Mints
An Overview of Resolution Decision Procedures
Hans de Nivelle
From Propositional to Linear Logic: An Introduction
Harold Schellinx
III: Compositions that Make Sense
Dimensional Adjectives and Measure Phrases in Vector Space Semantics
Martina Faller
Dynamic Context Management
Stefan Kaufmann
Resolving Temporal Relations Using Tense Meaning and Discourse Interpretation
Andrew Kehler
Semantic Compositionality
Francis Jeffry Pelletier