![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
| 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 | |