Modeling and Using Context

Whetheryouareacomputerscientist,alogician,aphilosopher,orapsychologist, it is crucial to understand the role that context and contextual information plays in reasoning and representation. The conference at which the papers in this volume were presented was the fourth in an international series devoted to research on context, and was held in Stanford (USA) on June 2325, 2003. The ?rst conference in the series was held in Rio de Janeiro (Brazil) in 1997, the second was held in Trento (Italy) in 1999, and the third was held in Dundee (Scotland, UK) in 2001. CONTEXT2003 brought together representative work from many di?erent ?elds: in this volume you will ?nd philosophical theorizing, logical formalization, computationalmodellingand,indeed,computationalapplicationstogether with work that approaches context from a more cognitive orientation. While we don't believe that this volume can capture the lively ?avor of discussion of the conference itself, we do hope that researchers interested in context (in any of its many manifestations) will ?nd something of interest here, perhaps something that will inspire new lines of work. We are very grateful to our invited speakers: Patrick Br´ ezillon (University of Paris VI, France), Keith Devlin (CSLI, Stanford), and David Leake (Indiana University, USA) for presenting three important contemporary perspectives on the study on context.

Inhalt
Full Papers.- Presupposition Incorporation in Adverbial Quantification.- A Theory of Contextual Propositions for Indicatives.- Context-Sensitive Weights for a Neural Network.- A Common Sense Theory of Causation.- How to Refer: Objective Context vs. Intentional Context.- A SAT-Based Algorithm for Context Matching.- On the Difference between Bridge Rules and Lifting Axioms.- Context Dynamic and Explanation in Contextual Graphs.- A Deduction Theorem for Normal Modal Propositional Logic.- Natural Deduction and Context as (Constructive) Modality.- Communicative Contributions and Communicative Genres: Language Production and Language Understanding in Context.- Explanation as Contextual Categorization.- Effects of Context on the Description of Olfactory Properties.- Varieties of Contexts.- Ubi-UCAM: A Unified Context-Aware Application Model.- Contextual Effects on Word Order: Information Structure and Information Theory.- A Generic Framework for Context-Based Distributed Authorizations.- Unpacking Meaning from Words: A Context-Centered Approach to Computational Lexicon Design.- A Contextual Approach to the Logic of Fiction.- Predictive Visual Context in Object Detection.- Copular Questions and the Common Ground.- Contextual Coherence in Natural Language Processing.- Local Relational Model: A Logical Formalization of Database Coordination.- What to Say on What Is Said.- Modelling but in Task-Oriented Dialogue.- Dynamic Contextual Intensional Logic: Logical Foundations and an Application.- Comparatively True Types: A Set-Free Ontological Model of Interpretation and Evaluation Contexts.- Discourse Context and Indexicality.- A Mathematical Model for Context and Word-Meaning.- Demonstratives, Reference, and Perception.- Perceiving Action from Static Images: The Role ofSpatial Context.- Short Papers.- How to Define the Communication Situation: Determining Context Cues in Mobile Telephony.- How to Use Enriched Browsing Context to Personalize Web Site Access.- Modular Partial Models: A Formalism for Context Representation.- Contextual Modeling Using Context-Dependent Feedforward Neural Nets.- Context-Based Commonsense Reasoning in the DALI Logic Programming Language.- An Ontology for Mobile Device Sensor-Based Context Awareness.- The Use of Contextual Information in a Proactivity Model for Conversational Agents.- GloBuddy, a Dynamic Broad Context Phrase Book.- Exploiting Dynamicity for the Definition and Parsing of Context Sensitive Grammars.- Co-text Loss in Textual Chat Tools.- Context Proceduralization in Decision Making.- GRAVA: An Architecture Supporting Automatic Context Transitions and Its Application to Robust Computer Vision.- Speaking One's Mind.- Connecting Route Segments Given in Route Descriptions.