Kato 系统：检测回答集程序的抄袭案例
计算机科学中的逻辑
2010-07-29 v1
摘要
抄袭检测是教育机构日益增长的需求，并且存在针对不同目的的解决方案。这方面的一个重要领域是检测源代码抄袭。在本文中，我们介绍了用于支持在回答集编程(ASP)领域检测此类抄袭的工具 Kato。目前，该工具是为 DLV 程序实现的，但其设计也能处理其他逻辑编程方言。我们回顾了 Kato 的基本特性，介绍了其理论基础，并讨论了 Kato 在维也纳科技大学逻辑编程课程背景下用于抄袭检测的应用。
引用
@article{arxiv.1007.4971,
title = {The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs},
author = {Johannes Oetsch and Jörg Pührer and Martin Schwengerer and Hans Tompits},
journal= {arXiv preprint arXiv:1007.4971},
year = {2010}
}