Index of /~rumpf/SS2009/ComSem/software/source

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -  
[ ]MACE.exe29-Apr-2009 13:15 160K 
[TXT]acDRT.pl29-Apr-2009 13:14 3.9K 
[TXT]acceptabilityConstraints.pl29-Apr-2009 13:14 4.2K 
[TXT]alphaConversion.pl29-Apr-2009 13:14 2.3K 
[TXT]alphaConversion2.pl29-Apr-2009 13:14 2.2K 
[ ]anldp.exe29-Apr-2009 13:14 56K 
[TXT]auxlib.pl29-Apr-2009 13:14 455  
[TXT]babyCurt.pl29-Apr-2009 13:14 2.8K 
[TXT]betaConversion.pl29-Apr-2009 13:14 2.4K 
[TXT]betaConversion2.pl29-Apr-2009 13:14 2.4K 
[TXT]betaConversion3.pl29-Apr-2009 13:14 2.6K 
[TXT]betaConversionTestSuite.pl29-Apr-2009 13:14 7.4K 
[TXT]bindingDRT.pl29-Apr-2009 13:14 2.1K 
[TXT]callInference.pl29-Apr-2009 13:14 6.9K 
[TXT]callModelBuilder.pl29-Apr-2009 13:14 1.1K 
[TXT]callTheoremProver.pl29-Apr-2009 13:14 1.0K 
[TXT]cleverCurt.pl29-Apr-2009 13:14 4.1K 
[TXT]clientBliksem.pl29-Apr-2009 13:14 1.7K 
[TXT]clientCurt.pl29-Apr-2009 13:14 14K 
[TXT]clientMace.pl29-Apr-2009 13:14 1.6K 
[TXT]clientOtter.pl29-Apr-2009 13:14 1.7K 
[TXT]cnf.pl29-Apr-2009 13:14 2.9K 
[TXT]cnfTestSuite.pl29-Apr-2009 13:14 807  
[TXT]comsemOperators.pl29-Apr-2009 13:14 706  
[TXT]comsemPredicates.pl29-Apr-2009 13:14 7.2K 
[TXT]cooperStorage.pl29-Apr-2009 13:14 4.9K 
[TXT]curtDRT.pl29-Apr-2009 13:14 12K 
[TXT]curtServer.pl29-Apr-2009 13:14 427  
[TXT]discourseGrammar.pl29-Apr-2009 13:14 778  
[TXT]discourseTestSuite.pl29-Apr-2009 13:14 955  
[TXT]drs2fol.pl29-Apr-2009 13:14 2.2K 
[TXT]drsPredicates.pl29-Apr-2009 13:14 7.0K 
[TXT]drsTools.pl29-Apr-2009 13:14 2.0K 
[TXT]englishGrammar.pl29-Apr-2009 13:14 4.1K 
[TXT]englishLexicon.pl29-Apr-2009 13:14 9.0K 
[TXT]exampleModels.pl29-Apr-2009 13:14 1.5K 
[TXT]experiment1.pl29-Apr-2009 13:14 2.1K 
[TXT]experiment2.pl29-Apr-2009 13:14 1.8K 
[TXT]experiment3-1.pl29-Apr-2009 13:14 2.4K 
[TXT]experiment3.pl29-Apr-2009 13:14 1.9K 
[TXT]fol2bliksem.pl29-Apr-2009 13:14 2.6K 
[TXT]fol2otter.pl29-Apr-2009 13:14 2.8K 
[TXT]folTestSuite.pl29-Apr-2009 13:15 1.0K 
[TXT]freeVarTabl.pl29-Apr-2009 13:15 9.2K 
[TXT]holeSemantics.pl29-Apr-2009 13:15 6.2K 
[TXT]holeSemanticsDRT.pl29-Apr-2009 13:15 7.5K 
[TXT]index2.pl29-Apr-2009 13:15 9.5K 
[TXT]kellerStorage.pl29-Apr-2009 13:15 5.0K 
[TXT]knowledgeableCurt.pl29-Apr-2009 13:15 6.5K 
[TXT]laconicCurt.pl29-Apr-2009 13:15 6.9K 
[TXT]lambda.pl29-Apr-2009 13:15 3.7K 
[TXT]lambdaDRT.pl29-Apr-2009 13:15 4.0K 
[TXT]mainPronounsDRT.pl29-Apr-2009 13:15 2.4K 
[TXT]mainPronounsDRTfragment.pl29-Apr-2009 13:15 1.3K 
[TXT]mainPronounsDRTtrace.pl29-Apr-2009 13:15 4.0K 
[TXT]matchDRT.pl29-Apr-2009 13:15 1.3K 
[TXT]modelChecker1.pl29-Apr-2009 13:15 6.0K 
[TXT]modelChecker2.pl29-Apr-2009 13:15 9.8K 
[TXT]modelCheckerDRT1.pl29-Apr-2009 13:15 6.6K 
[TXT]modelCheckerDRT2.pl29-Apr-2009 13:15 11K 
[TXT]modelCheckerTestSuite.pl29-Apr-2009 13:15 1.7K 
[TXT]modelCheckerTestSuiteDRT.pl29-Apr-2009 13:15 1.8K 
[TXT]montague.pl29-Apr-2009 13:15 4.4K 
[ ]otter-in29-Apr-2009 13:15 1.0K 
[ ]otter-out29-Apr-2009 13:15 0  
[ ]otter.exe29-Apr-2009 13:15 220K 
[TXT]pluggingAlgorithm.pl29-Apr-2009 13:15 2.0K 
[TXT]presupDRT.pl29-Apr-2009 13:15 4.4K 
[TXT]presupScoreDRT.pl29-Apr-2009 13:15 4.5K 
[TXT]printDrs.pl29-Apr-2009 13:15 10K 
[TXT]propResolution.pl29-Apr-2009 13:15 3.2K 
[TXT]propTableaux.pl29-Apr-2009 13:15 4.6K 
[TXT]propTableaux2.pl29-Apr-2009 13:15 5.2K 
[TXT]propTestSuite.pl29-Apr-2009 13:15 2.3K 
[TXT]readLine.pl29-Apr-2009 13:15 2.5K 
[TXT]resolvePresup.pl29-Apr-2009 13:15 3.4K 
[TXT]resolvePresupScore.pl29-Apr-2009 13:15 4.9K 
[TXT]semOntology.pl29-Apr-2009 13:15 4.2K 
[TXT]semOntology1.pl29-Apr-2009 13:15 4.2K 
[TXT]sensitiveCurt.pl29-Apr-2009 13:15 5.3K 
[TXT]sentenceTestSuite.pl29-Apr-2009 13:15 2.3K 
[TXT]startClientCurt.pl29-Apr-2009 13:15 3.1K 
[TXT]superCurt.pl29-Apr-2009 13:15 11K 
[TXT]threadingDRT.pl29-Apr-2009 13:15 6.4K 
[TXT]threadingDRT1.pl29-Apr-2009 13:15 1.1K 
[TXT]usrPredicates.pl29-Apr-2009 13:15 3.8K 
Apache/2.2.22 (Debian) Server at user.phil-fak.uni-duesseldorf.de Port 443