5 research outputs found
The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs
- Author
- Publication venue
- 'Cambridge University Press (CUP)'
- Publication date
- 01/01/2010
- Field of study
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
Relationship of Kiruna-type apatite Iron ores and Iron Oxide-Copper-Gold deposits, Norrbotten, Sweden
- Author
- Publication venue
- Publication date
- 01/01/2004
- Field of study
Fe-oxide Cu-Au deposits in northern Norrbotten, Sweden
- Author
- Publication venue
- Publication date
- 01/01/2005
- Field of study
The new adhesion prophylaxis membrane A-part®-From in vitro
- Author
- Publication venue
- 'Wiley'
- Publication date
- Field of study
A Bibliography of Australian Paediatrics 1846–1900 PART III
- Author
- AARON I.
- ADELAIDE
- ADELAIDE
- ADENOID
- ALLEN R. T.
- ALTMANN C.A.
- ALTMANN C.A.
- ANDREW J. E.
- ANDREW J. E.
- ANDREWS A.
- ANON
- ANON
- ANON
- ANON
- ARMSTRONG G.W.
- ARMSTRONG H.
- ASHLEY J.
- ASHLEY J.
- ASHWORTH L.N.
- ASHWORTH L.N.
- ASHWORTH L.N.
- BACOT W.
- BAILY F. W.
- BAIRD J.
- BANCROFT J.
- BANCROFT J.
- BANCROFT P.
- BANCROFT P.
- BANCROFT P.
- BANCROFT P.
- BANCROFT T. L.
- BANCROFT T.L.
- BANERJEE R. P.
- BARKAS W. J.
- BARKAS W. J.
- BARKER E.
- BARNARD C. E.
- BARNETT L.E.
- BARTLETT F. P.
- BEANEY J. G.
- BEANEY J. G.
- BEANEY J. G.
- BEANEY J. G.
- BEANEY J. G.
- BEANEY J. G.
- BEESTON J. L.
- BEESTON J. L.
- BEESTON J. L.
- BEESTON J. L.
- BEESTON J.L.
- BELINFANTE S.
- BELINFANTE S.
- BELL H.T.S.
- BENBOW C. A.
- BENBOW C. A.
- BENBOW C. A.
- BENBOW C. A.
- BENNET F. A.
- BENNETT G.
- BENNETT G.
- BENNETT G.
- BENNETT G.
- BICKLE L. W.
- BICKLE L. W.
- BICKLE L.W.
- BICKLE L.W.
- BICKLE L.W.
- BICKLE L.W.
- BINNEY E.H.
- BLACK J. G.
- BLACK J. G.
- BOODLE F.
- BOODLE G.A.
- BORTHWICK T.
- BORTHWICK T.
- BORTHWICK T.
- BORTHWICK T.
- BORTHWICK T.
- BORTHWICK T.
- BORTHWICK T.
- BOWMAN R.
- BRADY A.
- BRADY A. J.
- BRADY A. J.
- BRISBANE
- BRISBANE
- BROWNING J. H.
- BRYANT H.W.
- BUCKNELL L.F.
- BYRNE W. S.
- BYRNE W. S.
- CARROLL W. J.
- CATHERINE Hayes Hospital
- CENTRAL Board of Health Victoria
- CHISHOLM W.
- CLARK C. D.
- CLATWORTHY H.
- CLAY W.R.
- CLUBBE C. P. B.
- CLUBBE C. P. B.
- CLUBBE C. P. B.
- CLUBBE C.P.B.
- CLUBBE C.P.B.
- CLUBBE C.P.B.
- CLUBBE C.P.B.
- CLUBBE C.P.B.
- COBBOLD T. S.
- COLE F.H.
- COLLINGWOOD D.
- COLLINGWOOD D.
- CONNOLLY F.G.
- CONNOR E.
- COOKSON J.
- CORBIN T. W.
- CORBIN T.W.
- CORTIS H. L.
- CORTIS W. R.
- CORTIS W. R.
- COSH J.I.C.
- COUTIE W. H.
- COX J. C.
- COX J. C.
- COXALGIA
- COXWELL C.F.
- CRAGO W. H.
- CRAGO W. H.
- CRAGO W. H.
- CRAGO W.H.
- CRAGO W.H.
- CREED J. M.
- CREED J. M.
- CROMMELIN C.E.
- CROMMELIN C.E.
- CUSSEN G.E.
- DAVIDSON L.G.
- DAVIES S. H.
- DESAILLY J.G.
- DIXON G.P.
- DOUGLAS A.
- DOWLING F.
- EAKINS G. R.
- EDITORIAL
- EDITORIAL
- EDITORIAL
- EDITORIAL
- EDITORIAL
- EDITORIAL
- EDITORIAL
- EDITORIAL
- EDITORIAL
- EDITORIAL
- ELSNER F. W.
- ELSNER F.W.
- EPIDEMIC at Rydal N.S.W.
- EVANS H.M.
- EVANS J.H.
- EVANS J.H.
- EVANS M. S.
- EVANS O. S.
- EVANS O. S.
- EWAN J. F.
- EXHIBIT
- EXHIBIT
- EXHIBIT
- EXHIBIT
- EXHIBITS
- FAILES F.G.
- FERGUSON H.L.
- FIASCHI T.
- FIASCHI T.
- FIELDSTAD A. H.
- FIELDSTAD A.H.
- FINLAY H.
- FINLAY H.
- FINLAY H.
- FINNISS J.H.S.
- FISCHER G.
- FISCHER G.A.
- FITZGERALD T. N.
- FITZGERALD T.N.
- FITZPATRICK L.
- FITZPATRICK L.
- FLOOD S.
- FORBES H. F.
- FRANCIS A.
- FRANCIS A.
- FULLERTON A.Y.
- FULLERTON G.
- GARDE H. C.
- GARDE H.C.
- GARDNER W.
- GARDNER W.
- GIBSON J. L.
- GIBSON J. L.
- GIBSON J. L.
- GIBSON J. L.
- GIBSON J.L.
- GIBSON J.L.
- GIBSON J.L.
- GIBSON J.L.
- GIBSON J.L.
- GIBSON J.L.
- GIBSON J.L.
- GIBSON J.L.
- GIBSON J.L.
- GIBSON J.L.
- GIBSON J.L.
- GIBSON J.L.
- GIBSON J.L.
- GIBSON J.L.
- GIBSON J.L.
- GILES W. A.
- GILES W. A.
- GILES W. A.
- GILES W.A.
- GILL J.M.
- GILLIES S.
- GILLIES S.
- GOERGS K. W.
- GOODE W. H.
- GOODE W. H.
- GORDON W. W.
- GOSSE C.
- GOSSE C.
- GRAHAM H.
- GREATHEAD R.
- GREEN T.E.
- GREEN T.E.
- GREGSON R. C.
- GRESSWELL D. A.
- HAMILTON A.A.
- HAMILTON J. A. G.
- HAMILTON J. A. G.
- HAMILTON J. A. G.
- HAMILTON T. K.
- HAMILTON T. K.
- HAMILTON T. K.
- HAMILTON T. K.
- HAMILTON T.K.
- HAMLET W.H.
- HANDCOCK C.L.
- HARBINSON J.W.
- HARDIE D.
- HARDIE D.
- HARE F. E.
- HARE F. E.
- HARE F.E.
- HARE F.E.
- HARRICKS F.M.
- HARRICKS F.M.
- HARRIS H. L.
- HARVEY R.R.
- HARVEY R.R.
- HAWKES C.S.
- HAWKES C.S.
- HAWKES C.S.
- HAYNES E. J. A.
- HAYWARD W. T.
- HAYWARD W. T.
- HAYWARD W. T.
- HAYWARD W. T.
- HAYWARD W. T.
- HAYWARD W. T.
- HAYWARD W. T.
- HAYWARD W. T.
- HAYWARD W.T.
- HAYWARD W.T.
- HAYWARD W.T.
- HAYWARD W.T.
- HAYWARD W.T.
- HELSHAM W. M.
- HELSHAM W.M.
- HENRY L.
- HERRING E.K.
- HESTER J. W.
- HILL J.
- HILL J. J.
- HINDER H.C.
- HINDER H.C.
- HINDER H.C.
- HIRSCHFELD E.
- HIRSCHFELD E.
- HIRSCHFELD E.
- HOBBS H. A.
- HODGSON R.
- HOGG G.H.
- HOGG G.H.
- HOGGAN B. B.
- HOOD A. J.
- HOOD A. J.
- HOPE J. W.
- HOPKINS G.H.
- HUGHES W.K.
- HULL W.
- HUNT C.A.W.
- HUNT C.L.W.
- HUNT J. S.
- JACKSON E. S.
- JACKSON E.S.
- JAKINS W. V.
- JAKINS W. V.
- JAMIESON J.
- JAMIESON S.
- JAY M.
- JAY M.
- JAY M.
- JENKINS E. J.
- JENKINS E.J.
- JOHNSTON A. A.
- JONES P.S.
- KATER N.W.
- KENDALL T. M.
- KENDALL T. M.
- KENDALL T. M.
- KENDALL T. M.
- KENDALL T. M.
- KENDALL T. M.
- KENDALL T.M.
- KENNY A.L.
- KENT-HUGHES W.
- KENT-HUGHES W.
- KNAGGS S. T.
- KNAGGS S. T.
- KNAGGS S. T.
- KNAGGS S.T.
- LAURIE H.
- LAWES C.H.E.
- LAWRENCE H.
- LAWSON G.L.
- LEMPRIERE C. L.
- LENDON A.
- LENDON A. A.
- LENDON A. A.
- LENDON A. A.
- LENDON A. A.
- LENDON A. A.
- LENDON A.A.
- LENDON A.A.
- LENDON A.A.
- LENDON A.A.
- LEPROSY
- LEVY A.L.
- LEWERS A.
- LEWERS A.
- LEWISHAM
- LITCHFIELD W.F.
- LITCHFIELD W.F.
- LITCHFIELD W.F.
- LITCHFIELD W.F.
- LITCHFIELD W.F.
- LLEWELLYN R.
- LONG M. D.
- LOVE W.
- LOVE W.
- LOVE W.
- LOVE W.
- LUCAS T. P.
- LUDELL F.
- MacCORMICK A.
- MACDONALD A.
- MACDONALD T. F.
- MACFARLANE W.
- MACFARLANE W.
- MACGOWAN E.T.
- MACKAY E.A.
- MACKAY E.A.
- MACKAY E.A.
- MACKAY E.A.
- MACKAY E.A.
- MACKAY E.A.
- MACKAY E.A.
- MACKAY E.A.
- MACKAY E.A.
- MACKAY E.A.
- MACKELLAR C. K.
- MACKELLAR C. K.
- MACKELLAR C. K.
- MACKELLAR C. K.
- MACKENNA
- MACKENNA J. W.
- MACLAURIN C.
- MacLAURIN H. N.
- MacMASTER J.
- MacPHERSON J.
- MacPHERSON J.
- MACSWINNEY G. H.
- MACSWINNEY G.H.
- MAHER W. O.
- MAHER W. O.
- MAHER W. O.
- MAITLAND H.L.
- MAKER W. O.
- MANNING F. N.
- MARTEN R. H.
- MARTEN R.H.
- MARTIN A.E.
- MARTIN J. A.
- MARTIN J. A.
- MARWOOD A. W.
- McADAM R.L.
- McADAM R.L.
- McALLISTER J.F.
- McCARTHY C.
- McCARTHY C.
- McCARTHY C.
- McCARTHY C. W.
- McCREA W.
- McCREA W.
- McDONELL A. J.
- McDONNELL A. J.
- McDONNELL A. J.
- MCDONNELL A.J.
- McGOWAN A.G.
- McNISH J.
- MEASLES
- MEASLES
- MEASLES
- MELBOURNE
- MELBOURNE
- MELBOURNE
- MELBOURNE
- MICHIE J.
- MIERS A.
- MILFORD F.
- MILFORD F.
- MILFORD F.
- MILFORD F.
- MILFORD F.
- MITCHELL J. T.
- MITCHELL J. T.
- MOFFIT A.
- MOFFITT A.
- MOFFITT A.
- MOFFITT A.
- MOFFITT A.
- MOFFITT A.
- MOFFITT A.
- MOFFITT J.E.
- MONEY A.
- MONEY A.
- MONEY A.
- MONEY A.
- MONSELL F. W.
- MONSELL F. W.
- MORGAN C.
- MORGAN C. W.
- MORGAN C. W.
- MORGAN C. W.
- MORGAN C. W.
- MORSON A. K.
- MORSON A. K.
- MUELLER A.
- MUELLER A.
- MUELLER A.
- MUELLER A.
- MUELLER A.
- MUELLER A.
- MULLER C. A.
- MULLINS G.L.
- MULLINS G.L.
- MULLINS G.L.
- MULLINS G.L.
- MULLINS G.L.
- MULLINS G.L.
- MULLINS G.L.
- MURRAY J. P.
- MUSKETT P. E.
- MUSKETT P. E.
- MUSKETT P. E.
- MUSKETT P. E.
- MUSKETT P. E.
- MUSKETT P. E.
- MUSKETT P. E.
- MUSKETT P.E.
- NASH J. B.
- NASH J. B.
- NAYLOR A. G. E.
- NAYLOR A. G. E.
- NAYLOR A. G. E.
- NAYLOR A.G.E.
- NAYLOR G.H.
- NEALE A.
- NEILL L.E.F.
- NESBITT W. P.
- NEWMARCH B. J.
- NICKSON W.
- NIELD J. E.
- NISBET W.B.
- NOLAN H.R.
- NOLAN H.R.
- NOLAN H.R.
- NORRIE A.
- NYULASY F. A.
- NYULASY F. A.
- NYULASY F.A.
- O'DOHERTY E.H.
- O'HARA H.
- O'HARA H.M.
- O'HARA H.M.
- O'REILLY W.
- OFFICER D.
- OFFICER D. McM.
- OLIVER T. J.
- OLIVER T. J.
- OLIVER T. J.
- OWENS E. M.
- PAIN F.
- PAIN F.
- PAIN F.
- PARRY I. D.
- PARRY L. D.
- PATTISON G. J.
- PELL M. B.
- PERKINS A. E.
- PINNOCK R. D.
- PINNOCK R. D.
- PINNOCK R. D.
- PINNOCK R. D.
- PINNOCK R.D.
- POCKLEY F. A.
- POCKLEY F.A.
- POCKLEY F.A.
- POPE R.
- POTTS
- POULTON B.
- POULTON B.
- PRATT E.H.L.
- PRINGLE G. H.
- PRINGLE G. H.
- PRINGLE G. H.
- PURSER C.
- QUAIFE F. H.
- QUAIFE W. F.
- QUAIFE W. F.
- QUAIFE W.F.
- QUAIFE W.F.
- QUEELY E. ST. G.
- QUEENSLAND
- QUEENSLAND
- READ G.
- READ R.
- READ R. B.
- READ R. C.
- REEVES C. E.
- REEVES C. E.
- REID D. B.
- REID J.
- REID J.
- REID J.
- RENNIE G. E.
- RENNIE G.E.
- RENNIE G.E.
- RENNIE G.E.
- RENNIE G.E.
- ROBISON E.H.
- ROSS A.
- ROSS A.
- ROSS A.
- ROSS A.
- ROSS A.
- ROSS J.
- ROSS J. B.
- ROSS J. B.
- ROTH R. E.
- ROWLING C. E.
- ROWLING C. E.
- ROWLING C. E.
- ROWLING C. E.
- RUDALL J. T.
- RUDALL J. T.
- RUSSELL R.H.
- RUSSELL W. J.
- RYAN C.
- SAMUELSON G.S.
- SCARLET
- SCARLET
- SCARLET
- SCHUETTE R.
- SCHWARZBACH B.
- SCOT-SKIRVING R.
- SCOT-SKIRVING R.
- SCOTT G. A.
- SCOTT R.
- SCOTT R.
- SCOTT R.
- SERVICE J.
- SETZKE E.F.
- SHAND J.C.
- SHEWEN A.
- SHEWEN A.
- SHUTER R.S.
- SMITH G. F.
- SMITH J.A.R.
- SMITH O. W.
- SMITH-HOZIER C. H.
- SMYTH T. E.
- SNOWBALL W.
- SNOWBALL W.
- SNOWBALL W.
- SNOWBALL W.
- SOMEREN G.A.
- SOMEREN G.A.
- SOUTER C. H.
- SOUTER J. F.
- SOUTER J.F.
- SPELLINI G.
- SPENCER W.
- SPENCER W.
- SPENCER W.
- SPENCER W.
- SPENCER W.
- SPRINGTHORPE J. W.
- SPRINGTHORPE J.W.
- ST. VINCENT'S Hospital
- ST. VINCENT'S Hospital
- STAPLETON J.
- STAWELL R.R.
- STAWELL R.R.
- STAWELL R.R.
- STAWELL R.R.S.
- STIRLING E. C.
- STIRLING R.A.
- STOKES E.S.
- STRYCHNINE
- STUART A.
- STURT C.
- SUGDEN D.A.
- SWIFT H.
- SWIFT H.
- SWIFT H.
- SWIFT H.
- SWIFT H.
- SWIFT H.
- SYDNEY
- SYDNEY
- SYMONS M. J.
- TASMANIA
- TASMANIA
- TASMANIA
- TAYLOR W.F.
- TEICHELMANN E.
- TENNANT E. G.
- THANE P.
- THANE P. T.
- THANE P. T.
- THANE P.T.
- THOMAS D.
- THOMAS J. D.
- THOMAS J. D.
- THOMAS WALKER
- THOMPSON J. A.
- THOMPSON J. A.
- THOMPSON R.
- THOMSON J.
- THON A.
- THON G.
- TODD C. E.
- TODD C. E.
- TODD C. E.
- TODD C.E.
- TOOD C. E.
- TOWNLEY P.L.
- TOWNLEY P.L.
- TREMEARNE J.
- TRESSIDER S.
- TRESSIDER S.
- TURNER A. J.
- TURNER A. J.
- TURNER A. J.
- TURNER A. J.
- TURNER A. J.
- TURNER A. J.
- TURNER A. J.
- TURNER A. J.
- TURNER A. J.
- TURNER A. J.
- TURNER A. J.
- TURNER A.J.
- TURNER A.J.
- TURNER A.J.
- TURNER A.J.
- TURNER A.J.
- TURNER A.J.
- TURNER A.J.
- TURNER A.J.
- TURNER A.J.
- TURNER A.J.
- TURNER A.J.
- TURNER A.J.
- TURNER A.J.
- TWEEDDALE J. D.
- TWEEDDALE J. D.
- TWYNAM G. E.
- URE J.
- VACCINATION
- VAUGHAN A. P.
- VERCO J. C.
- VERCO J. C.
- VERCO J. S.
- VERCO J.C.
- VERCO J.C.
- VERCO J.C.
- VERCO W. A.
- VERCO W.A.
- VOSS F.H.V.
- WADE R.B.
- WAYLEN A. R.
- WEBB F.E.
- WEEKES C. J.
- WEEKES C.J.
- WEIGALL G.C.
- WEIGALL R.E.
- WHEELER J.A.
- WHEELER J.A.
- WHITTENBURY E. C.
- WIGG A.E.
- WIGG A.E.
- WILKINSON W.C.
- WILKINSON W.C.
- WILKINSON W.C.
- WILLIS T.R.H.
- WOLFHAGEN J.E.
- WOOD A.J.
- WOOD A.J.
- WOOD A.J.
- WOOD A.J.
- WOOD W.A.
- WOODS F. H.
- WORRALL R.
- YEATMAN J. W.
- ZICHY-WOINARSKI S.
- ZLOTKOWSKI F.S.W.
- Publication venue
- 'Wiley'
- Publication date
- Field of study