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

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

2010-07-28

arxiv.org/abs/1007.4971v1

Theory and Practice of Logic Programming, Volume 10, Special Issue 4-6, July 2010, pp 759-775

Computer Science

Logic in Computer Science

Scientific paper

10.1017/S1471068410000402

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.

Affiliated with

Also associated with

No associations

Rating

The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-74329