55 citations · 120 across the 6 of their papers we have counts for
6 papers
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…
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…
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming
Thomas Eiter, Wolfgang Faber, Nicola Leone +1
Most recently, Answer Set Programming (ASP) is attracting interest as a new paradigm for problem solving. An important aspect which needs to be supported is the handling of prefere…
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…
Using Methods of Declarative Logic Programming for Intelligent Information Agents
T. Eiter, M. Fink, G. Sabbatini +1
The search for information on the web is faced with several problems, which arise on the one hand from the vast number of available sources, and on the other hand from their hetero…