International Workshop on Reactive Concepts in Knowledge Representation 2014
(ReactKnow)

Scope and Aim

Topics

• Formalisms and Semantic Foundations
  • Stream based and reactive extensions of established formalisms (SPARQL, ASP, Description Logics, Databases, ...),
  • Heterogenous Reactive Reasoning
  • Forgetting
  • Parallelism in Reactive Reasoning
  • Advances in Reasoning about Action
  • Hybrid Reactive Systems
  • Quantitative Methods for Reactive Reasoning
  • Formal Aspects of Handling Sensor Data
  • Reactive Multi-Agent Systems
  • Nonmonotonicity in Reactive Systems
  • Reactive Reasoning over Big Data
  • Time-based logics
  • Reactive Multi-Context Systems
  • Online Commonsense Reasoning
  • Reactive Cloud Computing
  • Complexity Aspects
• Modelling and Systems:
  • Software Engineering and Modelling for Reactive Formalisms
  • Reactive Concepts in the Semantic Web
  • Implementations
  • Visualisations
• Applications:
  • Applications in AI (Agents, Robotics, Dynamic Scheduling, ...)
  • Ambient Intelligence
  • Web 3.0
  • Bioinformatics
  • Industrial Applications

News

Dates

• Paper submission deadline: May 25, 2014 May 30, 2014 EXTENDED!
• Notification of acceptance: June 23, 2014
• Camera-ready papers due: July 18, 2014
• Workshop date: August 19, 2014

Call for Papers

Submission Info

Programme

Invited Talk: "On Reactive Concepts for Multi-Context Systems and HEX-Programs"

Michael Fink, Vienna University of Technology (TU Vienna)

In this talk we will first briefly review the Multi-Context Systems (MCS) framework as proposed by Brewka and Eiter. It provides a declarative, rule-based approach to model the flow of information among different reasoning components, called contexts, by means of so-called bridge rules. More specifically, we will then consider a generalization of MCS called managed MCS (mMCS). While bridge rules were originally designed to add information to a context on the basis of beliefs held at other contexts, in an mMCS bridge rules can model arbitrary operations on a context knowledge base. Our motivation to review mMCS stems form the fact that this enhanced capability has recently triggered follow-up research that takes mMCS as the basis for modeling dynamic and reactive reasoning systems. In the second part of the talk we will turn to implementation aspects and sketch how the semantics (i.e., equilibria) can be computed for a class of mMCS (admitting centralized control) using HEX-programs. The letter essentially extend logic programs under the answer-set semantics with external atoms for incorporating external sources of information and computation. However, HEX-programs per se turn out to be inapt as a programming paradigm for modeling stateful computation with declarative control, as, e.g., required to implement dynamic, reactive extensions. For this purpose, and as a promising programming language for prototyping dynamic and reactive reasoning systems, we propose ACTHEX-programs that allow for action atoms in the head of rules which can actually effect changes to an external environment.

Michael Fink is a senior PostDoc researcher at the Institute of Information Systems at the Vienna University of Technology (TU Wien). He received his Masters and PhD degree in computer science from TU Wien in 2000 and 2002, respectively. Past and present research and teaching activities center on knowledge representation and reasoning (KRR) based on computational logic and logic programming, particularly related to paraconsistent reasoning, information integration, declarative planning, and intelligent software agents. In these areas he has contributed to several national and international projects. He has been the principal investigator of a WWTF project on inconsistency management in Multi-Context Systems and currently is co-leading an FWF project on distributed heterogeneous stream reasoning. Michael Fink has published more than 80 articles in books, journals, conference and workshop proceedings, and recently received the ICLP 2013 Test of Time award. He served on the program committee of renowned international conferences in artificial intelligence and logic programming, such as AAAI, IJCAI, ECAI, KR, LPNMR and JELIA; and has co-organized KR 2014 as well as several international workshops in the areas of KRR and logic programming.

Committee

PC

• Gerhard Brewka (Leipzig University)
• Michael Fink (TU Vienna)
• Robert Kowalski (Imperial College London)
• João Leite (Universidade Nova de Lisboa)
• Alessandra Mileo (DERI)
• Phillip Obermeier (Potsdam University)
• Axel Polleres (WU Vienna)
• Sebastian Rudolph (TU Dresden)
• Torsten Schaub (Potsdam University)
• Tran Cao Son (NMSU)

Organisers

• Stefan Ellmauthaler, Leipzig University, Germany
• Jörg Pührer, Leipzig University, Germany

Contact