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.

Alessandra Mileo

James P. Delgrande

Table of Contents

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