( en | de | ru )

 

Disambiguierung von "Oetsch, Johannes"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automated Benchmarking of Incremental SAT and QBF Solvers.

, , und . CoRR, (2015)

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

The system Kato: Detecting cases of plagiarism for answer-set programs., , , und . Theory Pract. Log. Program., 10 (4-6): 759-775 (2010)A Neuro-Symbolic ASP Pipeline for Visual Question Answering., , , und . Theory Pract. Log. Program., 22 (5): 739-754 (2022)A Modular Neurosymbolic Approach for Visual Graph Question Answering., , und . NeSy, Volume 3432 von CEUR Workshop Proceedings, Seite 139-149. CEUR-WS.org, (2023)A Knowledge Representation Perspective on Activity Theory., und . CoRR, (2018)Large-Neighbourhood Search for Optimisation in Answer-Set Solving., , , , , und . AAAI, Seite 5616-5625. AAAI Press, (2022)Program Correspondence under the Answer-Set Semantics: The Non-ground Case., und . ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 591-605. Springer, (2008)Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison., , , , und . LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 242-247. Springer, (2011)Stepwise Debugging of Description-Logic Programs., , und . Correct Reasoning, Volume 7265 von Lecture Notes in Computer Science, Seite 492-508. Springer, (2012)A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering., , , und . IJCAI, Seite 3668-3676. ijcai.org, (2023)Stepping through an Answer-Set Program., , und . LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 134-147. Springer, (2011)