Formalizing the Dynamics of Information
Distributed for Center for the Study of Language and Information
Formalizing the Dynamics of Information
232 pages | 6 x 9 | © 2000
Language and Linguistics: Formal Logic and Computational Linguistics, General Language and Linguistics
Philosophy: Logic and Philosophy of Language
![Center for the Study of Language and Information image](/dam/ucp/books/publishers/csli_logo.jpeg)
Table of Contents
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
Be the first to know
Get the latest updates on new releases, special offers, and media highlights when you subscribe to our email lists!