June 7, 2015
June 22, 2015
September 22, 2015
KI 2015 has the following associated workshops:
The concept of role modeling has been investigated in different research fields in order to model context-related information, including - above all - the dynamic change of contexts. However, often roles have only been used in an isolated way for context modeling in programming languages, in database modeling or to specify access control mechanisms. Never have they been used consistently over all levels of abstraction in the software development process, i.e. over the modeling of concepts, languages, applications, and software systems. Only then, software can be called consistently context-sensitive. It remains an important research goal to deliver a proof of the capability of consistent role modeling and its practical applicability. Consistency means that roles are used systematically for context modeling on all levels of the modeling process. This includes the concept modeling (in meta-languages), the language modeling, and the modeling on the application and software system level.
Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for non-classical reasoning approaches. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. Generally, people employ both inductive and deductive reasoning to arrive at beliefs; but the same argument that is inductively strong or powerful may be deductively invalid. Therefore, a wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. Its many facets like qualitative vs. quantitative reasoning, argumentation and negotiation in multi-agent systems, causal reasoning for action and planning, as well as nonmonotonicity and belief revision, among many others, have become very active fields of research. Beyond computational aspects, these methods aim to reflect the rich variety of human reasoning in uncertain and dynamic environments.
Stream processing as an information processing paradigm appears in various applications and has been investigated by various research communities within computer science. Next to algorithmic oriented research on low-level stream processing (e.g., for sensor networks), stream-related research of recent years resulted also in declarative stream processing frameworks, which are in the focus of this workshop. Declarative stream processing frameworks such as data stream management systems or systems for complex event processing (CEP) provide amongst other things stream query languages with a clear-cut semantics. The progress of technologies and computer science as a whole has brought up new challenges for stream processing that call for the modeling of knowledge and the construction of query engines which account for the knowledge. In ontology-based streams access (OBSA) as needed, e.g., in Semantic Web, queries are answered over data streams that contain declarative assertions with symbols from an ontology. Query answering now has to incorporate reasoning over the ontology in order to guarantee completeness of the set of answers. Also context-aware reasoning for streams or CEP have to incorporate some form of reasoning in order to deal with the consequences that the context/entity models have for the set of query answers. The aim of this workshop is to foster research on high-level declarative stream processing in research areas such as OBSA, CEP, and context-aware stream processing, paying attention to the common ideas, concepts, methods.
The aim of this interdisciplinary workshop is to bring together recent work addressing questions related to open issues in neural-cognitive integration, i.e., research trying to bridge the gap(s) between different levels of description, explanation, representation, and computation in symbolic and sub-symbolic paradigms, and which sheds light onto canonical solutions or principled approaches occurring in the context of neural-cognitive integration. In order to allow for a maximally integrative approach and an open discussion this workshop encourages researchers not only to present research papers but also position papers, and to address controversial problems, questions, or perspectives.
The PuK workshop is the regular meeting of the special interest group on planning, scheduling, design and configuration within the AI section of the GI. As in previous years the PuK workshop brings together researchers and practitioners of the areas of planning, scheduling, design and configuration. It provides a forum for the exchange of ideas, evaluations and experiences especially in the use of AI techniques within these application and research areas.
The recent past has brought an increasing use of integrated online services for information discovery, the publication of personal information and an extensive exchange of opinions. Companies and institutions have greatly enhance their means to collect information about individuals at the same time, and their deployment and utilization is ever more sophisticated and widespread. A parallel trend exhibits the move towards cloud computing, the outsourcing of both data and processing to external providers. These trends have a tremendous impact on the privacy, and terminally the liberty of individuals users and institutions, a fact that has even reached the legislative bodies that struggle to find regulations to protect data while avoiding exceedingly inhibiting consequences for the commercial affairs. The scientific advance, however, is currently limited to highly specialised cryptographic primitives that lack general applicability, some attempts to quantify privacy, and intermediate solutions of outsourcing the trust to potentially independent hardware vendors (cf. Intel SGX). The PrInf workshop in consequence aims at uniting scientists that are currently interested in, and working on solutions to better protect the privacy of both the individuals with the desire to share information online, as well as institutions that actively outsource data and computation to cloud providers. It will hence encompass research advances in all areas of private inference and countermeasures to unwanted inference on personal information. Both large-scale governmental surveillance and extensive profiling of individuals over several integrated services has recently been enjoying large general interest. There also have been several, rather individual attempts at addressing these issues, but unfortunately no joint effort covering the complete range from logics, over machine learning and data mining, to privacy and cryptography. We aim to offer an inter-disciplinary forum, attracting both interest and participation of the general audience at KI.
Qualitative spatial and temporal reasoning is a subfield of AI that is committed to the study of relational knowledge representation languages. Such languages are used for reasoning about semantically meaningful properties of the represented domain (contact of regions, temporal order, etc.). Allen's interval algebra and the RCC calculi are the most prominent approaches, but many more have been developed. Spatial and temporal domains are typically infinite and exhibit complex structures. Due to their richness and diversity, qualitative spatial and temporal reasoning is confronted with some unique challenges. In particular, analysing the computational complexity of such problems and developing efficient algorithms have proven to be highly challenging tasks. This workshop aims to provide a forum for researchers from different fields (including Automated Theorem Proving, Constraint Solving, Logic, Mathematics, Theoretical Computer Science, Qualitative Reasoning) to discuss open problems, methodology, and recent advancements in the field.
The Workshops on (Constraint) Logic Programming are the annual meeting of the German Society of Logic Programming Gesellschaft für Logische Programmierung e.V. (GLP) and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems. The workshops brings together researchers interested in logic programming, constraint programming, knowledge representation, nonmonotonic reasoning, answer set programming, and related areas like databases and artificial intelligence (not only from Germany).
May 22, 2015
June 22, 2015
Final version due
July 11, 2015
Early Bird Registration
July 29, 2015
September 21 - 25, 2015
June 7, 2015
June 22, 2015
September 22, 2015