The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs

TL;DR

The paper introduces Kato, a tool designed to detect source-code plagiarism in answer-set programming, specifically implemented for DLV programs, with potential for broader logic programming dialects, aiding educational integrity.

Contribution

Kato is a novel tool that supports plagiarism detection in answer-set programming, with a theoretical foundation and application in academic settings.

Findings

Kato effectively detects plagiarism in ASP programs.

The tool is adaptable to multiple logic programming dialects.

Successful application demonstrated in university courses.

Abstract

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.