Kato: A plagiarism-detection tool for answer-set programs
2009 (English) In: Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009, WLP 2009, Universitatsverlag Potsdam , 2009, p. 75-79Conference paper, Published paper (Refereed)
Abstract [en]
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.
Place, publisher, year, edition, pages Universitatsverlag Potsdam , 2009. p. 75-79
Keywords [en]
Computer programming languages, Intellectual property, Logic programming, Answer-set programming, Logic programs, Plagiarism detection, Tools
National Category
Computer Sciences
Identifiers URN: urn:nbn:se:hj:diva-63586 Scopus ID: 2-s2.0-84893310514 ISBN: 9783869560267 (print) OAI: oai:DiVA.org:hj-63586 DiVA, id: diva2:1838085
Conference 23rd Workshop on (Constraint) Logic Programming 2009, WLP 2009, 15-16 September 2009, Potsdam, Germany
2024-02-152024-02-152024-02-15 Bibliographically approved