Skip to main content

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!

Sign up here for updates about the Press