843 citations · 1.2k across the 8 of their papers we have counts for
5 papers · 1 filter
A model building framework for Answer Set Programming with external computations
Thomas Eiter, Michael Fink, Giovambattista Ianni +3
As software systems are getting increasingly connected, there is a need for equipping nonmonotonic logic programs with access to external sources that are possibly remote and may c…
Causal Graph Justifications of Logic Programs
Pedro Cabalar, Jorge Fandinno, Michael Fink
In this work we propose a multi-valued extension of logic programs under the stable models semantics where each true atom in a model is associated with a set of justifications. The…
Finding Similar/Diverse Solutions in Answer Set Programming
Thomas Eiter, Esra Erdem, Halit Erdogan +1
For some computational problems (e.g., product configuration, planning, diagnosis, query answering, phylogeny reconstruction) computing a set of similar/diverse solutions may be de…
A Knowledge-Based Approach for Selecting Information Sources
Thomas Eiter, Michael Fink, Hans Tompits
Through the Internet and the World-Wide Web, a vast number of information sources has become available, which offer information on various subjects by different providers, often in…
On Properties of Update Sequences Based on Causal Rejection
T. Eiter, M. Fink, G. Sabbatini +1
We consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under answer set semantics. New information is incorporated into the current k…