Jörg Pührer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Multi-valued GRAPPA	2020-02-18	Paper
Realizability of three-valued semantics for abstract dialectical frameworks Artificial Intelligence	2020-01-20	Paper
Model-based recasting in answer-set programming Journal of Applied Non-Classical Logics	2018-08-28	Paper
scientific article; zbMATH DE number 6902516 (Why is no real title available?) (available as arXiv preprint)	2018-07-12	Paper
Reactive multi-context systems: heterogeneous reasoning in dynamic environments Artificial Intelligence	2018-05-11	Paper
Stepwise debugging of answer-set programs Theory and Practice of Logic Programming	2018-02-20	Paper
scientific article; zbMATH DE number 6747883 (Why is no real title available?)	2017-07-18	Paper
scientific article; zbMATH DE number 6747883 (Why is no real title available?) (available as arXiv preprint)	2017-07-18	Paper
Inconsistency Management in Reactive Multi-context Systems Logics in Artificial Intelligence	2016-11-30	Paper
Asynchronous multi-context systems Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation	2015-02-04	Paper
scientific article; zbMATH DE number 6261542 (Why is no real title available?)	2014-02-25	Paper
Annotating answer-set programs in LANA Theory and Practice of Logic Programming	2013-03-13	Paper
Stepwise debugging of description-logic programs Correct Reasoning	2012-07-23	Paper
Methods and methodologies for developing answer-set programs -- project description	2012-05-11	Paper
Stepping through an answer-set program Logic Programming and Nonmonotonic Reasoning	2011-05-26	Paper
On testing answer-set programs	2011-05-11	Paper
Catching the Ouroboros: on debugging non-ground answer-set programs Theory and Practice of Logic Programming	2010-08-19	Paper
The system Kato: Detecting cases of plagiarism for answer-set programs Theory and Practice of Logic Programming	2010-08-19	Paper
Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection Logic Programming and Nonmonotonic Reasoning	2009-11-10	Paper
Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence Logic Programming	2009-01-22	Paper
Debugging ASP Programs by Means of ASP Logic Programming and Nonmonotonic Reasoning	2007-11-13	Paper

Research outcomes over time

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