9 citations · 16 across the 6 of their papers we have counts for
6 papers
Annotating Answer-Set Programs in LANA?
Marina De Vos, Doğa Gizem Kıza, Johannes Oetsch +2
While past research in answer-set programming (ASP) mainly focused on theory, ASP solver technology, and applications, the present work situates itself in the context of a quite re…
The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs
Johannes Oetsch, Jörg Pührer, Martin Schwengerer +1
Plagiarism detection is a growing need among educational institutions and solutions for different purposes exist. An important field in this direction is detecting cases of source-…
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…
A Framework for Compiling Preferences in Logic Programs
J. P. Delgrande, T. Schaub, H. Tompits
We introduce a methodology and framework for expressing general preference information in logic programming under the answer set semantics. An ordered logic program is an extended…
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…