23 citations · 38 across the 7 of their papers we have counts for
8 papers
Weighted Abstract Dialectical Frameworks: Extended and Revised Report
Gerhard Brewka, Jörg Pührer, Hannes Strass +2
Abstract Dialectical Frameworks (ADFs) generalize Dung's argumentation frameworks allowing various relationships among arguments to be expressed in a systematic way. We further gen…
Stepwise Debugging of Answer-Set Programs
Johannes Oetsch, Jörg Pührer, Hans Tompits
We introduce a stepping methodology for answer-set programming (ASP) that allows for debugging answer-set programs and is based on the stepwise application of rules. Similar to deb…
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…
Characterizing Realizability in Abstract Argumentation
Thomas Linsbichler, Jörg Pührer, Hannes Strass
Realizability for knowledge representation formalisms studies the following question: given a semantics and a set of interpretations, is there a knowledge base whose semantics coin…
Towards a Simulation-Based Programming Paradigm for AI applications
Jörg Pührer
We present initial ideas for a programming paradigm based on simulation that is targeted towards applications of artificial intelligence (AI). The approach aims at integrating tech…