Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
The system Kato: Detecting cases of plagiarism for answer-set programs
Jönköping University, School of Engineering, JTH, Department of Computing. Technische Universität Wien, Institut für Informationssysteme 184/3, Vienna, Austria.ORCID iD: 0000-0002-9902-7662
Technische Universität Wien, Institut für Informationssysteme 184/3, Vienna, Austria.
Technische Universität Wien, Institut für Informationssysteme 184/3, Vienna, Austria.
Technische Universität Wien, Institut für Informationssysteme 184/3, Vienna, Austria.
2010 (English)In: Theory and Practice of Logic Programming, ISSN 1471-0684, E-ISSN 1475-3081, Vol. 10, no 4-6, p. 759-775Article in journal (Refereed) Published
Abstract [en]

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.

Place, publisher, year, edition, pages
Cambridge University Press, 2010. Vol. 10, no 4-6, p. 759-775
Keywords [en]
answer-set programming, plagiarism detection, program analysis, Educational institutions, University of Technology, Logic programming
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hj:diva-63581DOI: 10.1017/S1471068410000402ISI: 000280508200026Scopus ID: 2-s2.0-77957231094OAI: oai:DiVA.org:hj-63581DiVA, id: diva2:1838191
Available from: 2024-02-15 Created: 2024-02-15 Last updated: 2024-02-15Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Oetsch, Johannes

Search in DiVA

By author/editor
Oetsch, Johannes
By organisation
JTH, Department of Computing
In the same journal
Theory and Practice of Logic Programming
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 21 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf