activity
20002026
most citedThe DLV System for Knowledge Representation and Reasoning

1.2k citations · 1.6k across the 54 of their papers we have counts for

collaborators

56 papers

cs.LG2026

ORCAID: Oblique Rule-Based Continuous-Action Interpretation for Deep RL Policies

Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter +1

Explainability remains a key issue in reinforcement learning (RL). Distilling an interpretable policy from an agent trained in a complex environment is particularly challenging whe…

cs.LO2023★ 6 cited

Deontic Paradoxes in ASP with Weak Constraints

Christian Hatschka, Agata Ciabattoni, Thomas Eiter

The rise of powerful AI technology for a range of applications that are sensitive to legal, social, and ethical norms demands decision-making support in presence of norms and regul…

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…

math.AP2023

Viscous flow past a translating body with oscillating boundary

Thomas Eiter, Yoshihiro Shibata

We study an incompressible viscous flow around an obstacle with an oscillating boundary that moves by a translational periodic motion, and we show existence of strong time-periodic…

cs.AI2022★ 3 cited

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…

math.AP2022

On the regularity of weak solutions to time-periodic Navier--Stokes equations in exterior domains

Thomas Eiter

Consider the time-periodic viscous incompressible fluid flow past a body with non-zero velocity at infinity. This article gives sufficient conditions such that weak solutions to th…