log-ic2011
                        

2nd International Workshop on Logic-based Interpretation of Context: Modeling and Applications

Co-located with the International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR 2011

 May 16, 2011

Vancouver, Canada

(New!) Pogram available here


Overview


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, distributed problem solving and societal issues in Multi-Agent Systems. As well, 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 in particular regarding distributed evaluation and in conjunction with more recently emerging areas such as ontologies, including semantic web data, social features and reasoning about mental states, as well as approaches to belief change. While implemented context-representation models are generally ad-hoc, domain-dependent and do not support powerful inference, declarative logic-based models often 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 sources in different formats. The incompleteness and heterogeneous nature of such data and the need for state-based context interpretation in dynamic systems suggest that non-monotonic reasoning techniques could be a powerful tool for effective context-dependent reasoning. Since in many applications the data stems from distributed sources, we encourage submissions addressing distributed reasoning mechanisms. Likewise, declarative approaches to societal reasoning or agent coordination may provide the backbone for contextual reasoning in various application domains. Given the increasing interest in hybrid knowledge representation formalisms as basis of the Semantic Web, we also invite submissions where hybrid formalisms combining Description Logics and Logic Programming as the basic representation framework for reasoning with (distributed) co! ntexts are proposed.
This workshop will provide a forum for researchers investigating context-aware applications and context-based or distributed reasoning with the goal of sharing and comparing their views on the efficacy of different context representation and context interpretation frameworks. Log-IC 2011 will also propose targeted discussions on the topic.

The previous workshop Log-IC 2009 was held in Potsdam, Germany and co-located with the International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)

Topics


We solicit contributions focusing on both theoretical characterization of contexts as well as system descriptions and applications. Topics of interests include (but are not limited to):

  • Surveys of frameworks for context representation and reasoning
  • Relating logic-based context models to other representation frameworks
  • Formal aspects of context representation and interpretation
  • Distributed reasoning formalisms and algorithms
  • Paraconsistent reasoning and context interpretation
  • Dealing with uncertainty in context modeling
  • Logic-supported sensor fusion
  • Belief revision and context-awareness
  • Argumentation in context-dependent decision support
  • Social features of contextual reasoning
  • Ontologies and nonmonotonic reasoning in context representation
  • Hybrid formalisms for reasoning within contexts or including sub-symbolic contexts
  • Contextual aspects in agent coordination
  • Nonmonotonicity and context evolution
  • Data integration for context-awareness
  • Applications, including (but not limited to) Activity Recognition, Diagnosis, Query Answering, Early Warning, in various application domains, such as Health Care, Assisted Living, Robotics, etc.

Submission Information


Submitted papers will be peer-reviewed and must be formatted according to the Springer LNCS format.
We invite three forms of submission to this workshop: regular (full) papers, short papers and position papers.

Regular papers include application papers and should not exceed 12 pages overall. The limit for short papers and system descriptions is 6 pages in the same format. We also encourage position papers on early-stage research (for poster or short presentations) of at most 3 pages.
Paper submission (in PDF) should be done by the EasyChair conference system: to submit a paper, visit the EasyChair website.
Proceedings will be published online after the workshop; publication as CEUR workshop proceedings on CEUR-WS.org is intended.

Important Dates

  • 18 March 2011 EXTENDED!!! 2 April 2011, Submission of papers
  • 20 April 2011, Notification of acceptance
  • 2 May 2011, Camera-ready versions due
  • 16 May 2011, Workshop


Organization


The workshop will be organized in part around talks presenting research results and prototyped systems from the accepted submissions. Another important part of the workshop will be to identify next steps and provide an opportunity for new ideas and initiatives in a panel session where challenges and directions in context representation and reasoning will be presented and discussed.

Organizing Committee

  • Alessandra Mileo, Digital Enterprise Research Institute, National University of Ireland, Galway, Ireland
  • Michael Fink, Institute of Information Systems, TU Wien, Vienna, Austria

Program Committee

    • Alessandra Mileo, DERI, Galway, Ireland, Program Chair
    • Michael Fink, Vienna University of Technology, Austria, Program Chair
    • Sebastian Bader, University of Rostock, Germany
    • Marcello Balduccini, Kodak Research Labs, Rochester, NY, USA
    • Chitta Baral, Arizona State University, Tempe, AZ, USA
    • 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
    • Marina de Vos, University of Bath, UK
    • James P. Delgrande, SFU, Canada
    • Wolfgang Faber, University of Calabria, Rende (CS), Italy
    • Stijn Heymans, SemanticBits LLC, Herndon, VA, USA
    • Joao Leite, Universidade Nova de Lisboa, Portugal
    • Jorge Lobo, IBM T. J. Watson Research Center, Hawthorne, NY, USA
    • Bernd Ludwig, University of Erlangen-Nuremberg, Germany
    • Wendy MacCaull, St. Francis Xavier University, Antigonish, Canada
    • Robert Mercer, University of Western Ontario, Canada
    • Tommie Meyer, Meraka Institute, Pretoria, South Africa
    • Axel Polleres, University of Galway, Ireland
    • Enrico Pontelli, New Mexico State University, Las Cruzes, NM, USA
    • Marie-Christine Rousset, University of Grenoble, France
    • Chiaki Sakama, Wakayama University, Japan
    • Torsten Schaub, University of Potsdam, Germany
    • Tran Cao Son, New Mexico State University, Las Cruzes, NM, USA
    • Hans Tompits, Vienna University of Technology, Austria
    • Paolo Torroni, University of Bologna, Italy
    • Kewen Wang, Griffith University, Brisbane, Australia
    • Nic Wilson, University College, Cork, Ireland
    • Stefan Woltran, Vienna University of Technology, Austria






Fakulty of Informatics TU Wien                      Digital Enterprise Research Institute NUIG