( en | de | ru )

 

Disambiguation of "Oetsch, Johannes"

Author of the publication

copydeleteadd this publication to your clipboard
Catching the Ouroboros: On debugging non-ground answer-set programs.

, , and . Theory Pract. Log. Program., 10 (4-6): 513-529 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Johannes

Johannes

Johannes

Johannes

Johannes

 

Other publications of authors with the same name

The system Kato: Detecting cases of plagiarism for answer-set programs., , , and . Theory Pract. Log. Program., 10 (4-6): 759-775 (2010)Catching the Ouroboros: On debugging non-ground answer-set programs., , and . Theory Pract. Log. Program., 10 (4-6): 513-529 (2010)A Neuro-Symbolic ASP Pipeline for Visual Question Answering., , , and . Theory Pract. Log. Program., 22 (5): 739-754 (2022)SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support., , , , and . Theory Pract. Log. Program., 13 (4-5): 657-673 (2013)Beyond Uniform Equivalence between Answer-set Programs., , , and . ACM Trans. Comput. Log., 22 (1): 2:1-2:46 (2021)A Modular Neurosymbolic Approach for Visual Graph Question Answering., , and . NeSy, volume 3432 of CEUR Workshop Proceedings, page 139-149. CEUR-WS.org, (2023)Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling., , , , , and . CoRR, (2022)Stepwise Debugging of Description-Logic Programs., , and . Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, page 492-508. Springer, (2012)An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions., , and . ICLP (Technical Communications), volume 17 of LIPIcs, page 222-234. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection., , and . AAAI, page 458-464. AAAI Press, (2007)