Index of /1.03-psoa/exa/DatalogPSOA/

      Name                                                                             Last modified         Size  Description
   
up Parent Directory 02-Sep-2019 18:40 - unknown Example-S1_Purchase-record-with-dependent-slots.ruleml 02-Sep-2019 16:20 4k unknown Example-T1A_Purchase-tables-with-single-explicit-tuple-represents-single-row.... 02-Sep-2019 16:20 4k unknown Example-T1A_Purchase-tables-with-single-implicit-tuple-represents-single-row.... 02-Sep-2019 16:20 4k unknown Example-T1B_Purchase-tables-with-multiple-tuples-represents-multiple-rows.ruleml 02-Sep-2019 16:20 4k unknown Example-T2_Liability-rule-based-on-single-purchase-tuple.ruleml 02-Sep-2019 18:40 4k unknown Example-T3_Cyclic-purchase-rule-based-on-one-or-more-purchase-tuples.ruleml 02-Sep-2019 16:20 4k unknown SpecPSOARuleMLXML103_Section-3-1.ruleml 02-Sep-2019 18:40 4k unknown cyclic-purchasePSOA.ruleml 25-Aug-2019 19:30 4k unknown cyclic-purchasePSOA_bare.ruleml 02-Sep-2019 16:20 4k unknown cyclic-purchasePSOA_bare_normal.ruleml 02-Sep-2019 18:40 4k unknown cyclic-purchasePSOA_normal.ruleml 02-Sep-2019 18:40 8k unknown datalogPSOA.ruleml 25-Aug-2019 19:30 8k unknown datalogPSOA_normal.ruleml 13-May-2019 23:30 8k unknown datalogPSOA_relaxed.ruleml 13-May-2019 23:30 8k unknown purchase_atom.ruleml 02-Sep-2019 16:20 4k unknown purchase_atom_wrapped.ruleml 02-Sep-2019 16:20 4k

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