Center for the Study of Language and Information
Formalizing the Dynamics of Information
9781575862408
9781575862392
9781684000074
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
Table of 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
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