[CEUR Workshop Proceedings] 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.



Log-IC09 Home

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

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