| acceptabilityConstraints.pl | Oct 10, 2021, 7:14:08 AM | 4.18 KiB | |
| acDRT.pl | Oct 10, 2021, 7:14:08 AM | 3.88 KiB | |
| alphaConversion.pl | Oct 10, 2021, 7:14:08 AM | 2.31 KiB | |
| alphaConversion2.pl | Oct 10, 2021, 7:14:08 AM | 2.16 KiB | |
| anldp.exe | Oct 10, 2021, 7:14:08 AM | 56.00 KiB | |
| auxlib.pl | Oct 10, 2021, 7:14:08 AM | 441 B | |
| babyCurt.pl | Oct 10, 2021, 7:14:08 AM | 2.76 KiB | |
| betaConversion.pl | Oct 10, 2021, 7:14:08 AM | 2.44 KiB | |
| betaConversion2.pl | Oct 10, 2021, 7:14:08 AM | 2.41 KiB | |
| betaConversion3.pl | Oct 10, 2021, 7:14:08 AM | 2.56 KiB | |
| betaConversionTestSuite.pl | Oct 10, 2021, 7:14:08 AM | 7.42 KiB | |
| bindingDRT.pl | Oct 10, 2021, 7:14:08 AM | 2.05 KiB | |
| callInference.pl | Oct 10, 2021, 7:14:08 AM | 6.87 KiB | |
| callModelBuilder.pl | Oct 10, 2021, 7:14:08 AM | 1.06 KiB | |
| callTheoremProver.pl | Oct 10, 2021, 7:14:08 AM | 1021 B | |
| cleverCurt.pl | Oct 10, 2021, 7:14:08 AM | 4.13 KiB | |
| clientBliksem.pl | Oct 10, 2021, 7:14:08 AM | 1.67 KiB | |
| clientCurt.pl | Oct 10, 2021, 7:14:08 AM | 14.08 KiB | |
| clientMace.pl | Oct 10, 2021, 7:14:08 AM | 1.64 KiB | |
| clientOtter.pl | Oct 10, 2021, 7:14:08 AM | 1.66 KiB | |
| cnf.pl | Oct 10, 2021, 7:14:08 AM | 2.90 KiB | |
| cnfTestSuite.pl | Oct 10, 2021, 7:14:08 AM | 807 B | |
| comsemOperators.pl | Oct 10, 2021, 7:14:08 AM | 778 B | |
| comsemPredicates.pl | Oct 10, 2021, 7:14:08 AM | 7.20 KiB | |
| cooperStorage.pl | Oct 10, 2021, 7:14:08 AM | 4.91 KiB | |
| curtDRT.pl | Oct 10, 2021, 7:14:08 AM | 11.60 KiB | |
| curtServer.pl | Oct 10, 2021, 7:14:08 AM | 427 B | |
| discourseGrammar.pl | Oct 10, 2021, 7:14:08 AM | 778 B | |
| discourseTestSuite.pl | Oct 10, 2021, 7:14:08 AM | 955 B | |
| drs2fol.pl | Oct 10, 2021, 7:14:08 AM | 2.19 KiB | |
| drsPredicates.pl | Oct 10, 2021, 7:14:08 AM | 7.03 KiB | |
| drsTools.pl | Oct 10, 2021, 7:14:08 AM | 1.97 KiB | |
| englishGrammar.pl | Oct 10, 2021, 7:14:08 AM | 4.14 KiB | |
| englishLexicon.pl | Oct 10, 2021, 7:14:08 AM | 9.00 KiB | |
| exampleModels.pl | Oct 10, 2021, 7:14:08 AM | 1.55 KiB | |
| experiment1.pl | Oct 10, 2021, 7:14:08 AM | 2.15 KiB | |
| experiment2.pl | Oct 10, 2021, 7:14:08 AM | 1.83 KiB | |
| experiment3.pl | Oct 10, 2021, 7:14:08 AM | 1.92 KiB | |
| experiment3-1.pl | Oct 10, 2021, 7:14:08 AM | 2.37 KiB | |
| fol2bliksem.pl | Oct 10, 2021, 7:14:08 AM | 2.57 KiB | |
| fol2otter.pl | Oct 10, 2021, 7:14:08 AM | 2.76 KiB | |
| folTestSuite.pl | Oct 10, 2021, 7:14:08 AM | 1.03 KiB | |
| freeVarTabl.pl | Oct 10, 2021, 7:14:08 AM | 9.21 KiB | |
| holeSemantics.pl | Oct 10, 2021, 7:14:08 AM | 6.21 KiB | |
| holeSemanticsDRT.pl | Oct 10, 2021, 7:14:08 AM | 7.51 KiB | |
| index.html | Oct 10, 2021, 7:14:08 AM | 18.44 KiB | |
| index2.pl | Oct 10, 2021, 7:14:08 AM | 9.45 KiB | |
| kellerStorage.pl | Oct 10, 2021, 7:14:08 AM | 4.99 KiB | |
| knowledgeableCurt.pl | Oct 10, 2021, 7:14:08 AM | 6.53 KiB | |
| laconicCurt.pl | Oct 10, 2021, 7:14:08 AM | 6.91 KiB | |
| lambda.pl | Oct 10, 2021, 7:14:08 AM | 3.70 KiB | |
| lambdaDRT.pl | Oct 10, 2021, 7:14:08 AM | 3.95 KiB | |
| MACE.exe | Oct 10, 2021, 7:14:08 AM | 160.00 KiB | |
| mainPronounsDRT.pl | Oct 10, 2021, 7:14:08 AM | 2.31 KiB | |
| mainPronounsDRTfragment.pl | Oct 10, 2021, 7:14:08 AM | 1.28 KiB | |
| mainPronounsDRTtrace.pl | Oct 10, 2021, 7:14:08 AM | 3.97 KiB | |
| matchDRT.pl | Oct 10, 2021, 7:14:08 AM | 1.29 KiB | |
| modelChecker1.pl | Oct 10, 2021, 7:14:08 AM | 5.98 KiB | |
| modelChecker2.pl | Oct 10, 2021, 7:14:08 AM | 9.76 KiB | |
| modelCheckerDRT1.pl | Oct 10, 2021, 7:14:08 AM | 6.56 KiB | |
| modelCheckerDRT2.pl | Oct 10, 2021, 7:14:08 AM | 11.04 KiB | |
| modelCheckerTestSuite.pl | Oct 10, 2021, 7:14:08 AM | 1.66 KiB | |
| modelCheckerTestSuiteDRT.pl | Oct 10, 2021, 7:14:08 AM | 1.75 KiB | |
| montague.pl | Oct 10, 2021, 7:14:08 AM | 4.39 KiB | |
| otter.exe | Oct 10, 2021, 7:14:08 AM | 220.00 KiB | |
| otter-in | Oct 10, 2021, 7:14:08 AM | 1.02 KiB | |
| otter-out | Oct 10, 2021, 7:14:08 AM | 0 B | |
| pluggingAlgorithm.pl | Oct 10, 2021, 7:14:08 AM | 2.01 KiB | |
| presupDRT.pl | Oct 10, 2021, 7:14:08 AM | 4.48 KiB | |
| presupScoreDRT.pl | Oct 10, 2021, 7:14:08 AM | 4.52 KiB | |
| printDrs.pl | Oct 10, 2021, 7:14:08 AM | 10.06 KiB | |
| propResolution.pl | Oct 10, 2021, 7:14:08 AM | 3.22 KiB | |
| propTableaux.pl | Oct 10, 2021, 7:14:08 AM | 4.57 KiB | |
| propTableaux2.pl | Oct 10, 2021, 7:14:08 AM | 5.20 KiB | |
| propTestSuite.pl | Oct 10, 2021, 7:14:08 AM | 2.31 KiB | |
| readLine.pl | Oct 10, 2021, 7:14:08 AM | 2.47 KiB | |
| resolvePresup.pl | Oct 10, 2021, 7:14:08 AM | 3.36 KiB | |
| resolvePresupScore.pl | Oct 10, 2021, 7:14:08 AM | 4.94 KiB | |
| semOntology.pl | Oct 10, 2021, 7:14:08 AM | 4.23 KiB | |
| semOntology1.pl | Oct 10, 2021, 7:14:08 AM | 4.23 KiB | |
| sensitiveCurt.pl | Oct 10, 2021, 7:14:08 AM | 5.25 KiB | |
| sentenceTestSuite.pl | Oct 10, 2021, 7:14:08 AM | 2.29 KiB | |
| startClientCurt.pl | Oct 10, 2021, 7:14:08 AM | 3.07 KiB | |
| superCurt.pl | Oct 10, 2021, 7:14:08 AM | 11.21 KiB | |
| threadingDRT.pl | Oct 10, 2021, 7:14:08 AM | 6.35 KiB | |
| threadingDRT1.pl | Oct 10, 2021, 7:14:08 AM | 1.02 KiB | |
| usrPredicates.pl | Oct 10, 2021, 7:14:08 AM | 3.81 KiB | |
|