Name Card

Full name Familienname, Vorname
Geibinger, Tobias
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes K. ; Geibinger, Tobias ; Hecher, Markus ; Schlögel, Matthias Parallel Empirical Evaluations: Resilience despite ConcurrencyInproceedings Konferenzbeitrag 24-Mar-2024
2Eiter, Thomas ; Geibinger, Tobias Explaining Answer-Set Programs with Abstract Constraint Atoms (Extended Abstract)Inproceedings Konferenzbeitrag Nov-2023
3Eiter, Thomas ; Geibinger, Tobias ; Oetsch, Johannes Contrastive Explanations for Answer-Set ProgramsInproceedings Konferenzbeitrag Sep-2023
4Geibinger, Tobias Explainable Answer-set ProgrammingInproceedings Konferenzbeitrag 30-Aug-2023
5Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Oetsch, Johannes A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question AnsweringInproceedings Konferenzbeitrag Aug-2023
6Eiter, Thomas ; Geibinger, Tobias Explaining Answer-Set Programs with Abstract Constraint AtomsInproceedings Konferenzbeitrag Aug-2023
7EITER, 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
8Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser (Extended Abstract)Inproceedings Konferenzbeitrag28-Nov-2022
9Eiter, 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
10Danzinger, Philipp ; Geibinger, Tobias ; Janneau, David ; Mischek, Florian ; Musliu, Nysret ; Poschalko, Christian A System for Automated Industrial Test Laboratory SchedulingArticle Artikel 1-Aug-2022
11Eiter, 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
12Eiter, 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
13Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria ALASPO: An Adaptive Large-Neighbourhood ASP OptimiserInproceedings Konferenzbeitrag2022
14Geibinger, Tobias ; Mischek, Florian ; Musliu, Nysret Constraint Logic Programming for Real-World Test Laboratory SchedulingKonferenzbeitrag Inproceedings 2021
15Eiter, 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
16Danzinger, Philipp ; Geibinger, Tobias ; Mischek, Florian ; Musliu, Nysret Solving the Test Laboratory Scheduling Problem with Variable Task GroupingKonferenzbeitrag Inproceedings 2020
17Geibinger, Tobias ; Tompits, Hans Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent LogicsKonferenzbeitrag Inproceedings 2020
18Geibinger Tobias - 2020 - Investigating constraint programming and hybrid...pdf.jpgGeibinger, Tobias Investigating constraint programming and hybrid answer-set solving for industrial test laboratory schedulingThesis Hochschulschrift 2020
19Geibinger, Tobias ; Mischek, Florian ; Musliu, Nysret Investigating Constraint Programming for Real World Industrial Test Laboratory SchedulingKonferenzbeitrag Inproceedings 2019
20Geibinger, Tobias ; Tompits, Hans Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set ProgramsKonferenzbeitrag Inproceedings 2019