Johannes Oetsch

Available identifiers

zbMath Open oetsch.johannesMaRDI QIDQ2296764

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Johannes Oetsch