Johannes Oetsch

Available identifiers

Publication	Date of Publication	Type
Adaptive large-neighbourhood search for optimisation in answer-set programming	2025-01-17	Paper
Contrastive explanations for answer-set programs	2024-05-29	Paper
Stable-ordered models for propositional theories with order operators	2020-02-18	Paper
Stepwise debugging of answer-set programs	2018-02-20	Paper
\(\mathsf {Harvey}\): a system for random testing in ASP	2017-09-05	Paper
Automated Benchmarking of Incremental SAT and QBF Solvers	2016-01-12	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
Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence	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
Program Correspondence under the Answer-Set Semantics: The Non-ground Case	2009-01-22	Paper

This page was built for person: Johannes Oetsch