Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
KR.hypoth.html | 2008-12-02 19:22 | 4.1K | ||
Proj1/ | 2007-01-18 15:36 | - | ||
Shaves | 2005-03-10 14:46 | 0 | ||
ag33.CVA_harbinger.pdf | 2003-12-12 11:25 | 628K | ||
aidefs.html | 2005-01-18 20:48 | 1.9K | ||
aigoals.html | 2008-08-25 10:20 | 3.6K | ||
assertions.snepslog | 2005-01-30 18:27 | 1.1K | ||
bays | 2005-01-28 14:30 | 127 | ||
blocks-world-ontology | 2005-01-11 15:10 | 2.0K | ||
blocks-world-ontology.html | 2005-02-16 08:58 | 3.3K | ||
bloom2.gif | 2001-01-10 12:31 | 30K | ||
brooks.html | 2011-04-06 11:11 | 8.8K | ||
clause-form-new.pdf | 2003-09-23 13:57 | 22K | ||
clause-form-new.tex | 2003-09-23 13:57 | 4.0K | ||
clause-form-new/ | 2005-03-16 13:23 | - | ||
clause-form.pdf | 2005-02-14 20:30 | 22K | ||
clause-form.tex | 2005-02-14 11:26 | 4.0K | ||
clause-form/ | 2005-03-16 13:23 | - | ||
collinsquilliannet.pdf | 2005-04-03 11:05 | 81K | ||
course-summary-print.html | 2005-05-02 13:58 | 8.8K | ||
course-summary.html | 2005-05-02 13:58 | 9.2K | ||
data.html | 2010-02-27 20:00 | 3.6K | ||
dilbert20040209-knowledge.gif | 2005-02-11 08:59 | 20K | ||
directory.html | 2005-05-06 16:32 | 5.1K | ||
email.txt | 2005-11-17 18:22 | 473K | ||
emotion-info | 2005-01-31 14:47 | 428 | ||
eng2logic.html | 2010-09-20 16:37 | 3.6K | ||
farside.synsem-small.gif | 2005-02-01 14:36 | 117K | ||
farside.synsem.gif | 2005-02-01 14:34 | 216K | ||
final-answers.pdf | 2005-05-06 21:43 | 46K | ||
finalexam.html | 2005-04-29 11:33 | 2.4K | ||
flyer2.pdf | 2005-03-24 15:03 | 109K | ||
fol-answers.html | 2005-02-27 19:52 | 2.7K | ||
fol-atp.html | 2006-08-24 14:46 | 3.5K | ||
fol-translation.html | 2009-09-27 16:36 | 7.3K | ||
fol.html | 2006-09-15 14:41 | 6.5K | ||
folaskrr.html | 2010-02-19 11:55 | 5.4K | ||
formalsystems.html | 2010-05-26 13:39 | 12K | ||
fundprobkrr.html | 2008-08-27 09:02 | 6.4K | ||
homeworks.html | 2005-04-25 12:42 | 2.4K | ||
hw-template.html | 2005-02-23 18:49 | 1.1K | ||
hw01.html | 2005-02-11 09:55 | 2.3K | ||
hw02.html | 2005-02-11 09:55 | 3.5K | ||
hw03.html | 2005-02-16 16:47 | 2.8K | ||
hw04-exp.html | 2005-02-11 12:33 | 4.6K | ||
hw04.html | 2005-02-15 10:39 | 6.6K | ||
hw05.html | 2005-02-18 11:03 | 3.9K | ||
hw06-answers.html | 2005-03-01 13:42 | 6.6K | ||
hw06.html | 2005-03-11 12:44 | 2.1K | ||
hw07.html | 2005-03-11 14:18 | 2.0K | ||
hw07.pdf | 2005-03-07 11:02 | 42K | ||
hw08.aux | 2005-03-23 09:50 | 8 | ||
hw08.dvi | 2005-03-23 09:50 | 2.4K | ||
hw08.log | 2005-03-23 09:50 | 8.0K | ||
hw08.pdf | 2005-03-23 09:50 | 21K | ||
hw08.tex | 2005-03-23 09:50 | 2.0K | ||
hw08/ | 2005-03-24 12:54 | - | ||
hw09.aux | 2005-03-30 20:12 | 86 | ||
hw09.dvi | 2005-03-30 20:09 | 5.6K | ||
hw09.log | 2005-03-30 20:12 | 8.2K | ||
hw09.pdf | 2005-03-30 20:12 | 23K | ||
hw09.tex | 2005-03-30 20:12 | 5.0K | ||
hw10.html | 2005-04-25 12:43 | 3.7K | ||
intro.aux | 2005-03-31 20:09 | 4.5K | ||
intro.bbl | 2005-03-31 20:08 | 49 | ||
intro.blg | 2005-03-31 20:08 | 878 | ||
intro.dvi | 2005-03-31 20:08 | 25K | ||
intro.html | 2005-01-21 16:14 | 8.4K | ||
intro.log | 2005-03-31 20:09 | 5.6K | ||
intro.pdf | 2005-03-31 20:09 | 13K | ||
intro.tex | 2005-03-31 20:08 | 4.2K | ||
intro.toc | 2005-03-31 20:09 | 3.6K | ||
krresources.html | 2008-08-25 10:14 | 8.9K | ||
many.valued.logic.html | 2003-03-07 09:03 | 4.0K | ||
mccarthy-ref | 2005-02-16 11:26 | 1.4K | ||
midsem-563 | 2005-03-08 21:28 | 5.7K | ||
midterm-answers.pdf | 2005-03-09 16:16 | 35K | ||
new | 2002-12-19 10:35 | 49 | ||
new.gif | 1997-01-21 13:47 | 179 | ||
ontology.html | 2008-09-15 20:22 | 6.4K | ||
pragmatics.pdf | 2005-03-13 14:41 | 25K | ||
proj1-update.txt | 2005-03-28 14:29 | 4.5K | ||
proj2.html | 2005-04-15 12:44 | 2.3K | ||
projects.html | 2005-04-15 11:15 | 1.4K | ||
propersubwff.html | 2005-02-25 16:24 | 5.7K | ||
pul | 2003-12-04 21:56 | 22 | ||
queries.snepslog | 2005-01-30 18:31 | 781 | ||
represent-oed.html | 2005-02-01 14:17 | 77K | ||
represent-oed_files/ | 2005-02-01 14:17 | - | ||
resolution-eg.html | 2005-03-30 11:29 | 2.8K | ||
resolution.pf.html | 2005-03-16 14:25 | 2.5K | ||
rothstein-on-godel.html | 2005-03-30 08:50 | 79K | ||
rothstein-on-godel_files/ | 2005-03-29 21:16 | - | ||
sally | 2005-03-07 09:59 | 84K | ||
sallyforth-ifthen.pdf | 2005-03-08 20:31 | 117K | ||
satisfaction-bkp.html | 2005-03-03 13:39 | 8.2K | ||
satisfaction.html | 2005-03-03 13:40 | 8.2K | ||
satisfaction.pdf | 2005-03-04 11:20 | 24K | ||
satisfaction/ | 2005-03-04 11:17 | - | ||
schagrinetal85-ch6.pdf | 2005-02-19 16:57 | 2.9M | ||
schagrinetal85-qfrrules.pdf | 2005-03-23 11:50 | 1.9M | ||
sendreturn.html | 2005-02-14 11:10 | 2.7K | ||
supset.gif | 2005-02-11 12:27 | 63 | ||
syl.html | 2005-04-21 20:41 | 34K | ||
synsem.html | 2010-02-22 20:15 | 13K | ||
template.tex | 2005-04-04 11:44 | 1.4K | ||
template.tex.txt | 2005-04-04 11:44 | 1.4K | ||
tree-of-porphyry-en.jpg | 2005-04-02 22:37 | 64K | ||
tree-of-porphyry.jpg | 2005-04-02 22:33 | 169K | ||
unification.eg.pdf | 2005-03-31 14:52 | 17K | ||
unification.pdf | 2003-09-28 12:29 | 27K | ||
unificationalg.pdf | 2005-03-28 12:39 | 21K | ||
update | 2002-08-16 11:10 | 57 | ||
update.html | 2003-02-20 08:57 | 314 | ||
updated.gif | 1997-02-06 15:00 | 213 | ||
vdash | 2005-02-11 12:34 | 67 | ||
vdash.gif | 2005-02-11 12:33 | 64 | ||
wang.html | 2005-02-21 14:37 | 2.5K | ||
whatiskr.html | 2010-01-27 08:54 | 12K | ||