Log-IC 2009 - First International Workshop on Logic-Based Interpretation of Context: Modelling and Applications Log-IC 2009

Log-IC 2009
First International Workshop on Logic-Based Interpretation of Context: Modelling and Applications

In conjunction with LPNMR 2009
Potsdam, Berlin
14-19 September 2009
---------------------------------------------------------------------------------------------------------------------------------------------------------

Context interpretation and context-based reasoning are key factors in
the development of intelligent autonomous systems in a variety of
applications. The ability to represent contextual factors, interpret
them
and combine them with other sources of knowledge are some of the
challenges to enable intelligent systems achieve correct behavior.
Much work has been done in application areas that make use of
contextual information, such as pervasive computing, logic-based
sensor fusion and data integration. As well, the theoretical
foundations for context-based reasoning have been studied.

However, there is still a great deal to do in context modeling, since
generic context models for context-aware application development need
to be further explored, as does the role of context reasoning with
more recently emerging areas such as ontologies, including the
semantic web, and approaches to belief change.
While implemented context-representation models are generally
domain-dependent and do not support powerful inference, declarative
logic-based models fail to provide a representation of context-dependent
data that is both general and with good computational properties.

Context-dependent data can arise from different sources; for example
it may
be gathered by sensors or collected from different knowledge- or
databases.
The incompleteness and heterogenous nature of such data and the need
for state-based context interpretation in dynamic systems suggest that
nonmonotonic reasoning techniques can be a powerful tool for effective
context-dependent reasoning. Given the increasing interest in hybrid
knowledge representation formalisms as basis of the Semantic Web, we
also
invite proposals that assume hybrid formalisms combining Description
Logics
and Logic Programming as the basic representation framework for
reasoning
with (distributed) contexts.


---------------------------
Objectives
---------------------------

This workshop will provide a forum for researchers investigating
context-aware applications and context-based reasoning with the goal
of sharing and comparing their views on the efficacy of different
context representation and context interpretation frameworks.
Log-IC 2009 will also propose targeted discussions on the topic.
Holding the workshop in conjunction with LPNMR has the additional
advantage of reaching out to the logic programming community,
facilitating collaboration between different formalisms for context-
based reasoning and enhancing nonmonotonicity combined or compared
with other approaches to context interpretation.

---------------------------
Topics
---------------------------

Topics of interests include (but are not limited to):

- Surveys of frameworks for context representation
- Relating logic-based context models to other representation frameworks
- Formal aspects of context representation and interpretation
- Paraconsistent reasoning and context interpretation
- Dealing with uncertainty in context modelling
- Logic-supported sensor fusion
- Belief revision and context-awareness
- Argumentation in context-dependent decision support
- Ontologies and nonmonotonig reasoning in context representation
- Hybrid formalisms for reasoning within (distributed) contexts
- Nonmonotonicity and context evolution
- Data integration for context-awareness
- Applications: Independent-Living Systems, Activity Monitoring, Smart
Environments, Context-Based Interaction

---------------------------
Submissions
---------------------------

Submitted papers will be peer-reviewed and must be formatted according
to the Springer LNCS/LNAI format. Regular papers (included application
papers) should not exceed 8 pages overall. The limit for short papers
and system descriptions is 4 pages in the same format.

To submit a paper, send the PDF version of the paper to both Program
Chairs. Proceedings will be published online after the workshop.

---------------------------
Important dates
---------------------------

Paper submissions: 8th June 2009
Notification of Acceptance: 24th July 2009
Workshop: 14-18 September 2009 (exact date to be determined)

----------------------------------
Workshop Officials
----------------------------------

Organization Committee:

James P. Delgrande
School of computing Science
Simon Fraser University
Burnaby, Canada

Alessandra Mileo
Dept. of Informatics, Systems and Communication
University of Milan-Bicocca
Milano, Italy

Davide Merico
Dept. of Informatics, Systems and Communication
University of Milan-Bicocca
Milano, Italy

Alessandra Latini
Dept. of Informatics, Systems and Communication
University of Milan-Bicocca
Milano, Italy


Program Chairs:

Alessandra Mileo, University of Milan-Bicocca, Italy, email: alessandra.mileo-AT-disco.unimib.it
James P. Delgrande, Simon Fraser University, Canada, email: jim-AT-cs.sfu.ca


Program Committee:

- Marcello Balduccini, Kodak Research Labs, Rochester, NY, USA
- Stefania Bandini, University of Milan-Bicocca, Italy
- Leopoldo Bertossi, Carleton University, Canada
- Roberto Bisiani, University of Milano-Bicocca, Italy
- Gerhard Brewka, University of Leipzig, Germany
- Pedro Cabalar Fernandez, Corunna University, Galicia, Spain
- Amedeo Cesta, ISTC-CNR, Rome, Italy
- Marina de Vos, University of Bath, UK
- James P. Delgrande, SFU, Canada
- Wolfgang Faber, Department of Mathematics, University of Calabria
- Stijn Heymans, Vienna University of Technology, Austria
- Jorge Lobo, IBM T. J. Watson Research Center, Hawthorne, NY, USA
- Robert Mercer, University of Western Ontario, Canada
- Tommie Meyer, Meraka Institute, Pretoria, South Africa
- Alessandra Mileo, University of Milan-Bicocca, Italy
- Pascal Nicolas, University of Angers, France
- Axel Polleres, University of Galway, Ireland
- Torsten Schaub, University of Potsdam, Germany
- Hans Tompits, Vienna University of Technology, Austria
- Kewen Wang, Griffith University, Brisbane, Australia
- Nic Wilson, University College, Cork, Ireland
- Stefan Woltran, Vienna University of Technology, Austria


Further information about the workshop will soon be available online.
Please check http://www.cs.uni-potsdam.de/lpnmr09/ or http://www.nomadis.unimib.it/
for news.