Cloth $64.95 ISBN: 9781575862392 Published June 2000
Paper $30.00 ISBN: 9781575862408 Published April 2001

Formalizing the Dynamics of Information

Edited by Martina Faller, Stefan Kaufmann, and Marc Pauly

Formalizing the Dynamics of Information
Bookmark and Share

Edited by Martina Faller, Stefan Kaufmann, and Marc Pauly

Distributed for Center for the Study of Language and Information

232 pages | 6 x 9 | © 2000
Cloth $64.95 ISBN: 9781575862392 Published June 2000
Paper $30.00 ISBN: 9781575862408 Published April 2001
Contents
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
For more information, or to order this book, please visit http://www.press.uchicago.edu
Google preview here

Chicago Manual of Style |

RSS Feed

RSS feed of the latest books from Center for the Study of Language and Information. RSS Feed