research
∙
06/20/2018
Weighted Abstract Dialectical Frameworks: Extended and Revised Report
Abstract Dialectical Frameworks (ADFs) generalize Dung's argumentation f...
share
research
∙
05/18/2017
Stepwise Debugging of Answer-Set Programs
We introduce a stepping methodology for answer-set programming (ASP) tha...
research
∙
11/17/2016
Stream Packing for Asynchronous Multi-Context Systems using ASP
When a processing unit relies on data from external streams, we may face...
research
∙
09/12/2016
Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments
Managed multi-context systems (mMCSs) allow for the integration of heter...
research
∙
03/31/2016
Characterizing Realizability in Abstract Argumentation
Realizability for knowledge representation formalisms studies the follow...
research
∙
05/20/2015
Towards a Simulation-Based Programming Paradigm for AI applications
We present initial ideas for a programming paradigm based on simulation ...
research
∙
05/20/2015
Asynchronous Multi-Context Systems
In this work, we present asynchronous multi-context systems (aMCSs), whi...
research
∙
05/20/2015
Multi-Context Systems for Reactive Reasoning in Dynamic Environments
We show in this paper how managed multi-context systems (mMCSs) can be t...
research
∙
10/08/2012
Annotating Answer-Set Programs in LANA?
While past research in answer-set programming (ASP) mainly focused on th...
research
∙
12/05/2011
Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming
Many applications require complexly structured data objects. Developing ...
research
∙
09/19/2011
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
In answer-set programming (ASP), the solutions of a problem are encoded ...
research
∙
09/19/2011
