1.2k citations · 1.6k across the 54 of their papers we have counts for
9 papers · 1 filter
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…
Omission-based Abstraction for Answer Set Programs
Zeynep G. Saribatur, Thomas Eiter
Abstraction is a well-known approach to simplify a complex problem by over-approximating it with a deliberate loss of information. It was not considered so far in Answer Set Progra…
A Note on Reasoning on with Defeasibility
Loris Bozzato, Thomas Eiter, Luciano Serafini
Representation of defeasible information is of interest in description logics, as it is related to the need of accommodating exceptional instances in knowledge bases. In this direc…
Towards Abstraction in ASP with an Application on Reasoning about Agent Policies
Zeynep G. Saribatur, Thomas Eiter
ASP programs are a convenient tool for problem solving, whereas with large problem instances the size of the state space can be prohibitive. We consider abstraction as a means of o…
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
Meta-Interpretive Learning (MIL) learns logic programs from examples by instantiating meta-rules, which is implemented by the Metagol system based on Prolog. Viewing MIL-problems a…
Ticker: A System for Incremental ASP-based Stream Reasoning
Harald Beck, Thomas Eiter, Christian Folie
In complex reasoning tasks, as expressible by Answer Set Programming (ASP), problems often permit for multiple solutions. In dynamic environments, where knowledge is continuously c…