Showing cs.AIShow all
2 papers · 1 filter
cs.AI2023
Contextual Reasoning for Scene Generation (Technical Report)
Loris Bozzato, Thomas Eiter, Rafael Kiesel +1
We present a continuation to our previous work, in which we developed the MR-CKR framework to reason with knowledge overriding across contexts organized in multi-relational hierarc…
cs.AI2022
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
Thomas Eiter, Tobias Geibinger, Nysret Musliu +3
We deal with a challenging scheduling problem on parallel machines with sequence-dependent setup times and release dates from a real-world application of semiconductor work-shop pr…