Search Results for author:
Found 6 papers, 1 papers with code
Nemo: First Glimpse of a New Rule Engine
This system demonstration presents Nemo, a new logic programming engine with a focus on reliability and performance.
Stream Packing for Asynchronous Multi-Context Systems using ASP
When a processing unit relies on data from external streams, we may face the problem that the stream data needs to be rearranged in a way that allows the unit to perform its task(s).
Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments
Managed multi-context systems (mMCSs) allow for the integration of heterogeneous knowledge sources in a modular and very general way.
Asynchronous Multi-Context Systems
In this work, we present asynchronous multi-context systems (aMCSs), which provide a framework for loosely coupling different knowledge representation formalisms that allows for online reasoning in a dynamic environment.
Multi-Context Systems for Reactive Reasoning in Dynamic Environments
We show in this paper how managed multi-context systems (mMCSs) can be turned into a reactive formalism suitable for continuous reasoning in dynamic environments.
The DIAMOND System for Argumentation: Preliminary Report
Abstract dialectical frameworks (ADFs) are a powerful generalisation of Dung's abstract argumentation frameworks.
