Johannes Oetsch

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
Adaptive large-neighbourhood search for optimisation in answer-set programming Artificial Intelligence	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 Theory and Practice of Logic Programming	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 Logic for Programming, Artificial Intelligence, and Reasoning	2016-01-12	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
Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence 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
Program Correspondence under the Answer-Set Semantics: The Non-ground Case Logic Programming	2009-01-22	Paper

Research outcomes over time

This page was built for person: Johannes Oetsch