| Monday June 23, 2003 |
| 9:00-9:15 |
Welcome |
| 9:15-10:15 |
Invited Talk 1: David Leake (Computer Science Department, Indiana University, USA) |
|
Title: Context and Experience |
|
Chair: TBA |
| 10:15-10:45 |
Coffee Break |
| 10:45-12:25 |
Session 1: Natural Language I |
|
Chair: TBA |
|
- Robert Porzel
Contextual Natural Language Processing with Ontological and
Situational Coherence
- Hugo Liu
Unpacking Meaning from Words: A Context-Centered Approach to
Computational Lexicon Design
- Martin Trautwein
Comparatively True Types: a Set-Free Ontological Model of
Interpretation and Evaluation Contexts
- Mark Whitsey
Discourse Context and Indexicality
|
| 12:25-12:50 |
Session 2: Context-aware
Applications I |
|
Chair: TBA |
|
- Ghita Kouadri Mostéfaoui and Patrick Brézillon
A Generic Framework for Context-Based Distributed Authorizations
|
| 12:50-14:15 |
Lunch |
| 14:15:-15:05 |
Session 3: Context and Common Sense Reasoning |
|
Chair: TBA |
|
- Ramanathan Guha and John McCarthy
Varieties of Contexts
- John Bell
A Common Sense Theory of Causation
|
| 15:05:-15:55 |
Session 4: Logic of Context I |
|
Chair: TBA |
|
- Rolf Nossum
A Contextual Approach to the Logic of Fiction
- Luciano Serafini
Local Relational Model: a Logical Formalization of Database Coordination
|
| 16:00-16:30 |
Coffee Break |
| 16:30:-17:45 |
Session 5: Context and Cognitive Modeling |
|
Chair: TBA |
|
- Leslie Ganet, Patrick Brezilllon and Charles Tijus
Explanation as Contextual Categorization
- Agnes Giboreau, Isabel Urdapilleta and Jean Francois Richard
Effects of Context on the Description of Olfactory Properties
- Elisabetta Zibetti and Charles Tijus
Perceiving Action from Static Images: the Role of Spatial Context
|
| 18:00 |
Informational and historical walking tour of the
Stanford Campus and Palo Alto downtown.
Refreshment in a nice pub garden. |
| Tuesday June 24, 2003 |
| 9:30-10:30 |
Invited Talk 2: Keith Devlin (CSLI, Stanford University, USA) |
|
Title: A framework for
modeling evidence-based, context-influenced reasoning |
|
Chair: TBA |
| 10:30-11:00 |
Coffee Break |
| 11:00-12:15 |
Session 6: Philosophical Foundations |
|
Chair: TBA |
|
- Roger Young
Demonstratives, Reference and Perception
- Horacio Arlo-Costa
A Theory of Contextual Propositions for Indicatives
- Isidora Stojanovic
What to Say on What Is Said
|
| 12:40-14:15 |
Lunch |
| 14:15:-15:55 |
Session 7: Logic of Context II |
|
Chair: TBA |
|
- Richmond Thomason
Dynamic Contextual Intensional Logic: Logical Foundations and an Application
- Sasa Buvac
A Deduction Theorem for Modal Propositional Logic
- Paolo Bouquet and Luciano Serafini
On the Difference Between Bridge Rules and Lifting Axioms
- Valeria de Paiva
Natural Deduction and Context as (Constructive) Modality
|
| 16:00-16:30 |
Coffee Break |
| 16:30:-18:30 |
Poster Session |
| 19:00 |
Barbecue Dinner (Included in the registration fees). |
| Wednesday June 25, 2003 |
| 9:30-10:30 |
Invited Talk 3: Patrick Brezillon (LIP 6, University Paris 6, France) |
|
Title: Context Dynamic and Explanation in Contextual Graphs |
|
Chair: TBA |
| 10:30-11:00 |
Coffee Break |
| 11:00-12:40 |
Session 8: Context-aware
Applications II |
|
Chair: TBA |
|
- Robert P. Arritt and Roy M. Turner
Context-Sensitive Weights for a Neural Network
- Lucas Paletta
Predictive Visual Context in Object Detection
- Seiie Jang and Woontack Woo
ubi-UCAM: A Unified Context-Aware Application Model
- Paolo Bouquet, Bernardo Magnini, Luciano Serafini and Stefano Zanobini
A SAT-based Algorithm for Context Matching
|
| 12:40-14:15 |
Lunch |
| 14:15:-15:25 |
Session 9: Natural Language II |
|
Chair: TBA |
|
- David Ahn
Presupposition Accommodation in Adverbial Quantification
- Nobo Komagata
Contextual Effects on Word Order: Information Structure and
Information Theory
- Dominic Widdows
A Mathematical Model for Context and Word-Meaning
|
| 15:30-15:45 |
Closing Remarks |