8 citations · 10 across the 3 of their papers we have counts for
6 papers · 1 filter
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…
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…
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…