Picture for Tobias Geibinger

Tobias Geibinger

TU Wien

Explainable Answer-set Programming

Add code
Aug 30, 2023
Viaarxiv icon

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling

Add code
Dec 18, 2022
Viaarxiv icon

Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics

Add code
Sep 22, 2020
Figure 1 for Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics
Figure 2 for Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics
Figure 3 for Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics
Figure 4 for Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics
Viaarxiv icon

Investigating Constraint Programming and Hybrid Methods for Real World Industrial Test Laboratory Scheduling

Add code
Nov 12, 2019
Figure 1 for Investigating Constraint Programming and Hybrid Methods for Real World Industrial Test Laboratory Scheduling
Figure 2 for Investigating Constraint Programming and Hybrid Methods for Real World Industrial Test Laboratory Scheduling
Figure 3 for Investigating Constraint Programming and Hybrid Methods for Real World Industrial Test Laboratory Scheduling
Figure 4 for Investigating Constraint Programming and Hybrid Methods for Real World Industrial Test Laboratory Scheduling
Viaarxiv icon