23 citations · 43 across the 6 of their papers we have counts for
7 papers
Nemo: First Glimpse of a New Rule Engine
Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach +4
This system demonstration presents Nemo, a new logic programming engine with a focus on reliability and performance. Nemo is built for data-centric analytic computations, modelled…
Answering Queries with Negation over Existential Rules
Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
Ontology-based query answering with existential rules is well understood and implemented for positive queries, in particular conjunctive queries. The situation changes drastically…
Stream Packing for Asynchronous Multi-Context Systems using ASP
Stefan Ellmauthaler, Jörg Pührer
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
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves +3
Managed multi-context systems (mMCSs) allow for the integration of heterogeneous knowledge sources in a modular and very general way. They were, however, mainly designed for static…
Asynchronous Multi-Context Systems
Stefan Ellmauthaler, Jörg Pührer
In this work, we present asynchronous multi-context systems (aMCSs), which provide a framework for loosely coupling different knowledge representation formalisms that allows for on…
Multi-Context Systems for Reactive Reasoning in Dynamic Environments
Gerhard Brewka, Stefan Ellmauthaler, Jörg Pührer
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. We extend mMCSs w…
The DIAMOND System for Argumentation: Preliminary Report
Stefan Ellmauthaler, Hannes Strass
Abstract dialectical frameworks (ADFs) are a powerful generalisation of Dung's abstract argumentation frameworks. In this paper we present an answer set programming based software…