| Vol-550 Copyright © 2009 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners. This volume is published by its editors.

# Logic-based Interpretation of Context:
Modelling and Applications

### Proceedings of the 1st Workshop on
Logic-based Interpretation of Context: Modelling and Applications
Potsdam, Germany, September 14, 2009.

Edited by

### Alessandra Mileo

Nomadis Lab
Department of Informatics, Systems and Communication
University of Milano-bicocca
viale Sarca 336/14
I-20126 Milan, Italy

### James P. Delgrande

School of Computing Science
Simon Fraser University
8888 University Drive
Burnaby, BC, V5A 1S6, Canada
Log-IC09 was held in conjunction with the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR09).

## Table of Contents

Preface

### Invited Talks

- Nonmonotonic Multi-Context Systems: State of the Art and Future Challenges (download, ~0.3MB)
  Gerhard Brewka
- Reasoning about Context in Ambient Intelligence Environments (download, ~13.6MB)
  Grigoris Antoniou

### Regular Papers

1. From Symbolic to Probabilistic Models
   Sebastian Bader, Christoph Burghardt and Thomas Kirste
2. Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context Systems
   Thomas Eiter, Michael Fink, Peter Schüller and Antonius Weinzierl
3. Relations as Context to Improve Multi-Target Tracking and Activity Recognition
   Cristina Manfredotti, Enza Messina and David Fleet
4. Who, Where, What, and When: Towards Characterizing Contexts in Pervasive Environments
   Alessandra Mileo
5. A Constuctive Modal Semantics for Contextual Verification
   Giuseppe Primiero

Complete Workshop Proceedings (download, ~1.1MB)

10-Dec-2009: submitted by Alessandra Mileo
10-Dec-2009: published on CEUR-WS.org