Jörg Pührer

Available identifiers

Publication	Date of Publication	Type
Multi-valued GRAPPA	2020-02-18	Paper
Realizability of three-valued semantics for abstract dialectical frameworks	2020-01-20	Paper
Model-based recasting in answer-set programming	2018-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q4576179	2018-07-12	Paper
Reactive multi-context systems: heterogeneous reasoning in dynamic environments	2018-05-11	Paper
Stepwise debugging of answer-set programs	2018-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q5282969	2017-07-18	Paper
Inconsistency Management in Reactive Multi-context Systems	2016-11-30	Paper
Asynchronous Multi-Context Systems	2015-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q5398061	2014-02-25	Paper
Annotating answer-set programs in <scp>Lana</scp>	2013-03-13	Paper
Stepwise Debugging of Description-Logic Programs	2012-07-23	Paper
Methods and methodologies for developing answer-set programs -- project description	2012-05-11	Paper
Stepping through an Answer-Set Program	2011-05-26	Paper
On Testing Answer-Set Programs	2011-05-11	Paper
Catching the Ouroboros: On debugging non-ground answer-set programs	2010-08-19	Paper
The system Kato: Detecting cases of plagiarism for answer-set programs	2010-08-19	Paper
Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection	2009-11-10	Paper
Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence	2009-01-22	Paper
Debugging ASP Programs by Means of ASP	2007-11-13	Paper

This page was built for person: Jörg Pührer