Kato: a plagiarism-detection tool for answer-set programs

We present the tool Kato which is, to the best of our knowledge, the first tool for plagiarism detection that is directly tailored for answer-set programming (ASP). Kato aims at finding similarities between (segments of) logic programs to help detecting cases of plagiarism. Currently, the tool is realised for DLV programs but it is designed to handle various logic-programming syntax versions. We review basic features and the underlying methodology of the tool.

Metadaten
Verfasserangaben:	Johannes Oetsch, Martin Schwengerer, Hans Tompits
URN:	urn:nbn:de:kobv:517-opus-41485
Publikationstyp:	Konferenzveröffentlichung
Sprache:	Englisch
Erscheinungsjahr:	2010
Veröffentlichende Institution:	Universität Potsdam
Beteiligte Körperschaft:	Gesellschaft für Logische Programmierung e.V.
Datum der Freischaltung:	04.03.2010
Quelle:	Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 75 - 79
Organisationseinheiten:	Extern / Extern
DDC-Klassifikation:	0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Sammlung(en):	Universität Potsdam / Tagungsbände/Proceedings (nicht fortlaufend) / Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Answer Set Programming
Lizenz (Deutsch):	Keine öffentliche Lizenz: Unter Urheberrechtsschutz
Externe Anmerkung:	This work was partially supported by the Austrian Science Fund (FWF) under project P21698.