![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/binary.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| MACE.exe | 29-Apr-2009 13:15 | 160K | |
| acDRT.pl | 29-Apr-2009 13:14 | 3.9K | |
| acceptabilityConstraints.pl | 29-Apr-2009 13:14 | 4.2K | |
| alphaConversion.pl | 29-Apr-2009 13:14 | 2.3K | |
| alphaConversion2.pl | 29-Apr-2009 13:14 | 2.2K | |
| anldp.exe | 29-Apr-2009 13:14 | 56K | |
| auxlib.pl | 29-Apr-2009 13:14 | 455 | |
| babyCurt.pl | 29-Apr-2009 13:14 | 2.8K | |
| betaConversion.pl | 29-Apr-2009 13:14 | 2.4K | |
| betaConversion2.pl | 29-Apr-2009 13:14 | 2.4K | |
| betaConversion3.pl | 29-Apr-2009 13:14 | 2.6K | |
| betaConversionTestSuite.pl | 29-Apr-2009 13:14 | 7.4K | |
| bindingDRT.pl | 29-Apr-2009 13:14 | 2.1K | |
| callInference.pl | 29-Apr-2009 13:14 | 6.9K | |
| callModelBuilder.pl | 29-Apr-2009 13:14 | 1.1K | |
| callTheoremProver.pl | 29-Apr-2009 13:14 | 1.0K | |
| cleverCurt.pl | 29-Apr-2009 13:14 | 4.1K | |
| clientBliksem.pl | 29-Apr-2009 13:14 | 1.7K | |
| clientCurt.pl | 29-Apr-2009 13:14 | 14K | |
| clientMace.pl | 29-Apr-2009 13:14 | 1.6K | |
| clientOtter.pl | 29-Apr-2009 13:14 | 1.7K | |
| cnf.pl | 29-Apr-2009 13:14 | 2.9K | |
| cnfTestSuite.pl | 29-Apr-2009 13:14 | 807 | |
| comsemOperators.pl | 29-Apr-2009 13:14 | 706 | |
| comsemPredicates.pl | 29-Apr-2009 13:14 | 7.2K | |
| cooperStorage.pl | 29-Apr-2009 13:14 | 4.9K | |
| curtDRT.pl | 29-Apr-2009 13:14 | 12K | |
| curtServer.pl | 29-Apr-2009 13:14 | 427 | |
| discourseGrammar.pl | 29-Apr-2009 13:14 | 778 | |
| discourseTestSuite.pl | 29-Apr-2009 13:14 | 955 | |
| drs2fol.pl | 29-Apr-2009 13:14 | 2.2K | |
| drsPredicates.pl | 29-Apr-2009 13:14 | 7.0K | |
| drsTools.pl | 29-Apr-2009 13:14 | 2.0K | |
| englishGrammar.pl | 29-Apr-2009 13:14 | 4.1K | |
| englishLexicon.pl | 29-Apr-2009 13:14 | 9.0K | |
| exampleModels.pl | 29-Apr-2009 13:14 | 1.5K | |
| experiment1.pl | 29-Apr-2009 13:14 | 2.1K | |
| experiment2.pl | 29-Apr-2009 13:14 | 1.8K | |
| experiment3-1.pl | 29-Apr-2009 13:14 | 2.4K | |
| experiment3.pl | 29-Apr-2009 13:14 | 1.9K | |
| fol2bliksem.pl | 29-Apr-2009 13:14 | 2.6K | |
| fol2otter.pl | 29-Apr-2009 13:14 | 2.8K | |
| folTestSuite.pl | 29-Apr-2009 13:15 | 1.0K | |
| freeVarTabl.pl | 29-Apr-2009 13:15 | 9.2K | |
| holeSemantics.pl | 29-Apr-2009 13:15 | 6.2K | |
| holeSemanticsDRT.pl | 29-Apr-2009 13:15 | 7.5K | |
| index2.pl | 29-Apr-2009 13:15 | 9.5K | |
| kellerStorage.pl | 29-Apr-2009 13:15 | 5.0K | |
| knowledgeableCurt.pl | 29-Apr-2009 13:15 | 6.5K | |
| laconicCurt.pl | 29-Apr-2009 13:15 | 6.9K | |
| lambda.pl | 29-Apr-2009 13:15 | 3.7K | |
| lambdaDRT.pl | 29-Apr-2009 13:15 | 4.0K | |
| mainPronounsDRT.pl | 29-Apr-2009 13:15 | 2.4K | |
| mainPronounsDRTfragment.pl | 29-Apr-2009 13:15 | 1.3K | |
| mainPronounsDRTtrace.pl | 29-Apr-2009 13:15 | 4.0K | |
| matchDRT.pl | 29-Apr-2009 13:15 | 1.3K | |
| modelChecker1.pl | 29-Apr-2009 13:15 | 6.0K | |
| modelChecker2.pl | 29-Apr-2009 13:15 | 9.8K | |
| modelCheckerDRT1.pl | 29-Apr-2009 13:15 | 6.6K | |
| modelCheckerDRT2.pl | 29-Apr-2009 13:15 | 11K | |
| modelCheckerTestSuite.pl | 29-Apr-2009 13:15 | 1.7K | |
| modelCheckerTestSuiteDRT.pl | 29-Apr-2009 13:15 | 1.8K | |
| montague.pl | 29-Apr-2009 13:15 | 4.4K | |
| otter-in | 29-Apr-2009 13:15 | 1.0K | |
| otter-out | 29-Apr-2009 13:15 | 0 | |
| otter.exe | 29-Apr-2009 13:15 | 220K | |
| pluggingAlgorithm.pl | 29-Apr-2009 13:15 | 2.0K | |
| presupDRT.pl | 29-Apr-2009 13:15 | 4.4K | |
| presupScoreDRT.pl | 29-Apr-2009 13:15 | 4.5K | |
| printDrs.pl | 29-Apr-2009 13:15 | 10K | |
| propResolution.pl | 29-Apr-2009 13:15 | 3.2K | |
| propTableaux.pl | 29-Apr-2009 13:15 | 4.6K | |
| propTableaux2.pl | 29-Apr-2009 13:15 | 5.2K | |
| propTestSuite.pl | 29-Apr-2009 13:15 | 2.3K | |
| readLine.pl | 29-Apr-2009 13:15 | 2.5K | |
| resolvePresup.pl | 29-Apr-2009 13:15 | 3.4K | |
| resolvePresupScore.pl | 29-Apr-2009 13:15 | 4.9K | |
| semOntology.pl | 29-Apr-2009 13:15 | 4.2K | |
| semOntology1.pl | 29-Apr-2009 13:15 | 4.2K | |
| sensitiveCurt.pl | 29-Apr-2009 13:15 | 5.3K | |
| sentenceTestSuite.pl | 29-Apr-2009 13:15 | 2.3K | |
| startClientCurt.pl | 29-Apr-2009 13:15 | 3.1K | |
| superCurt.pl | 29-Apr-2009 13:15 | 11K | |
| threadingDRT.pl | 29-Apr-2009 13:15 | 6.4K | |
| threadingDRT1.pl | 29-Apr-2009 13:15 | 1.1K | |
| usrPredicates.pl | 29-Apr-2009 13:15 | 3.8K | |