ReactKnow 2014 - International Workshop on Reactive Concepts in Knowledge Representation

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
Topics of Interest include (but are not limited to):
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