International Workshop on Reactive Concepts in Knowledge Representation 2014

news accepted papers dates call for papers proceedings programme committee contact

ReactKnow 2014 is a Workshop of ECAI 2014 and was held in August 2014 in Prague.

Scope and Aim

In the field of Artificial Intelligence (AI), the subdomain of Knowledge Representation (KR) has the aim to represent, integrate, and exchange knowledge in order to provide reasoning about given and potentially incomplete information. While most traditional KR formalisms are concerned with knowledge bases that do not change over time or are only subject to occasional revisions, the advent of smart devices and recent advances in Internet technology - guided by the visions of a Semantic Web and the Internet of Things - has increased the interest in online applications that are able to directly react on a possibly infinite stream of external information such as sensor or network data. While current approaches for handling continuous stream data focus on rapid data processing, they lack complex reasoning capacities. Recent endeavours try to combine KR formalisms such as answer-set programming, Semantic Web ontologies, and multi-context systems with stream processing for providing knowledge-intense stream reasoning capabilities to various application areas such as urban computing, ambient assisted living, robotics, or dynamic scheduling. The goal of making sophisticated KR techniques accessible in the reactive setting poses many scientific challenges how to deal with emerging as well as expiring data in a seamless way. The International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow) aims to provide an international forum for researchers in the AI and KR community to discuss and present advances in theories, formalisms, and applications to get closer to the vision of an artificial intelligence system which may react according to changing knowledge.


Topics of Interest include (but are not limited to):
back to top


2014/08/28 Pictures taken during the event are available
2014/08/13 Our (informal) Proceedings are available
2014/07/28 The programme is available
2014/06/27 Invited speaker: Michael Fink (TU Vienna)
2014/06/24 List of accepted papers is online
2014/05/23 Workshop deadline EXTENDED
2014/02/28 Call for Papers is online
2014/02/27 Workshop Posters [color|b/w] are available
2014/02/13 Workshop Website is online
back to top


back to top

Call for Papers

Download the Call for Papers here.
back to top

Submission Info

Paper format: Submitted papers must be formatted according to the camera-ready style for ECAI'14 ( using the LaTeX-template and submitted electronically in PDF format through easychair. Authorship is not anonymous. Papers must not exceed six (6) pages excluding references and appendices. Note that reviewers are not obliged to take the appendices into account.
The submission page is available at

Papers already published at other conferences and that can be of interest for the workshop audience are welcomed to ReactKnow 2014, provided that the initial publication is mentioned in a footnote on the first page.
back to top


09:30 - 10:30Session I
Michael FinkInvited Talk: On Reactive Concepts for Multi-Context Systems and HEX-Programs

10:30 - 11:00

Coffee break

11:00 - 12:30

Session II
Matthias ThimmTowards Large-scale Inconsistency Measurement
Gerhard Brewka, Stefan Ellmauthaler, and Jörg PührerMulti-Context Systems for Reactive Reasoning in Dynamic Environments
Harald Beck, Minh Dao-Tran, Thomas Eiter, and Michael FinkTowards Ideal Semantics for Analyzing Stream Reasoning

12:30 - 14:00

Lunch break

14:00 - 15:30

Session III
Ricardo Gonçalves, Matthias Knorr, and Joao LeiteTowards Efficient Evolving Multi-Context Systems (Preliminary Report)
Ricardo Gonçalves, Matthias Knorr, and Joao LeiteOn Minimal Change in Evolving Multi-Context Systems (Preliminary Report)
Stefan Ellmauthaler and Jörg PührerAsynchronous Multi-Context Systems

15:30 - 16:00

Coffee break

16:00 - 17:00

Session IV
Jörg PührerTowards a Simulation-Based Programming Paradigm for AI Applications
Alexander Artikis, Marek Sergot, and Georgios PaliourasReactive Reasoning with the Event Calculus

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.

portrait M. Fink 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.

back to top




back to top


reactknow [at] informatik [dot] uni-leipzig [dot] de
back to top