We present the tool Kato which is, to the best of our knowledge, the first tool for plagiarism detection that is directly tailored for answer-set programming (ASP). Kato aims at finding similarities between (segments of) logic programs to help detecting cases of plagiarism. Currently, the tool is realised for DLV programs but it is designed to handle various logic-programming syntax versions. We review basic features and the underlying methodology of the tool.
Identifer | oai:union.ndltd.org:Potsdam/oai:kobv.de-opus-ubp:4148 |
Date | January 2010 |
Creators | Oetsch, Johannes, Schwengerer, Martin, Tompits, Hans |
Contributors | Gesellschaft für Logische Programmierung e.V. |
Publisher | Universität Potsdam, Extern. Extern |
Source Sets | Potsdam University |
Language | English |
Detected Language | English |
Type | InProceedings |
Format | application/pdf |
Source | Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 75 - 79 |
Rights | http://opus.kobv.de/ubp/doku/urheberrecht.php |
Page generated in 0.007 seconds