Oetsch, Johannes

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Prefix title Titel (vorangestellt)
Projektass. Dipl.-Ing. Dr.techn.
 
Full name Familienname, Vorname
Oetsch, Johannes
 
Postfix title Titel (nachgestellt)
Bakk.techn.
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 52 (Search time: 0.004 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser (Extended Abstract)Inproceedings Konferenzbeitrag28-Nov-2022
2Eiter, 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
3Eiter, 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
4Eiter, Thomas ; Oetsch, Johannes ; Pritz, Michael ; Higuera Ruiz, Nelson Nicolas A Confidence-Based Interface for Neuro-Symbolic Visual Question AnsweringPresentation Vortrag28-Feb-2022
5Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas ; Oetsch, Johannes ; Pritz, Michael A Neuro-Symbolic ASP Pipeline for Visual Question AnsweringArticle Artikel 2022
6Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria ; Kern-Isberner, Gabriele ; Lackemeyer, Gerhard ; Meyer, Tommie ALASPO: An Adaptive Large-Neighbourhood ASP OptimiserInproceedings Konferenzbeitrag2022
7Eiter, 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
8Oetsch, Johannes ; Tompits, Hans ; Seidl, Martina ; Woltran, Stefan Beyond Uniform Equivalence between Answer-set ProgramsArtikel Article 2021
9Oetsch Johannes - 2022 - Testing for ASP - ASP for Testing.pdf.jpgOetsch, Johannes Testing for ASP - ASP for testingThesis Hochschulschrift 2021
10Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans Catching the Ouroboros: On debugging non-ground answer-set programsPräsentation Presentation2020
11Pührer, Jörg ; Oetsch, Johannes ; Tompits, Hans Stepwise debugging of answer-set programsArtikel Article2018
12Greßler, Alexander ; Oetsch, Johannes ; Tompits, Hans ; Balduccini, Marcello ; Janhunen, Tomi $$\mathsf {Harvey}$$ : A System for Random Testing in ASPKonferenzbeitrag Inproceedings 2017
13Egly, Uwe ; Lonsing, Florian ; Oetsch, Johannes Automated Benchmarking of Incremental SAT and QBF SolversKonferenzbeitrag Inproceedings 2015
14Alviano, Mario ; Calimeri, Francesco ; Charwat, Günther ; Dao-Tran, Minh ; Dodaro, Carmine ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Oetsch, Johannes ; Pfandler, Andreas ; Puehrer, Joerg ; Redl, Christoph ; Ricca, Francesco ; Schneider, Patrik ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui ; Cabalar, Pedro ; Son, Tran Cao The Fourth Answer Set Programming Competition: Preliminary ReportKonferenzbeitrag Inproceedings2013
15Kloimüllner, Christian ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set ProgramsKonferenzbeitrag Inproceedings 2013
16Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans The SeaLion has Landed: An IDE for Answer-Set Programming-Preliminary ReportKonferenzbeitrag Inproceedings 2013
17Busoniu, Paula-Andra ; Oetsch, Johannes ; Puehrer, Joerg ; Skocovsky, Peter ; Tompits, Hans SeaLion: An Eclipse-based IDE for Answer-Set Programming with Advanced Debugging SupportKonferenzbeitrag Inproceedings 2013
18Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Stepwise Debugging of Description-Logic ProgramsBuchbeitrag Book Contribution2012
19De Vos, Marina ; Kisa, Doga Gizem ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans LANA: A Language for Annotating Answer-Set ProgramsKonferenzbeitrag Inproceedings 2012
20Oetsch, Johannes ; Prischink, Michael ; Puehrer, Joerg ; Schwengerer, Martin ; Tompits, Hans On the Small-Scope Hypothesis for Testing Answer-Set ProgramsKonferenzbeitrag Inproceedings 2012

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph ; Tompits, Hans ; Abreu, Salvador ; Oetsch, Johannes ; Puehrer, Joerg ; Seipel, Dietmar ; Umeda, Masanobu ; Wolf, Armin HEX-Programs with Nested Program CallsKonferenzbeitrag Inproceedings 2013
2Dvořák, Wolfgang ; Gaggl, Sarah Alice ; Wallner, Johannes Peter ; Woltran, Stefan ; Tompits, Hans ; Abreu, Salvador ; Oetsch, Johannes ; Puehrer, Joerg ; Seipel, Dietmar ; Umeda, Masanobu ; Wolf, Armin Making Use of Advances in Answer-Set Programming for Abstract Argumentation SystemsKonferenzbeitrag 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 ; Tompits, Hans ; Abreu, Salvador ; Oetsch, Johannes ; Pührer, Jörg ; Seipel, Dietmar ; Umeda, Masanobu ; Wolf, Armin The Parameterized Complexity of Constraint Satisfaction and ReasoningKonferenzbeitrag Inproceedings2013
5Lierler, Yuliya ; Schüller, Peter ; Abreu, Salvador ; Oetsch, Johannes ; Puehrer, Joerg ; Seipel, Dietmar ; Tompits, Hans ; Umeda, Masanobu ; Wolf, Armin Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary ReportKonferenzbeitrag Inproceedings 2011
6Abreu, 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