Index of /1.02/simplified/

      Name                                                                             Last modified         Size  Description 
   
up Parent Directory 25-Jan-2018 19:55 - unknown bindatagroundfact_normal.rnc 25-Jan-2018 19:55 32k unknown bindatagroundfact_relaxed.rnc 25-Jan-2018 19:55 32k unknown bindatagroundlog_normal.rnc 25-Jan-2018 19:55 40k unknown bindatagroundlog_relaxed.rnc 25-Jan-2018 19:55 40k unknown bindatalog_normal.rnc 25-Jan-2018 19:55 44k unknown bindatalog_relaxed.rnc 25-Jan-2018 19:55 44k unknown datalog_min_normal.rnc 25-Jan-2018 19:55 8k unknown datalog_min_relaxed.rnc 25-Jan-2018 19:55 8k unknown datalog_normal.rnc 25-Jan-2018 19:55 44k unknown datalog_relaxed.rnc 25-Jan-2018 19:55 44k unknown datalogplus_mid_normal.rnc 25-Jan-2018 19:55 20k unknown datalogplus_mid_relaxed.rnc 25-Jan-2018 19:55 20k unknown datalogplus_min_normal.rnc 25-Jan-2018 19:55 12k unknown datalogplus_min_relaxed.rnc 25-Jan-2018 19:55 12k unknown disdatalog_min_normal.rnc 25-Jan-2018 19:55 8k unknown disdatalog_min_relaxed.rnc 25-Jan-2018 19:55 8k unknown disdatalogplus_mid_normal.rnc 25-Jan-2018 19:55 20k unknown disdatalogplus_mid_relaxed.rnc 25-Jan-2018 19:55 20k unknown disdatalogplus_min_normal.rnc 25-Jan-2018 19:55 12k unknown disdatalogplus_min_relaxed.rnc 25-Jan-2018 19:55 12k unknown dishornlog_normal.rnc 25-Jan-2018 19:55 52k unknown dishornlog_relaxed.rnc 25-Jan-2018 19:55 52k unknown folog_normal.rnc 25-Jan-2018 19:55 64k unknown folog_relaxed.rnc 25-Jan-2018 19:55 68k unknown fologeq_normal.rnc 25-Jan-2018 19:55 68k unknown fologeq_relaxed.rnc 25-Jan-2018 19:55 72k unknown hornlog_normal.rnc 25-Jan-2018 19:55 52k unknown hornlog_relaxed.rnc 25-Jan-2018 19:55 52k unknown hornlogeq_normal.rnc 25-Jan-2018 19:55 56k unknown hornlogeq_relaxed.rnc 25-Jan-2018 19:55 56k unknown nafdatalog_normal.rnc 25-Jan-2018 19:55 44k unknown nafdatalog_relaxed.rnc 25-Jan-2018 19:55 48k unknown naffolog_normal.rnc 25-Jan-2018 19:55 68k unknown naffolog_relaxed.rnc 25-Jan-2018 19:55 72k unknown naffologeq_compact.rnc 25-Jan-2018 19:55 60k unknown naffologeq_deterministic.rnc 25-Jan-2018 19:55 76k unknown naffologeq_normal.rnc 25-Jan-2018 19:55 72k unknown naffologeq_relaxed.rnc 25-Jan-2018 19:55 76k unknown nafhologeq.rnc 25-Jan-2018 19:55 84k unknown nafhologeq_compact.rnc 25-Jan-2018 19:55 64k unknown nafhologeq_deterministic.rnc 25-Jan-2018 19:55 84k unknown nafhologeq_normal.rnc 25-Jan-2018 19:55 76k unknown nafhologeq_relaxed.rnc 25-Jan-2018 19:55 84k unknown nafhornlog_normal.rnc 25-Jan-2018 19:55 52k unknown nafhornlog_relaxed.rnc 25-Jan-2018 19:55 56k unknown nafnegdatalog_normal.rnc 25-Jan-2018 19:55 48k unknown nafnegdatalog_relaxed.rnc 25-Jan-2018 19:55 48k unknown nafnegdisdatalogplus_normal.rnc 25-Jan-2018 19:55 60k unknown nafnegdisdatalogplus_relaxed.rnc 25-Jan-2018 19:55 60k unknown nafnegdishornlogplus_normal.rnc 25-Jan-2018 19:55 64k unknown nafnegdishornlogplus_relaxed.rnc 25-Jan-2018 19:55 68k unknown nafneghornlogeq_normal.rnc 25-Jan-2018 19:55 60k unknown nafneghornlogeq_relaxed.rnc 25-Jan-2018 19:55 60k unknown negdatalog_normal.rnc 25-Jan-2018 19:55 44k unknown negdatalog_relaxed.rnc 25-Jan-2018 19:55 48k

Proudly Served by LiteSpeed Web Server at deliberation.ruleml.org Port 80