Index of /~gadelrab/downloads/ILP2016/IMDB

Icon  Name                          Last modified      Size  Description
[DIR] Parent Directory - [TXT] ideal.data.txt 13-Dec-2016 14:30 29M [TXT] training.data.txt 13-Dec-2016 14:30 25M [   ] extension.pos 13-Dec-2016 14:30 2.9M [   ] extension.pm.neg 13-Dec-2016 14:30 2.9M [   ] extension.opm.neg 13-Dec-2016 14:30 2.9M [   ] extension.naive.neg 13-Dec-2016 14:30 2.9M [   ] revised-rules.pm 13-Dec-2016 14:30 100K [   ] revised-rules.opm 13-Dec-2016 14:30 99K [   ] revised-rules.naive 13-Dec-2016 14:30 98K [TXT] horn-rules.txt 13-Dec-2016 14:30 17K [TXT] selected.horn-rules.txt 13-Dec-2016 14:30 284
Apache/2.0 Server at people.mpi-inf.mpg.de Port 80