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

Johannes Oetsch Jörg Pührer Martin Schwengerer Hans Tompits

Published in: CoRR (2010)

Keyphrases

stable models
answer set programs
logic programs
logic programming
answer set programming
constraint satisfaction
plagiarism detection
high level
general purpose