source: experiments/frams/logic/data/scripts @ 169

Name Size Rev Age Author Last Change
../
abduction_misc.inc 2.3 KB 169   8 years Maciej Komosinski A library of logic functions, an experiment definition that generates …
data_conversion.inc 5.2 KB 169   8 years Maciej Komosinski A library of logic functions, an experiment definition that generates …
formulas_processing.inc 2.2 KB 169   8 years Maciej Komosinski A library of logic functions, an experiment definition that generates …
lists_processing.inc 2.7 KB 169   8 years Maciej Komosinski A library of logic functions, an experiment definition that generates …
literals_processing.inc 8.0 KB 169   8 years Maciej Komosinski A library of logic functions, an experiment definition that generates …
logic_abduction.expdef 8.5 KB 169   8 years Maciej Komosinski A library of logic functions, an experiment definition that generates …
synthetic_rules.inc 4.0 KB 169   8 years Maciej Komosinski A library of logic functions, an experiment definition that generates …
synthetic_tableau.inc 7.2 KB 169   8 years Maciej Komosinski A library of logic functions, an experiment definition that generates …
Note: See TracBrowser for help on using the repository browser.