1.2k citations · 1.6k across the 54 of their papers we have counts for
29 papers · 1 filter
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…
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…
A Neuro-Symbolic ASP Pipeline for Visual Question Answering
Thomas Eiter, Nelson Higuera, Johannes Oetsch +1
We present a neuro-symbolic visual question answering (VQA) pipeline for CLEVR, which is a well-known dataset that consists of pictures showing scenes with objects and questions re…
Chasing Streams with Existential Rules
Jacopo Urbani, Markus Krötzsch, Thomas Eiter
We study reasoning with existential rules to perform query answering over streams of data. On static databases, this problem has been widely studied, but its extension to rapidly c…
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
Loris Bozzato, Thomas Eiter, Rafael Kiesel
Dealing with context dependent knowledge has led to different formalizations of the notion of context. Among them is the Contextualized Knowledge Repository (CKR) framework, which…
Reasoning on with Defeasibility in ASP
Loris Bozzato, Thomas Eiter, Luciano Serafini
Reasoning on defeasible knowledge is a topic of interest in the area of description logics, as it is related to the need of representing exceptional instances in knowledge bases. I…