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 | ||