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