Showing cs.AIShow all
2 papers · 1 filter
cs.AI2010
A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
Michael Fink
Different notions of equivalence, such as the prominent notions of strong and uniform equivalence, have been studied in Answer-Set Programming, mainly for the purpose of identifyin…
cs.AI2006
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…