首页> 外文期刊>Theory and Practice of Logic Programming >The system Kato: Detecting cases of plagiarism for answer-set programs
【24h】

The system Kato: Detecting cases of plagiarism for answer-set programs

机译:系统加藤:为答案集程序检测of窃案件

获取原文
获取原文并翻译 | 示例

摘要

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.
机译:institutions窃检测是教育机构中日益增长的需求,并且存在针对不同目的的解决方案。这个方向上的一个重要领域是检测源代码抄袭案件。在本文中,我们介绍了工具Kato,用于支持在答案集编程(ASP)领域检测此类of窃。当前,该工具是为DLV程序实现的,但也旨在处理其他逻辑编程方言。我们回顾了加藤的基本功能,介绍了其理论基础,并在维也纳工业大学逻辑编程课程的背景下讨论了加藤在抄袭检测中的应用。

著录项

  • 来源
    《Theory and Practice of Logic Programming》 |2010年第6期|P.759-775|共17页
  • 作者单位

    Technische Universitaet Wien, Institut fuer Informationssysteme 184/3, Favoritenstrasse 9-11, A-1040 Vienna, Austria;

    rnTechnische Universitaet Wien, Institut fuer Informationssysteme 184/3, Favoritenstrasse 9-11, A-1040 Vienna, Austria;

    rnTechnische Universitaet Wien, Institut fuer Informationssysteme 184/3, Favoritenstrasse 9-11, A-1040 Vienna, Austria;

    rnTechnische Universitaet Wien, Institut fuer Informationssysteme 184/3, Favoritenstrasse 9-11, A-1040 Vienna, Austria;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    answer-set programming; program analysis; plagiarism detection;

    机译:答案集编程;程序分析;pla窃检测;

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号