Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
J. Oetsch, J. Puehrer, M. Schwengerer, H. Tompits:
"The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs";
Vortrag: 26th International Conference on Logic Programming (ICLP 2010),
Edinburgh, Scotland, United Kingdom;
16.07.2010
- 19.07.2010; in: "26th International Conference on Logic Programming (ICLP 2010)",
M. Hermenegildo, T. Schaub (Hrg.);
Theory and Practice of Logic Programming / Cambridge University Press,
10 / 4-6 / Cambridge, England, United Kingdom
(2010),
ISSN: 1471-0684;
S. 759
- 775.
Kurzfassung englisch:
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-code plagiarism. In this paper, we present the tool Kato for supporting the detection of this kind of plagiarism in the area of answer-set programming (ASP). Currently, the tool is implemented for DLV programs but it is designed to handle other logic-programming dialects as well. We review the basic features of Kato, introduce its theoretical underpinnings, and discuss an application of Kato for plagiarism detection in the context of courses on logic programming at the Vienna University of Technology.
Schlagworte:
answer-set programming, program analysis, plagiarism detection
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1017/S1471068410000402
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_187991.4971v1
Zugeordnete Projekte:
Projektleitung Hans Tompits:
Softwareentwicklung in der Answer-Set Programmierung
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.