Name Card

Full name Familienname, Vorname
Oetsch, Johannes
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 58 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bauer-2023-Neuro-Symbolic Visual Graph Question Answering with LLMs for L...-vor.pdf.jpgBauer, Jakob Johannes ; Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas ; Oetsch, Johannes Neuro-Symbolic Visual Graph Question Answering with LLMs for Language ParsingPresentation Vortrag 21-Nov-2023
2Eiter, Thomas ; Geibinger, Tobias ; Oetsch, Johannes Contrastive Explanations for Answer-Set ProgramsInproceedings Konferenzbeitrag Sep-2023
3Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Oetsch, Johannes A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question AnsweringInproceedings Konferenzbeitrag Aug-2023
4EITER, THOMAS ; GEIBINGER, TOBIAS ; MUSLIU, NYSRET ; OETSCH, JOHANNES ; SKOČOVSKÝ, PETER ; STEPANOVA, DARIA Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine SchedulingArticle Artikel 26-Jan-2023
5Eiter-2023-A modular neurosymbolic approach for visual graph question ans...-vor.pdf.jpgEiter, Thomas ; Higuera Ruiz, Nelson Nicolas ; Oetsch, Johannes A modular neurosymbolic approach for visual graph question answeringInproceedings Konferenzbeitrag 2023
6Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser (Extended Abstract)Inproceedings Konferenzbeitrag28-Nov-2022
7Eiter, Thomas ; Geibinger, Tobias ; Higuera Ruiz, Nelson ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria Large-Neighbourhood Search for Optimisation in Answer-Set Solving (Extended Abstract)Inproceedings Konferenzbeitrag 4-Aug-2022
8Eiter, Thomas ; Geibinger, Tobias ; Higuera Ruiz, Nelson ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria Large-Neighbourhood Search for Optimisation in Answer-Set SolvingInproceedings Konferenzbeitrag 28-Jun-2022
9Eiter, Thomas ; Geibinger, Tobias ; Gisbrecht, Andrej ; Higuera Ruiz, Nelson Nicolas ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria An Open Challenge for Exact Job Scheduling with Reticle Batching in PhotolithographyInproceedings Konferenzbeitrag 15-Jun-2022
10Eiter, Thomas ; Oetsch, Johannes ; Pritz, Michael ; Higuera Ruiz, Nelson Nicolas A Confidence-Based Interface for Neuro-Symbolic Visual Question AnsweringPresentation Vortrag28-Feb-2022
11Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas ; Oetsch, Johannes ; Pritz, Michael A Neuro-Symbolic ASP Pipeline for Visual Question AnsweringArticle Artikel 2022
12Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria ALASPO: An Adaptive Large-Neighbourhood ASP OptimiserInproceedings Konferenzbeitrag2022
13Eiter, Thomas ; Geibinger, Tobias ; Musliu, Nysret ; Oetsch, Johannes ; Skočovský, Peter ; Stepanova, Daria Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine SchedulingKonferenzbeitrag Inproceedings 2021
14Oetsch Johannes - 2021 - Testing for ASP - ASP for testing.pdf.jpgOetsch, Johannes Testing for ASP - ASP for testingThesis Hochschulschrift 2021
15Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan Beyond Uniform Equivalence between Answer-set ProgramsArtikel Article 2021
16Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans Catching the Ouroboros: On debugging non-ground answer-set programsPräsentation Presentation2020
17Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans Stepwise debugging of answer-set programsArtikel Article 2018
18Greßler, Alexander ; Oetsch, Johannes ; Tompits, Hans $$\mathsf {Harvey}$$ : A System for Random Testing in ASPKonferenzbeitrag Inproceedings 2017
19Egly, Uwe ; Lonsing, Florian ; Oetsch, Johannes Automated Benchmarking of Incremental SAT and QBF SolversKonferenzbeitrag Inproceedings 2015
20Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans The SeaLion has Landed: An IDE for Answer-Set Programming-Preliminary ReportKonferenzbeitrag Inproceedings 2013

Contributing Publications Mitbeteiligte Publikationen

Results 1-7 of 7 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Hadl Jan - 2023 - GS-VQA Zero-Shot Neural-Symbolic Visual Question Answering...pdf.jpgHadl, Jan GS-VQA: Zero-shot neural-symbolic visual question answering with vision-language modelsThesis Hochschulschrift 2023
2Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph HEX-Programs with Nested Program CallsKonferenzbeitrag Inproceedings 2013
3Tompits, Hans ; Abreu, Salvador ; Oetsch, Johannes ; Puehrer, Joerg ; Seipel, Dietmar ; Umeda, Masanobu ; Wolf, Armin Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011 Vienna, Austria, September 28-30, 2011, Revised Selected PapersKonferenzband Proceedings 2013
4Szeider, Stefan The Parameterized Complexity of Constraint Satisfaction and ReasoningKonferenzbeitrag Inproceedings2013
5Dvořák, Wolfgang ; Gaggl, Sarah Alice ; Wallner, Johannes Peter ; Woltran, Stefan Making Use of Advances in Answer-Set Programming for Abstract Argumentation SystemsKonferenzbeitrag Inproceedings 2013
6Lierler, Yuliya ; Schüller, Peter Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary ReportKonferenzbeitrag Inproceedings 2011
7Abreu, Salvador ; Oetsch, Johannes ; Puehrer, Joerg ; Seipel, Dietmar ; Tompits, Hans ; Umeda, Masanobu ; Wolf, Armin Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011)Konferenzband Proceedings 2011