( en | de | ru )

 

Disambiguierung von "Oetsch, Johannes"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Stable-Ordered Models for Propositional Theories with Order Operators.

, und . JELIA, Volume 11468 von Lecture Notes in Computer Science, Seite 794-802. Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Johannes

Johannes

Johannes

Johannes

Johannes

 

Weitere Publikationen von Autoren mit dem selben Namen

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