home *** CD-ROM | disk | FTP | other *** search
/ Monster Media 1994 #1 / monster.zip / monster / FREQ_QA / AI_5.ZIP / 00000158.TXT
Text File  |  1994-03-15  |  61KB  |  1,050 lines

  1. Uï∞ü∞WVìF≡PÜ(α â─ìF≡PÜ0α â─Ä┬ï╪ï√îF÷&èO ╕╙αëF°&ïGï╚&ïG║ï≥Ö≈■╛<ï┴ï╩ï╨ï┴ëå⌠■ï┬Ö≈■ï╞ï╩≈«⌠■ï≡±╗Ä$6ë₧·■îåⁿ■&╟  ╗~Ä&6ë₧÷■îå°■&ïÄF÷&9EtLÉΦ2╕pP3└P ╢°■ ╢÷■Üα â─ÄF÷&ïE─₧÷■&ëÄ(6&â>ptÄ*6&â>vt
  2. Ü£┘ÜT┘ÄF÷& E╟F·Ä,6&â>Θ▀ë~⌠╟F■╕⌠╣ùëå≡■ëÄ≥■ëvⁿïFⁿ─₧≡■&─^■ë₧∞■îåε■&9~ΘÖï├î┬ì~öï≤Ä┌╣-≤ÑñèFó*ΣàF°tz8f╥t èF╥─^⌠&8GuiÇ~╤t èF╤─^⌠&8GuWïFⁿ+Fö;Fû| ïFⁿ9Föuâ~ût÷Fÿ@t8èFú─^⌠&8Gt,ïFⁿ+Fö;Fû~<Ä.6&â>t0─^⌠&èG─₧≡■&─ïv■&ê@âF■[ F·ïF·Ä,6&9~Θ2 Θ⌡èFú─^⌠&8Gu ÷FÖu╙ïv·Θzïv·─₧·■&ë7╗XÄ06ë₧Φ■îåΩ■&─?& ╡& ╡Ü£┘â─ìDP─₧Φ■&─& ╖╥& ╖╨Ü┌α    â─Ä26&â>|u Ä46&╟zÄ66&╟¬─^⌠&èGï╚ï╞╗[≈δï╪Ä86&─>⌠&êIÄ86&─⌠ï°&Ça■ÉΦÇ~¿t;èF¿*ΣP─₧Φ■&─& ╖╓& ╖╘Ü┌α    â─Ä46&╟zèF¿*ΣPܵ┘â─ΘvÄ:6&í▓& ░uΘdÄ26&â>|u Ä46&╟z─₧Φ■&─& ╖┌& ╖╪Ü┌α    â─Ä<6& 6¿& 6ªÜ`┘â─Üû┘ܼα    ╕PÜ,╣ â─Ä>6&íF&ïHëåΣ■ëûµ■ ╨t8 ╢µ■Pìå■■PÜ╝
  3. α â─ ÷|ìF▒Pìå■■PÜh
  4. α â─ìå■■PÜ╠┘â─Ä:6& 6▓& 6░ìå■■PÜ╝
  5. α â─ ÷|ìF▒Pìå■■PÜh
  6. α â─ìå■■PÜ╠┘â─Ä*6&â>vtܼα    Ü«┘ÜB┘Ül┘░P░PÜ╢]    â─Ä@6& 6á& 6₧Ü`┘â──₧Φ■&─& ╖▐& ╖▄Ü┌α    â─╕pPÜ╒    â─ÄB6&úR&ëT─₧·■&ë7ïF₧ÄD6&úïFáÄF6&ú Üf┘─₧·■&ë7÷FÿtÄH6&Ç&│ÄJ6&╞ƒδÉÄH6&Ç│ÇÄJ6&╞ƒèfÖ%=└≈╪ÄL6&úïF₧ÄD6&úïFáÄF6&ú ^_ïσ]╦ÉUï∞ü∞▐VÄN6& 6 & 6ìår PÜ╝
  7. α â─ÄN6& 6 & 6ìå" PÜ╝
  8. α â─╕vPìår PÜh
  9. α â─╕éPìå" PÜh
  10. α â─ìFαPìår PÜXXα â─@uΘNìF┬Pìå" PÜXXα â─@uQÄN6& 6 & 6ìå" PÜ╝
  11. α â─ÄP6& 6(& 6&ìå" PÜh
  12. α â─ìF┬Pìå" PÜXXα â─@uΘτïF≥ïV⌠9V╓vΘ┘r9F╘vΘ╧â~≡}Θ╞    â~ε[sΘ╗╕ÇPìår penn.edu> so that he can make your binary
  13.    available.
  14.  
  15. See also LIFE, SLG, and XSB in [2-1] and BeBOP in [2-3].
  16.  
  17. ----------------------------------------------------------------
  18. Subject: [2-8] Commercial Logic Programming Systems
  19.  
  20. None so far. This is to be expected, as most logic programming systems
  21. are experimental.
  22.  
  23. ----------------------------------------------------------------
  24. ;;; *EOF*
  25. Φ9V■w1r9Fⁿs*ëF≥ëV⌠ëF÷ëV°Ä06&─X& ╖Γ& ╖αÜ┌α    â─δÉïFⁿïV■ëF≥ëV⌠ëF÷ëV°╕ÇP╕üPìFäPܬCα â─ï≡â■ uΘ╞╕P 6d 6bVÜh4α â─╕pP╕~╣ùQPVÜh4α â─3 ╗Ä,6ë₧0 îå2 &9?~Dëvⁿ3╔ëN■ï±╕ùÄ╪─⌠▐â├ë₧, îå. &÷Gt &÷u&Çg■â╞[G─₧0 &9?╨ïvⁿìF·P╕[─₧0 &≈/PÄ86& 6÷& 6⌠VÜWα â─ VÜ╚2α â─ìF≥PìFäPÜ«Rα â─^_ïσ]╦ÉUï∞â∞TWVÄN6& 6 & 6ìF¼PÜ╝
  26. α â─╕ªPìF¼PÜh
  27. α â─╕▓PìF¼PÜ¿α â─ï≡ëV■ ╨t)ïF■PV╣Q╣pQ╣~║ùRQï°Üxα â─ WVܪα â─^_ïσ]╦ÉUï∞â∞"WVìFΦPÜ(α â─ìFΦPÜ0α â─ï°ëVε╕<Ä┬&≈m&EëF⌠ÄT6&╟  ÄFε&èM ╕╙αëF≡╟F÷╕ & E╟F·ë~∞Ä,6&íëFµ └Θ╔Ä86&í⌠&ï÷ï╪ëV■Ä$6&íëFΣïN·╕╘Ä╪9NΣuΘïâ~t    ÄF■&÷
  28.    Minds and Machines 2(4) November 1992 was devoted to music and cognition,
  29.    and there were some relevant book reviews in 3(1) February 1993.
  30.  
  31. ----------------------------------------------------------------
  32. ;;; *EOF*
  33. uZÄF■ìw╨&è*ΣàF≡tJÄF■&èêFΓ
  34. └t    ÄFε&8Eu4ÄF■ìw &èêFα
  35. └t    ÄFε&8EuÄF■ìw┬&ïF≥ëF°;F÷}ëF÷ëâ├[A9Nµïü~÷áïV÷δ║áâ~tâ·}║ï┬^_ïσ]╦Éear all searchUï∞ü∞╢WV╕╚Pܬ α â─ï≡ëV■ ╨t5╕╨PÜ6    â─ └u$ïF■PVìåV PÜ╝
  36. α â─ìåV PÜ┘â─δÉ╞åV ╕▄PìåV PÜh
  37. α â─ìF╓PìåV PÜXXα â─ └t$ìåV P╕ΦP╕╠(PÜ─α â─ ╕·PÜ≤α â─ï~ΣW╕PÜα â─ï≡ëV· ╨u╕ P╕╠(PÜ─α â─╕·PÜ≤α â─╕P╕-PìåV PÜ26    â─
  38. ëFⁿëV■ ╨u$ìåV P╕0P╕╠(PÜ─α â─ ╕·PÜ≤α â─ v■ vⁿW╕P v·VÜα â─ ;╟t2ìåV P╕LP╕╠(PÜ─α â─  v■ vⁿܪα â─╕·PÜ≤α â─ v■ vⁿܪα â─ └t$ìåV P╕wP╕╠(PÜ─α â─ ╕·PÜ≤α â─ïF·╗
  39. Ä 3ë₧R îåT &ë7&ëGìL╗XÄ"3ë₧N îåP &ë&ëGÄ└&ï<ü pt#╕pPW╕ÖP╕╠(PÜ─α â─ ╕·PÜ≤α â──₧N &ï&ïWï╧╤ß╤ß┴ï≡ëVⁿ╟F°â ~>║ìM ëV■ëv·ë~÷ï≥ï~·╕ùÄ╪ÄZïX&ï&+╟ïVⁿ&ë&ëPâ╞IuΣïv·─₧N &─ïFⁿ&ë7&ëG─₧R &─&ï╤α╤α&G├î┬ï°ëV÷ï╪&ïÄ$3&ú·    â╟ï┬&ë>
  40. &ú
  41. &ï·    ╤π╤π▀Ä┬&ïÄ&3&ë║ìOëF÷&ë└&ú┬&ï║╤Γ╤Γ╩ï∙╗HÄ(3ë₧J îåL &ë&ëGâ┴Ä*3&ë┤&ú╢ÄF÷&ï╤Γ╤Γ╩ï±ëFⁿPQÜ" α â─@≡╟F°─₧J &─&â?~Gë~⌠║ëV■ëv·ï≥ïN°ï~·╕ùÄ╪─┤&ï&+╟ïVⁿ&ë&ëPâ╞A─₧J &─&9┌ï~⌠ïv·Ä*3&─┤ïFⁿ&ë7&ëG─₧J &─&ï@╤α╤α&G°ïF÷Ä,3&ë>ä
  42. &úå
  43. ìMÄ.3&ë▄ &ú▐ ╕^_ïσ]╦É&àÜuΘ0  Uï∞â∞.WVÜ4┘ÄZ9&╟3└Ä\9&ú6Ä^9&ú"Ä`9&ú╓ Äb9&úrÄd9&ïbÄf9&ëdÄh9&ïfÄj9&ëh+╔ëN÷ëN⌠ v vÜZ α    â─RP╕╠"P╕r ╣ùQPÜαα â─ ╕÷╣ùïVï^ï±Vï°ï≥Ä┴Ä█╣≤Ñ^║╢╣ùëV≡ëN≥Vï·ï≡Ä┴╣≤ÑÄl9&â>nu-Än9&─X& ╖B& ╖@Ü┌α    â─╕╧"PÜ|α    â─3└Θb╕r ╣ùQPÜÆ┘â─ └tτï~
  44.  Θ╛╕P v≥ v≡PÜ┘â─ └t!2└P░PÜ╢]    â─Äp9&àÜt¡ÜN┘δªÉ2└P░PÜ╢]    â─Äp9&àÜuÜ╬┘╕,
  45. ╣ùQPÜ╚┘â─2└P░PÜ╢]    â─Äp9&àÜuΘ0  ~+└PPÜ(α â─ëF⌠ëV÷╕PÜⁿ┘â─+└PPÜ(α â─ï╚ï┌+F⌠V÷Ä~9&ú║&ë╝SQ v÷ v⌠ï≡ï∙ëvΓëVΣï≤Ürα    â─ëFⁿëV■Ä~9&Ω&∞╣d3█SQRPÜåα ëF°ëV·╕dÖRP v■ vⁿÜ║α ëFⁿëV■ v· v°RP╕<ÖRP╣─ ╗  SQ╕ÖRP vΣ vΓÜ║α RPëF▐ëVαÜTα ╣─ ╗  SQ vα v▐ëF┌ëV▄ÜTα ╣<3█SQ vΣ vΓëF╓ëV╪Ü║quest@cs.cmu.edu. Bugs should be sent toπ   elp-bugs@cs.cmu.edu.ππSee the Scheme FAQ for information on implementations of Prolog in Scheme.ππ----------------------------------------------------------------π;;; *EOF*ππΦé─^µ&â?tMÄt9&â>vtA╕P╕PÄv9& 68& 66Ü`┘â─╕PÄx9&áGPÄv9& 68& 66Ü≡┘â─╕Θå  tΘ╣╕╘Ä╪╕[≈.ï╪╕ùÄ└&í⌠&ï÷Ä┬╪îFε&÷GÇt1&9}&ïG≈╪╣ùÄ┴&;z
  46. ~3└Θ6╕ùÄ└&íz
  47. ÄFε&9G|τ╕╘Ä└&íëFΩ └u╕╘Ä└&â>tÄFε&÷Gu╕ùÄ└&÷Ç
  48. t│â~Ωu╕╘Ä└&â>tÄFε&÷Gt╕ùÄ└&÷Ç
  49. uë╕P v≥ v≡PÜ┘â─ └tΘ}ⁿÜ╬┘╗pÄr9ë^µîFΦ&â?tMÄt9&â>vtA╕P╕PÄv9& 68& 66Ü`┘â─╕PÄx9&áJPÄv9& 68& 66Ü≡┘â─+└PPÜ(α â─ëF⌠ëV÷Äz9&â>|u Ä|9&╟z╕,
  50. ╣ùQPÜî┘â─ï≡ ÷|Θ%ⁿ─^µ&â?tMÄt9&â>vtA╕P╕PÄv9& 68& 66Ü`┘â─╕PÄx9&áGPÄv9& 68& 66Ü≡┘â─╕P v≥ v≡╕PÜ┘â─ï╞ΘÆÄn9&─X& ╖F& ╖DÜ┌α    â─╕P v≥ v≡╕PÜ┘â─Är9&â>ptMÄt9&â>vtA╕P╕PÄv9& 68& 66Ü`┘â─╕PÄx9&áGPÄv9& 68& 66Ü≡┘â─Ü÷┘╕^_ïσ]╦Uï∞â∞WV╕ P3└ÄZ9&úP╕÷╣ùQPÜα â─ÄÇ9+└&ú&ú■ï~  u1Äé9&9>"t2└P░PÜ╢]    â─Äp9&àÜuÜ|]    ÷─uΘ╗Ää9&╟Äå9&íëF· └|#╕[≈n·ï≡Äê9&─⌠&÷@t Ää9&╟2└P░PÜ╢]    â─=  tΘ╨Äz9&â>|u Ä|9&╟zÄr9&â>ptÄt9&â>vtÜT┘Äé9&â>"t2└P░PÜ╢]    â─Äp9&àÜtΘ  t╛3 δÉ╕⌠PÜ▐┘â─ï≡â■tΘéÄè9&íN& Lts╕dPÜ╒    â─ëFⁿëV■Ü|]    ÷─t6ë~ v■ vⁿÜ`╒    â─ └u!╕dPÜ╒    â─ëFⁿëV■Üè]    Ü|]    ÷─u═Ü°]    3└PÄè9& 6N& 6LÜ└┘â─ΘΩ■â■tm╕pPÜ╒    â─ëFⁿëV■RPÜ`╒    â─ └tΘP■ë~Ü|]    ÷─tΘ@■2└P░PÜ╢]    â─=  tΘ*■Ü─α     v■ vⁿÜ`╒    â─ └t╞Θ■Ü─α    3└δbÉ2└P░PÜ╢]    â─Äp9&àÜt;3└PÜⁿ┘â─ÜN┘Ä^9&â>"uÄ\9&â>6u Ä`9&â>╓ t ÉΦδÜN┘ÉΦ(╕^_ïσ]╦ÉUï∞ü∞·WV╗Äå9ë₧
  51.  îå  &â?|%╕[&≈/Äê9&⌠&ï÷ì~ñï≡Ä┌╣-≤Ññ─₧
  52.  &â?}ΘÄÄ^9&â>"t5Ç~║t/èF║*ΣPÄn9&─X& ╖N& ╖LÜ┌α    â─èF║*ΣPÉΦⁿâ─3÷ì~πÄî9&Ç╝& t1èB╗*ΣPWÄn9&─X& ╖R& ╖PÜ┌α    â─
  53. èB╗*ΣPÉΦ║â─Fâ╟ìF√;°r╕╗╓ Ä`9ë₧ îå &â?u Ä\9&â>6t?─₧
  54.  &â?|5Ç~╣t/èF╣*ΣPÄn9&─X& ╖V& ╖TÜ┌α    â─èF╣*ΣPÉΦOâ─ÄÄ9&í▓& ░uΘ─₧ &â?uÄ\9&â>6uÄ^9&â>"uΘ⌡Än9&─X& ╖Z& ╖XÜ┌α    â─ÄÉ9& 6¿& 6ªÜ`┘â─Üû┘ܼα    ╕PÜ,╣ â─ÄÄ9& 6▓& 6░ìå PÜ╝
  55. α â──₧
  56.  &â?|ìF┴Pìå PÜh
  57. α â─Ü╥┘ìå PÜ╠┘â─Ü╞┘░P░PÜ╢]    â─Än9&─X& ╖^& ╖\Ü┌α    â─ÄÆ9& 6á& 6₧Ü`┘â─Ü┘╕pPÜ╒    â─Äö9&úR&ëT3└Ä^9&ú"Ä\9&ú6─₧ &ë^_ïσ]╦ÉUï∞ÜÇ┘╕╨"PÄû9& 6°& 6÷Än9&─X& ╖å& ╖äÜ┌α    ïσÄÉ9& 6¿& 6ªÜ`┘ïσÜû┘Ät9&â>vtÄÿ9& 6╕3└PÜ≥]    ïσÄÜ9&â>LtÜr╣ Ä£9&â>duÜ.]     vÜ≤α ïσ]╦Uï∞Vïv ÷u3└Öδ,Ü─α ï╚ï╞Ö+┬╤°ìTï╪ï┴ï╩Ö≈∙ï┬├╣d≈ΘPÜ╒    â─^ïσ]╦ÉUï∞â∞WVï~Ä₧9&íB&ïDÄF&9Eu    &9U
  58. uΘ&ïE
  59. & EuΘÄá9&─α&╞Äó9& 6▐& 6▄╕╞KPÜ╝
  60. α â─╕╞KPÜ" α â─╞KëF÷î^°╟F■Äñ9&í& uΘ╗ï~■─N╕ùÄ╪ï±ïïW&9Du&9T
  61. tGâ├ïG uΓΘφÉĪ9ï▀╤π╤π&ïç╢&ïù╕ëV⌠ ╨uΘ╠ïV⌠ï≡ëVⁿÄ┬ï▐&Ç?u$ï~÷Ä¿9&â>t3╕┌"P v°WÜαα â─ΘùÉï~÷Ä^ⁿÄF°ï▐Fèï▀G&êÇ<u≡δ┬É─^& 7╕▄"P v°Wδ_ÉĬ9& 6╓& 6╘╕╞KPÜ╝
  62. α â─╕╞KPÜ" α â─╞Kï≡î^°Ä¼9&í≡ÄF&9t&Ä¿9&â>uÄF& 5╕π"PìD  v°PÜαα â─
  63. ╕╞Kî┌^_ïσ]╦ÉUï∞â∞Ät9&â>vuΘ½Är9&â>puΘ£3└PÜ,╣ â─Äå9&í@P╕Ω"P╕r ╣ùQPÜαα ╕
  64. αP╣QÄ«9& 6·& 6°Ü`┘â─╕r ╣ùQPÄ«9& 6·& 6°ÜZ┘â─Ä░9&í£@PÄ▓9& 6╛
  65. ╕∩"P╕r ╣ùQPÜαα â─ ╕
  66. P╕PÄ«9& 6·& 6°Ü`┘â─╕r ╣ùQPÄ«9& 6·& 6°ÜZ┘â─ÉΦΣÄ┤9&íbëF■ └t'PÄ╢9& 6& 6╕·"P╕r ╣ùQPÜαα â─δ$ÉÄ╢9& 6& 6╕ #P╕r ╣ùQPÜαα â─ ╕P╣QÄ«9& 6·& 6°Ü`┘â─╕#PÄ«9& 6·& 6°ÜZ┘â─╕P╕PÄ«9& 6·& 6°Ü`┘â─╕r ╣ùQPÄ«9& 6·& 6°ÜZ┘â─3└PÄ╕9& 6^Üα    ïσ]╦ÉÄt9&â>vt&Är9&â>pt╕ PÄ║9& 6û& 6öÜÉ┘â─╦ÉUï∞â∞.WVï~╗FLï≤î^·╞  }Θdï╟╣[≈ΘëF╘╗⌠Äê9ë^╓îF╪&─╪&÷Gt╞FLBï╞î┌@ï≡ëV·â~t    Ä┬ï╪F&╞ ─^╓&─^╘&÷GtÄF·ï▐F&╞Cistics.archive.umich.edu:linguistics/LSA.email.list πor by sending a message to listserv@tamvm1.tamu.edu with π"get lsa lst linguist" in the message body.ππA list of "Who's Who in Fuzzy Logic" may be obtained by sending aπmessage to listserver@vexpert.dbai.tuwien.ac.at withπ  GET LISTSERVER WHOISWHOINFUZZYπin the message body. New entries and corrections should be sent toπRobert Fuller <rfuller@finabo.abo.fi>. ππ----------------------------------------------------------------ππ;;; *EOF*πtï^╘─~╓&─=&÷At
  67. ÄF·ï▐F&╞XÄF·&╞╕FLî┌^_ïσ]├ÉUï∞Ät9&â>vuΘ╚Är9&â>puΘ╣Ä╝9&â>≡uÉΦ²3└PÄå9& 6Φ+²ïσRPÄå9&í@P╕5#P╕r ╣ùQPÜαα ïσ╕
  68. P╣QÄ«9& 6·& 6°Ü`┘ïσ╕r ╣ùQPÄ«9& 6·& 6°ÜZ┘ïσ╕
  69. P╕PÄ«9& 6·& 6°Ü`┘ïσ v vÄ«9& 6·& 6°ÜZ┘ïσÜT┘ïσ]╦Uï∞ü∞¼WV3└PÜz┘â─ï°╗Ä╛9ë₧` îåb &â?}ΘTÄt9&â>vuΘEÉΦⁿW─₧` &ï@P╛XÄn9ë╢\ îå^ &─& ╖f& ╖dìåd PÜαα â─ ╕P╕P╗öÄ║9ë₧X îåZ & w& 7Ü`┘â─ìåd P─₧X & w& 7ÜZ┘â─╕P─₧` & 7Φ╦√â─Ä┬ï╪ï≤îF·&Ç?tTï┬PV─₧\ &─& ╖j& ╖hìåd PÜαα â─ ╕PP─₧X & w& 7Ü`┘â─ìåd P─₧X & w& 7ÜZ┘â─╗╠Ä└9ë₧T îåV &ïG& uΘ9& w& 7ìåd PÜ╝
  70. α â─╕A#Pìåd PÜh
  71. α â─╕P╕J#Pìåd PÜ26    â─
  72. ï≡ëV· ╨uΘεïF·PV╣QQìN⌠Qï°Üα â─ ëFⁿWVܪα â─â~ⁿuΘ┐ïvⁿ╤µïr≥─₧T & w& 7ìåd PÜ╝
  73. α â─╕M#Pìåd PÜh
  74. α â─3└PìÄd QìN╚QÜ*6    â─
  75. └uqëv■ìFµPÜó α â─;╞╕Pìåd PìF╚PÜ*6    â─
  76. └t╘δ@É╕2P╕P─₧X & w& 7Ü`┘â──₧\ &─& ╖n& ╖l─₧X & w& 7ÜZ┘â─ÜT┘^_ïσ]╦R$bàCLS╦░Uï∞â∞.WVÄ╬4╕ù┐µ╛Φ Ä╪╣≤ÑÄ╨4&╟╝
  77. ╕&╣╘QPÜ(α â─Ä╥4+└&ú,&ú*&ú(&ú0&ú.╗pÄ╘4ë^ΣîFµ&9t&Ä╓4&9vtÄ╪4&─X& ╖& ╖Ü£┘â─╟Fⁿ≥Ä┌4ï^ⁿ&â?uΘ╟ï├-╣ùì~Φï≡Ä┘╣≤Ñâ~εt%ïFεëF∞╟FεÄ▄4&íèëFΓ └~ëFΩδÉ╟FΩìFΦPÜ■α    â─RPÄ╬4& 6°& 6÷╕Γ
  78. P╕r ╣ùQPÜαα â─╕r ╣ùQPÜéBα â─ìFΦPÜ■α    â─RP╕δ
  79. P╕r ╣ùQPÜαα â─ ╕r ╣ùQPÜéBα â─âFⁿ ü~ⁿjsΘ) +└ëF≥ëF≡ëFΦëFΩëF∞ëFε╗εÄ▐4ë^▐îFα&ëÄα4&â>v└% ╗Σ ÄΓ4ë^┌îF▄&ëÄΣ4&â>x╔≈┘ ┴─^┌&ëĵ4&í╛
  80. ÄΦ4&9«s ÄΩ4&â> t─^┌&Ç3└P╣╢║ùëN╓ëV╪RQ╣QÉΦDâ─â~uΘ╬╕÷╣ùQP╕PÜ╝α    â─Üÿ┘ └tΘuÜ░┘HtpHtHHtMΘcܬ┘ └uΘW─^▐&ï─^┌&àub╕Ä∞4&úhÄε4&údÄ╪4&─X& ╖Æ& ╖ÉÜ┌α    â─δñÜñ┘ └uΘ─^▐&ï─^┌&àu2δ┤Ä∞4&╟h3└PÜ₧┘ΘΣÄ≡4&╟T  ╕Ä∞4&úhΘ┼É╕Θ╛╕t╣ùëF╥ëN╘ÉΦ3 ─^╥&9?~1╛Ä≥4& t& 4╕ª    ╣ùQPÜ╠Fα â─ └uΘâ╞G─^╥&9?╥Ü╢┘ï°HuΘ≤HuΘGHtvHuΘ╛â }ΘWÄ⌠4&ít;╟ΘE2└P░PÜ╢]    â─Ä÷4&àÜuΘ)ìFΦP╕PÜ╝α    â─3└P v╪ v╓╕PÉΦ⌐â─Ä°4╤τ& ╡Ü┌┘ΘφÉÜ╘┘ └uΘπ─^▐&ï─^┌&àtΘü╕Äε4&údÄ∞4&úhÄ╪4&─X& ╖Æ& ╖ÉÜ┌α    â─Θµ■Ü╬┘ └uΘò─^▐&ï─^┌&àtΘπδ░Éâ╟Θ6 2└P░PÜ╢]    â─Ä÷4&àÜuΘ_Ä·4&â>tΘPìFΦP╕PÜ╝α    â─3└P v╪ v╓╕PÉΦ╨â─Ü╚┘Θ"É2└P░PÜ╢]    â─Ä÷4&àÜuΘ╟FΦⁿìFΦP╣QÜ╝α    â─╟FΦÄⁿ4& é─^Σ&â?tpÄ╓4&â>vtdÄⁿ4& 6é& 6Ç╕≥
  81. P╕r ╣ùQPÜαα â─ ╕P╕PÄ■4& 6& 6Ü`┘â─╕r ╣ùQPÄ■4& 6& 6ÜZ┘â─ÜT┘Ä∞4&╟h3└PÜ┬┘ΘOÉ╕÷╣ùQP╕PÜ╝α    â─Äⁿ4& é─^Σ&â?tpÄ╓4&â>vtdÄⁿ4& 6é& 6Ç╕°
  82. P╕r ╣ùQPÜαα â─ ╕P╕PÄ■4& 6& 6Ü`┘â─╕r ╣ùQPÄ■4& 6& 6ÜZ┘â─ÜT┘Ä≡4&╟T  Ä∞4&╟hΘùÉ╕÷╣ùQP╕PÜ╝α    â─Äⁿ4& é─^Σ&â?tpÄ╓4&â>vtdÄⁿ4& 6é& 6Ç╕■
  83. P╕r ╣ùQPÜαα â─ ╕P╕PÄ■4& 6& 6Ü`┘â─╕r ╣ùQPÄ■4& 6& 6ÜZ┘â─ÜT┘3└PÜ╝┘â─Ä5&╞ª    Ä5&íbÄε4&údÄ5&ífÄ∞4&úh╕P v╪ v╓╕PÉΦfâ─3└P v╪ v╓╕PÉΦQâ─^_ïσ]╦WV╕ùÄ╪+└úú■úⁿú·ú°ú÷╣ùÄ┴&úε╣ùÄ┴&úr╣ùÄ┴&ú╓ ╣ùÄ┴&ú6╣ùÄ┴&ú"╣╘Ä┴&úµ╣ùÄ┴&ú╝
  84. ╣ùÄ┴&ú≥╕ùÄ└╕ù┐µ╛Φ Ä╪╣≤Ñ^_╦ÉUï∞â∞V╕XPÜ╒    â─ëF·ëVⁿRPÜ`╒    â─ └uuïv2└P░PÜ╢]    â─Ä÷4&àÜtYܵα     └uP2└P░PÜ╢]    â─÷─ tÄFï▐F&è
  85. └t*<t&PÜ÷]    â─δÉÜ─α     vⁿ v·Ü`╒    â─ └tùδÉ╕δ'É2└P░PÜ╢]    â─Ü:]    ╕
  86. PÜÄα    â─Ü°]    3└^ïσ]╦ÉUï∞ü∞(WV╗bÄ5ë₧▐■îåα■&â?uΘ] v
  87.  vÜα┘rsions for CLX, Express
  88. Windows, NCW, CLUE, CLM/GINA, Common Windows, LispView, Winterp, CLIM
  89. and YY. Several implementations have a mouse sensitivity feature and
  90. others have implementation-specific features.  A copy has been made
  91. available from the Lisp Utilities Repository. For further information,
  92. contact Masayuki Ida <ida@csrl.aoyama.ac.jp>.
  93.  
  94. ----------------------------------------------------------------
  95. ;;; *EOF*
  96.  
  97. ╪4&─X& ╖>& ╖<Ü┌α    â─ΘU■ïF■PVܪα â─ìFΓPìåb PÜh
  98. α â─ìåb PìåΓ■PÜ<α â─ └uX9F t!ìåb PÄ╪4&─X& ╖B& ╖@Ü┌α    â─íFï╚╤α┴╤α╤αεDëFⁿî^■ FïFïV
  99. ï≡Ä┌─~ⁿ╣≤ÑΘ≤Éâ~ t+ v
  100.  vÜZ α    â─RPÄ╪4&─X& ╖F& ╖DÜ┌α    â─ìåΓ■PÜéBα â─Θâ²â>FuΘy²3÷96F~%┐εD╕ P v
  101.  vWÜdα â─
  102. └t
  103. â╟ F;6F|▐96F/â~ uΘ=² v
  104.  vÜZ α    â─RPÄ╪4&─X& ╖J& ╖HΘ╖■ï~ÄF
  105. &â}t=& u& u v■ vⁿ╕i Pìåb PÜαα â─ÄF
  106. & u╕y PìFΓPÜαα â─
  107. δ2É v■ vⁿìåb PÜ╝
  108. α â─ÄF
  109. & u& u╕é PìFΓPÜαα â─ ï▐╤πü├Fë₧╪■â?tÄ5& 6┌& 6╪ìåb PÜ╝
  110. α â─ìFΓPìåb PÜh
  111. α â─ï₧╪■╟ï■F;6F}rï╞╤αFëF·ï╟╤αFëF°ï╞╤α╞╤α╤αεDëF■ï╟╤α╟╤α╤αεDëFⁿíF+╞ëF÷ë~≥ëv⌠ïF■ï^ⁿï√ï≡╣≤Ñï^·âF·ïï^°âF°ëâFⁿ âF■  N÷u╨ Fìåb PÜéBα â─ └u$9F uΘ╗√ìåb PÄ╪4&─X& ╖N& ╖LΘ?²â~ uΘ├ìåb PÄ╪4&─X& ╖R& ╖PÜ┌α    â─ΘƒÉÄ5&í╪&ï┌ëå┌■ëû▄■ ╨uΘé─₧▐■& 7 ╢▄■P╕ Pìåb PÜαα â─╕ Pìåb PÜ¿α â─RPܪα δDÉÄ5&í╪&ï┌ëå┌■ëû▄■ ╨t-─₧▐■& 7 ╢▄■P╕ Pìåb PÜαα â─ìåb PÜéBα â─3└^_ïσ]╦Uï∞â∞(╗$Ä
  112. 5ë^▐îFα&â?uΘ≡╗╪Ä5ë^┌îF▄&ïG& uΘ╫íÆ É t 6Æ  6É Ü`╒    â─ └uΘ╖╕dPÜ╒    â─úÉ ëÆ Ä5&íbëF╪ └tP─^┌& w& 7╕ö P╕NFPÜαα â─δ─^┌& w& 7╕ó P╕NFPÜαα â─ ìFΓP╕NFPÜXXα â─ └uD╕NFPÜéBα â──^▐& 7Ä╪4&─X& ╖₧& ╖£Ü┌α    â─Ä 5&╟z─^▐& 7ܵ┘ïσ]╦3└Ä╪9&úRúzLúxLÄ┌9&9ptIÄ▄9&9vt>╕PPÄ▐9& 6û& 6öÜ`┘â─╕╠#PÄ▐9& 6û& 6öÜZ┘â─ÜT┘δÉ╕ε#PÜ|α    â─Ü°]    Äα9&á£$■P░PÜ╢]    â─╕PΦ½â─ └u ÄΓ9&─X& ╖N& ╖LÜ┌α    â─3└δnÉÄ┌9&â>ptJÄ▄9&â>vt>╕PPÄ▐9& 6û& 6öÜ`┘â─╕∙#PÄ▐9& 6û& 6öÜZ┘â─ÜT┘δÉ╕$PÜ|α    â─╕PΦΣâ─╦V3└Ä╪9&úRúzLúxLÄ┌9&9ptHÄ▄9&9vt=╕PPÄ▐9& 6û& 6öÜ`┘â─╕&$PÄ▐9& 6û& 6öÜZ┘â─ÜT┘δ╕H$PÜ|α    â─Ü:]    Äα9&á£$■P░PÜ╢]    â─3└PΦNâ─ └tzÄ┌9&â>ptKÄ▄9&â>vt?╕PPÄ▐9& 6û& 6öÜ`┘â─╕S$PÄ▐9& 6û& 6öÜZ┘â─ÜT┘δÉÉ╕u$PÜ|α    â─3└PΦâ─ï≡ ÷uÜ4┘ï╞^╦ÉUï∞â∞WVÄΣ9&í╕
  113. &ï║
  114. ï°ëV≡ï╚ï┌Ç─ëF≥ëV⌠╕Ç$PSQÜ╝
  115. α â─╕ç$P v≡WΦöâ─╕÷╣ùQPΦrâ─ĵ9&íµï╚╤α┴╤α╤α≡╣ùQPÜZ α    â─RP╕ë$PÜ┌α    â─ĵ9&íµï╚╤α┴╤α╤α≡╣ùQPÜZ α    â─RP v≡WΦ'â─3└ëF■ëF·ÄΦ9&9Σ~Që~ε╛≡ï°Äµ9&9>µt,╕ù$P v≡ vεΦ≡â─╕ùPVÜZ α    â─RP v≡ vεΦ╒â─â╞ GÄΦ9&9>Σ║ï~ε╕Ö$P v≡WΦ┤â─╗8ÄΩ9ë^µîFΦ+└&ëG&ë9Ft╕÷╣ùQPÜ:┘â─ └'â~uZízLï╚╤α┴╤α╤α0╣ùQPÜ:┘â─ └~9─^µ&ïG& t-╕P& w& 7 v⌠ v≥Ü< α â─
  116. ─^≥&╞GS v≡WΦ%â─╕£$P v≡WΦâ─â~t)Ä∞9&â>^uÄε9&â>`t╕ó$δ6╕º$δ1É╕¼$δ+ÉÄ≡9&÷▓t╕▒$P v≡WΦ╠â─Ä≡9&÷│Çu╕╢$P v≡WΦ▒â─╕╗$P v≡WΦóâ─Ä≥9&â>Σ └≈╪¿t+╕ùÄ└&ÇΣ â~u:&íΣ ╣ùÄ┘#εëFΣ¿t╛δ&É╕ùÄ└δ┘É÷FΣt╛δÉïv■¿t
  117. ╛δ&ï6Σ â■└≈╪¿t╕╛$δ`Éâ~t6≈╞t╕├$P v≡WΦâ─≈╞t╕╚$P v≡WΦ√â─ï╞¿t3╕═$δ"É≈╞t╕╥$δÉ≈╞t╕╫$δ
  118. Éï╞¿t╕▄$P v≡WΦ┬â─Ä≡9&÷│Çtâ~tÄ⌠9&â>zu╕ß$P v≡WΦòâ─╕µ$P v≡WΦåâ─╕ε$P v≡WΦwâ─╕≤$P v≡WΦhâ─Ä÷9&â>j uÄΓ9&─X&ïç╝&ïù╛δ╕⌡$î┌ëFⁿëV■RPÄ°9& 6⌠Ä·9& 6≥╕÷$P╕P╕%P v⌠ v≥Üαα â─ v⌠ v≥ v≡WΦⁿâ─╕%P v≡WΦφâ─Äⁿ9& 6║& 6╕Ä■9& 6╛& 6╝Ä:& 6╢& 6┤╕#%P v⌠ v≥Üαα â─ v⌠ v≥ v≡WΦBâ─Ä:& 6╞& 6─Ä:& 6╩& 6╚Ä:& 6┬& 6└╕0%P v⌠ v≥Üαα â─ v⌠ v≥ v≡WΦ⌡â─╕=%P v≡WΦDâ─Ä:&í&&ï(Ç─0ü╥T|RP╕E%P v⌠ v≥Üαα â─  v⌠ v≥ v≡WΦ â─ v≡WÜ" α â─ï≡Äα9&á£$■P░PÜ╢]    â─╟FΩ╕pPÜ╒    â─ëF÷ëV°ëv∞ë~εïv≥ v∞╕O%P v⌠VÜαα â─
  119.  v⌠VÜ" α â─P v⌠VÜj!α    â─ëF■╕P╣Q╣\%QÜJ]    â─╕P v⌠VÜ" α â─P v⌠VÜJ]    â─╕P v∞ v≡ vεÜJ]    â─╟F·â~∞~;ï~■ïv·Ä^≡ï^εèÿï╪ï╟è─*Σ3╪╤π╕QÄ└ï╟èα*└&3çZï°F;v∞|╓ë~■ïv≥Ü°]     v■╕_%P v⌠VÜαα â─
  120. ╕P v⌠VÜ" α â─P v⌠VÜJ]    â─ïFΩ FΩ=vΘτ╕╨PÜ╒    â─ëFⁿëV■ v° v÷Ü`╒    â─ └tΘ 2└P░PÜ╢]    â─Ä
  121. :&àÜuΘ v■ vⁿÜ`╒    â─ └tΘº■Ü|]    ÷─uܵα     └tΘ▒Ü─α    δ¥3└PÜ(α    â─ï°-*uï╕i%P v⌠VÜ╝
  122. α â─ v⌠VΦ2â─ └uΘi  6`# 6^# v⌠VÜ╠Fα â─ └uΘN  6p# 6n# v⌠ v≥Ü╠Fα â─ └tΘ■╕Θ╩ï~εÄΓ9&─X& ╖Ω& ╖Φ╕e%PïF≡PWï≡Üαα â─ ï╞ï≈ëF■ëvⁿΘàÉ2└P░PÜ╢]    â─ÄΓ9&─X&ïçá&ïùóï°ëV■δ\2└P░PÜ╢]    â─Ä
  123. :&àÜuÄΓ9&─X&ïçÇ&ïùéδ╦ÄΓ9&─X& ╖Ω& ╖Φ╕k%PïF⌠PVï°Üαα â─ ï╟ï■ëF■ v■WÜ┌α    â─3└^_ïσ]├Uï∞ü∞ WV╟Få╟åP ╞å{ ╟å8 o%î₧: ╟å< w%î₧> ╟å@ ~%î₧B ╟åD à%î₧F ╟åH ï%î₧J +└ëåN ëåL ÄΣ9&í╕
  124. &ï║
  125. ëåv ëûx Ç─ï≡ëû~ Ç─ï°ëûp Ç─ëår ëût ╗8ÄΩ9ë₧■îå
  126. ■+└&ëG&ëë╛n Ä┌9&9ptHÄ▄9&9vt=╕PPÄ▐9& 6û& 6öÜ`┘â─╕æ%PÄ▐9& 6û& 6öÜZ┘â─ÜT┘δ╕╡%PÜ|α    â─╗TÄ :ë₧■îå■&╟╕╨PÜ╒    â─ëF∞ëVε╕pPÜ╒    â─ëF≡ëV≥+└ëF÷ëF⌠èå{ ■å{ <vΘvâ~uZ 6`# 6^#╕└%P ╢~ VÜαα â─ ╕P ╢~ VÜ" α â─P ╢~ VÜJ]    igher-order logic. Isabelle-93 is not upwardly
  127.    compatible with its predecessor, but comes with advice on converting
  128.    to the new simplifier.  Isabelle-93 is available by anonymous ftp from
  129.    the University of Cambridge,
  130.       ftp.cl.cam.ac.uk:ml/ [128.232.0.56]
  131.    as Isabelle93.tar.gz. It is also available from the Technical
  132.    University of Munich, 
  133.       ftp.informatik.tu-muenchen.de:lehrstuhl/nipkow/ [131.159.0.198]
  134.    The distribution includes extensive documentation, including a 71-page
  135.    introduction, an 85-page reference manual, and a 166-page description of
  136.    the various logics supplied with Isabelle. For more information, write
  137.    to Larry.Paulson@cl.cam.ac.uk and Tobias.Nipkow@informatik.tu-muenchen.de.
  138.  
  139.    MVL      -- t.stanford.edu:/mvl/mvl.tar.Z
  140.                Contact: ginsberg@t.stanford.edu
  141.                Multi-valued logics
  142.  
  143.    Boyer-Moore -- ftp.cli.com:pub/nqthm/nqthm.tar.Z
  144.                   rascal.ics.utexas.edu:/pub/nqthm   128.83.138.20
  145.    See also the pub/proof-checker/ subdirectory, which contains Matt
  146.    Kaufmann's proof checking enhancements to nqthm. 
  147.  
  148.    Nqthm-1992 is the Boyer-Moore theorem prover. The 1992 version of the
  149.    theorem prover is upwardly compatible with the previous (1987)
  150.    version. Included in the distribution are thousands of Nqthm-checked
  151.    theorems formulated by Bevier, Boyer, Brock, Bronstein, Cowles,
  152.    Flatau, Hunt, Kaufmann, Kunen, Moore, Nagayama, Russinoff, Shankar,
  153.    Talcott, Wilding, Yu, and others. The release of Nqthm-1992 includes
  154.    three revised chapters of the book `A Computational Logic Handbook',
  155.    including Chapter 4, on the formal logic for which the system is a
  156.    prover, and Chapter 12, the reference guide to user commands.  Nqthm
  157.    runs in Common Lisp, and has been tested in AKCL, CMU CL, Allegro CL,
  158.    Lucid CL, MCL, and Symbolics CL. Nqthm-1992 is available by anonymous
  159.    ftp from
  160.       ftp.cli.com:/pub/nqthm/nqthm-1992/  [192.31.85.129]
  161.    as the file nqthm-1992.tar.Z. See the file README in the same
  162.    directory for instructions on retrieving nqthm.  See also the 
  163.       /pub/pc-nqthm/pc-nqthm-1992/
  164.    directory (files README-pc and pc-nqthm-1992.tar.Z), which contains
  165.    Matt Kaufmann's interactive proof-checking enhancements to Nqthm-1992.
  166.    For more information, contact Robert S. Boyer <boyer@cli.com>, J.
  167.    Strother Moore <moore@cli.com>, or Matt Kaufmann <kaufmann@cli.com>,
  168.    Computational Logic Inc., 1717 West 6th Street, Suite 290, Austin, TX
  169.    78703-4776.  Send mail to nqthm-users-request@cli.com to be added to
  170.    the mailing list.
  171.  
  172.    DTP is a general theorem prover incorporating domain-independent control
  173.    of inference.  Implemented in CLtL2 Common Lisp, it runs in Franz
  174.    Allegro, Lucid, and Macintosh (MCL) Common Lisp.  It is available by
  175.    anonymous ftp from meta.stanford.edu:pub/dtp/ [36.8.0.54].  Contact
  176.    Don Geddis <Geddis@CS.Stanford.EDU> for more information.
  177.  
  178.    RRL       -- herky.cs.uiowa.edu:public/rrl [128.255.28.100]
  179.                 Rewrite Rule Laboratory
  180.  
  181.    FRAPPS (Framework for Resolution-based Automated Proof Procedures) is
  182.    a portable resolution theorem-prover written in Common Lisp. It is
  183.    available via anonymous ftp from a.cs.uiuc.edu:/pub/frapps [128.174.252.1].
  184.    If you take a copy of FRAPPS, please send a short note to Prof.
  185.    Alan M. Frisch <frisch@cs.uiuc.edu>.
  186.  
  187.    XPNet (X Proof Net) is a graphical interface to proof nets with an
  188.    efficient proof checker. It is available by anonymous ftp to
  189.    ftp.cis.upenn.edu:/pub/xpnet.tar.Z [130.91.6.8]. For further
  190.    information, write to Jawahar Chirimar <chirimar@saul.cis.upenn.edu>, 
  191.    Carl A. Gunter <gunter@saul.cis.upenn.edu>, or Myra VanInwegen
  192.    <myra@saul.cis.upenn.edu>.
  193.  
  194.    Gazer is a sequent calculus based system for first order logic with a
  195.    novel inference rule, gazing, that enables the system to determine
  196.    which of a possibly large number of definitions and lemmas should be
  197.    used at any point in a proof. Available from the authors, Dave
  198.    Barker-Plummer <plummer@cs.swarthmore.edu> and Alex Rothenberg
  199.    <alex@cs.swarthmore.edu>. 
  200.  
  201.    KEIM is a collection of software modules, written in Common Lisp with
  202.    CLOS, designed to be used in the production of theorem proving
  203.    systems.  KEIM is intended to be used by those who want to build or
  204.    use deduction systems (such as resolution theorem provers) without
  205.    having to write the entire framework. KEIM is also suitable for
  206.    embedding a reasoning component into another Common Lisp program.
  207.    KEIM offers a range of datatypes implementing a logical language of
  208.    type theory (higher order logic), in which first order logic can be
  209.    embedded.  KEIM's datatypes and algorithms include: types; terms
  210.    (symbols, applications, abstractions), environments (e.g., associating
  211.    symbols with types); unification and substitutions; proofs, including
  212.    resolution and natural deduction style. KEIM also provides
  213.    functionality for the pretty-printing, error handling, formula parsing
  214.    and user interface facilities which form a large part of any theorem
  215.    prover. Implementing with KEIM thus allows the programmer to avoid a
  216.    great deal of drudgery.  KEIM has been tested in Allegro CL 4.1 and
  217.    Lucid CL 4.0 on Sun 4 workstations.  KEIM is available for
  218.    noncommercial use via anonymous FTP from
  219.       js-sfbsun.cs.uni-sb.de:pub/keim/keim*
  220.    For more information contact Dan Nesmith, Fachbereich Informatik/AG
  221.    Siekmann, Universitaet des Saarlandes, Postfach 1150, D-66041
  222.    Saarbruecken, Germany, or send email to keim@cs.uni-sb.de.  A mailing
  223.    list for KEIM users is also being set up.  Send mail to
  224.    keim-users-request@cs.uni-sb.de to be put on the list.
  225.  
  226.    The TPTP (Thousands of Problems for Theorem Provers) Problem Library
  227.    is a collection of test problems for automated theorem provers (ATPs),
  228.    using the clausal normal form of 1st order predicate logic.  The goal
  229.    of the TPTP is to provide a firm basis for the testing, evaluation,
  230.    and comparison of ATP systems through a comprehensive library of ATP
  231.    test problems in a general purpose format. The TPTP includes tools to
  232.    convert the problems to existing ATP formats, such as the OTTER, MGTP,
  233.    PTTP, SETHEO, and SPRFN formats.  Each problem includes a list of
  234.    references and other relevant information.  The TPTP also aims to
  235.    supply general guidelines outlining the requirements for ATP system
  236.    evaluation. The TPTP can be obtained by anonymous ftp from either the
  237.    Department of Computer Science, James Cook University, Australia,
  238.       coral.cs.jcu.edu.au:pub/tptp-library            [137.219.17.4]
  239.    or the Institut fuer Informatik, TU Muenchen, Germany,
  240.       flop.informatik.tu-muenchen.de:pub/tptp-library [131.159.8.35]
  241.    as the files ReadMe (general information about the library),
  242.   TPTP-v1.0.0.tar.Z (the library itself), and
  243.   TR-v1.0.0.ps.Z (a postscript technical report about the TPTP).
  244.    Additions and corrections may be sent to Geoff Sutcliffe
  245.    <geoff@cs.jcu.edu.au> (Fax: +61-77-814029) or Christian Suttner
  246.    <suttner@informatik.tu-muenchen.de> (Fax: +49-89-526502).  If you
  247.    would like to be kept informed of new versions of the TPTP, please
  248.    send email to either of them.
  249.  
  250.    See SEQUEL entry in the Lisp FAQ, part 6. 
  251.  
  252.    Elf implements the LF Logical Framework (based on the theory of
  253.    dependent types) and gives it a logic programming interpretation in
  254.    order to support search and the implementation of other algorithms (e.g.
  255.    evaluation or compilation in programming languages).  It comes with a
  256.    number of examples from logic and the theory of programming languages
  257.    such as the Church Rosser theorem for the untyped lambda-calculus and
  258.    type soundness for Mini-ML.  It is written in Standard ML and includes
  259.    some support code for editing and interaction in gnu-emacs. It is
  260.    available by anonymous ftp from 
  261.       ftp.cs.cmu.edu:/afs/cs/user/fp/public/
  262.    as the files README (general information), elf-04.tar.Z (Version 0.4
  263.    of Elf, 1 Jul 1993), elf-examples.tar.Z (Version 0.4 of Elf examples,
  264.    unchanged from Version 0.3), and elf-papers/ (DVI files for papers
  265.    related to LF and Elf, including a "tutorial" and a bibliography). For
  266.    more information, contact Frank Pfenning <fp+@cs.cmu.edu>,
  267.    Department of Computer Science, Carnegie Mellon University.
  268.  
  269.    The Nuprl Proof Development System is available by anonymous ftp
  270.    from ftp.cs.cornell.edu:/pub/n/. Nuprl should run in any Common
  271.    Lisp with CLX. There are also (obsolete) interfaces for Symbolics Lisp
  272.    machines and Suns running the SunView window system. Nuprl has been
  273.    tested with Allegro, Lucid, AKCL. For further information, contact
  274.    Elizabeth Maxwell, <maxwell@cs.cornell.edu>, Nuprl Distribution
  275.    Coordinator, Department of Computer Science, Upson Hall, Cornell
  276.    University, Ithaca, NY 14853.
  277.  
  278.    Coq is the Calculus of Inductive Constructions. It runs in 
  279.    Caml-Light and is available by anonymous ftp from
  280.       ftp.inria.fr:INRIA/coq/V5.8.3 (unix version)
  281.       ftp.inria.fr:INRIA/coq/V5.8.2 (mac version)
  282.    The Mac version is standalone, not requiring Caml-Light. The unix
  283.    version requires Caml-Light, however, which is available from
  284.       ftp.inria.fr:lang/caml-light
  285.    Documentation is included in the distribution. Questions and comments
  286.    should be directed to the Coq hotline <coq@pauillac.inria.fr>. 
  287.  
  288. Truth Maintenance:
  289.  
  290.    The truth maintenance system and problem solver implementations
  291.    described in the book "Building Problem Solvers" by Ken Forbus and
  292.    Johan de Kleer are available by anonymous ftp from
  293.        multivac.ils.nwu.edu:pub/BPS/
  294.  parcftp.xerox.com:/pub/bps/ 
  295.    For more information send mail to Johan de Kleer <deKleer@parc.xerox.com>.
  296.    Send bug reports to bug-bps@ils.nwu.edu.
  297.  
  298. Miscellaneous:
  299.  
  300.    University of Toronto:
  301.       ftp   -- ftp.cs.toronto.edu:/pub/ailist
  302.  
  303.       Archives of ailist mailing list, defunct as of January 19, 1990
  304.  
  305.    PAIL (Portable AI Lab)
  306.       ftp   -- pobox.cscs.ch:/pub/ai/pail-2.2/  [148.187.10.13]
  307.       contact: pail-info@idsia.ch
  308.       authors: Mike Rosner <mike@idsia.ch> 
  309.                Dean Allemang <allemang@lia.di.epfl.ch>
  310.  
  311. ----------------------------------------------------------------
  312. Subject: [5-1]  AI Bibliographies available by FTP
  313.  
  314. The Computer Science Department at the University of Saarbruecken, Germany,
  315. maintains a large bibliographic database of articles pertaining to the
  316. field of Artificial Intelligence. Currently the database contains more
  317. than 25,000 references, which can be retrieved by electronic mail from
  318. the LIDO mailserver at lido@cs.uni-sb.de. Send a mail message with
  319. subject line "lidosearch help info" to get instructions on using the
  320. mail server. A variety of queries based on author names, title and
  321. year of publication are possible. The references can be provided in
  322. BibTeX or Refer formats. The entire bibliographic database can be
  323. obtained for a fee by ftp or on tape. Questions may be directed to
  324. bib-1@cs.uni-sb.de.
  325.  
  326. A variety of AI-related bibliographies are located on nexus.yorku.ca
  327. in the directory /pub/bibliographies.
  328.  
  329. For information on a fairly complete bibliography of computational
  330. linguistics and natural language processing work from the 1980s, send
  331. mail to clbib@csli.stanford.edu with the subject HELP. 
  332.  
  333. The CSLI linguistics bibliography contains 3,300 entries in
  334. bib/tib/refer format. The bibliography is heavily slanted towards
  335. phonetics and phonology but also includes a fair amount of
  336. computational morphology, syntax, semantics, and psycholinguistics.
  337. The bibliography can be used with James Alexander's tib
  338. bibliography system, which is available from minos.inria.fr
  339. [128.93.39.5] among other places. The bibliography itself is available
  340. by anonymous ftp from 
  341.    csli.stanford.edu:pub/bibliography/
  342. Contributions are welcome, but should be in tib format.
  343. For more information, contact Andras Kornai <kornai@csli.stanford.edu>
  344.  
  345. Stanford University (SUMEX-AIM) has a large BibTeX bibliography of
  346. Artificial Intelligence papers and technical reports. Available by
  347. anonymous ftp from aim.stanford.edu:/pub/ai{1,2,3}.bib
  348.          
  349. A BibTeX database of references addressing neuro-fuzzy issues can be
  350. obtained by anonymous ftp from ftp.tu-bs.de (134.169.34.15) in the
  351. directory local/papers as the (ascii) file fuzzy-nn.bib.
  352.  
  353. Robert Dale's Natural Language Generation (NLG) bibliography is
  354. available by anonymous ftp from scott.cogsci.ed.ac.uk [129.215.144.3] in
  355. the directory pub/nlg.  Note that it is formatted for A4 paper. For
  356. further information, write to Robert Dale, University of Edinburgh,
  357. Centre for Cognitive Science, 2 Buccleuch Place, Edinburgh EH8 9LW
  358. Scotland, or <R.Dale@edinburgh.ac.uk>.
  359.  
  360. Mark Kantrowitz's Natural Language Generation (NLG) bibliography is
  361. available by anonymous ftp from ftp.cs.cmu.edu [128.2.206.173] in the
  362. directory user/ai/software/nlp/nlg/bibs/mk/. In addition to the tech
  363. report, the BibTeX file containing the bibliography is also available.
  364. The bibliography contains more than 1,200 entries. Additions and
  365. correctioy 1993.
  366.  
  367. Theorem Proving/Automated Reasoning:
  368.  
  369.    Otter         -- info.mcs.anl.gov:pub/Otter/Otter-2.2/otter22.tar.Z
  370.                     anagram.mcs.anl.gov:pub/Otter/
  371.                     Contact: otter@mcs.anl.gov
  372.                     Resolution-based theorem prover.
  373.  
  374.    ATP Problems  -- anagram.mcs.anl.gov:pub/ATP_Problems/*
  375.                     Collection of ATP problems from Otter, CADE, and JAR.
  376.                     The problems include algebra, analysis, circuits,
  377.                     geometry, logic problems, Pelletier's problem set,
  378.                     program verification, puzzles, set theory, and topology.
  379.  
  380.    SETHEO        -- flop.informatik.tu-muenchen.de:pub/fki/ [131.159.8.35]
  381.                     Get the files setheo.info and setheo.tar.Z.
  382.                     SETHEO (SEquential THEOrem prover) is an automated
  383.                     theorem prover for formulae of predicate logic. 
  384.                     SETHEO is based on the calculus of ``connection
  385.                     tableaux''. SETHEO runs on Sun SPARCs only.  
  386.                     Contact: setheo@informatik.tu-muenchen.de
  387.                                 
  388.    ISABELLE-93. Isabelle is a highly automated generic theorem prover
  389.    written in Standard ML.  New logics are introduced by specifying their
  390.    syntax and rules of inference.  Proof procedures can be expressed
  391.    using tactics and tacticals. Isabelle comes with 8 different logics,
  392.    including LCF, some modal logics, first-order logic, Zermelo-Fraenkel
  393.    set theory, and h-------
  394. Subject: [5-2] Technical Reports available by FTP
  395.  
  396. This section lists the anonymous ftp sites for technical reports from
  397. several universities and other organizations. Some of the sites
  398. provide only an online catalog of technical reports, while the rest
  399. make the actual reports available online. The email address listed is
  400. that of the appropriate person to contact with questions about
  401. ordering technical reports. 
  402.  
  403. When ftping compressed .Z files, remember to set the transfer type to
  404. binary first, using the command
  405.         ftp> binary
  406.  
  407. Other general locations for technical reports from several
  408. universities include:
  409.    wuarchive.wustl.edu:/doc/techreports/ [128.252.135.4]
  410.    cs-archive.uwaterloo.edu:cs-archive  (see Index for an index)
  411.       AKA watdragon.uwaterloo.ca [129.97.140.24]
  412. The uwaterloo archive includes tech reports from the Logic Programming
  413. and Artificial Intelligence Group (LPAIG) of the University of Waterloo.
  414.  
  415. There is also a WAIS server containing tech report abstracts that can be
  416. searched. To use, create the file ~/wais-sources/cs-techreport-abstracts.src 
  417. containing
  418.    (:source
  419.       :version  3
  420.       :ip-address "130.194.74.201"
  421.       :ip-name "daneel.rdt.monash.edu.au"
  422.       :tcp-port 210
  423.       :database-name "cs-techreport-abstracts"
  424.       :cost 0.00
  425.       :cost-unit :free
  426.       :maintainer "wais@daneel.rdt.monash.edu.au")
  427. and invoke your local wais client. To add to it, email abstracts of
  428. your papers to wais@rdt.monash.edu.au in the following format:
  429.    %TI Title
  430.    %AU Author (use multiple %AU lines for multiple authors)
  431.    %PU Published In (citation information)
  432.    %AV Availability (e.g., ftp reports.adm.cs.cmu.edu:1992/CMU-CS-92-101.ps)
  433.    %OR Organization (see cs-techreport-archives.src for institution codes)
  434.    %LT Local title (e.g., tech report number)
  435.    %DA Date (and, if you want, %MN Month, %YR Year)
  436.    %AB Abstract
  437. If your papers are not available by FTP, you can use a %AV line such as:
  438.    %AV mail harry.bovik@cs.cmu.edu
  439. Further instructions are available from
  440.    daneel.rdt.monash.edu.au:/pub/techreports/reports/README  
  441. [Based on a post by Ashwin Ram.]
  442.  
  443. Also see the Unified Computer Science Technical Report Index
  444.     http://cs.indiana.edu/cstr/search
  445. A list of FTP sites for technical reports and papers can be found in
  446.     http://www.vifp.monash.edu.au/techreports/sitelist.html
  447.  
  448. An archive of linguistics papers and preprints is available from
  449. linguistics.archive.umich.edu:linguistics/papers/. Contact John Lawler
  450. (jlawler@umich.edu) or linguistics-archivist@umich.edu for more
  451. information.
  452.  
  453. The Concurrent Engineering Research Center (CERC) at West Virginia
  454. University has placed ASCII versions of the concurrent
  455. engineering-related abstracts (over 500) that were on CERCnet, ASCII
  456. back issues of the Concurrent Engineering Research in Review journal
  457. (now discontinued), and Postscript copies of CERC technical reports in
  458. the gopher server gopher.cerc.wvu.edu.  In addition, many of the CERC
  459. technical reports, including journal articles, symposium papers,
  460. theses, dissertations, and issues of the Concurrent Engineering
  461. Research in Review journal, are available as Postscript versions via
  462. anonymous ftp from babcock.cerc.wvu.edu:pub/techReports/
  463. (157.182.44.36). An index to all the reports, including some that are
  464. available only in hardcopy, is contained in the file "CERC-TR-INDEX".
  465. If you need additional information, contact Mary Carriger, CERC Office
  466. of Information Services, at carriger@cerc.wvu.edu.
  467.  
  468. The newsgroup comp.doc.techreports is devoted to distributing lists of
  469. tech reports and their abstracts.
  470.  
  471.    MIT Artificial Intelligence Laboratory:
  472.       ftp   -- publications.ai.mit.edu:ai-publications/
  473.       email -- publications@ai.mit.edu
  474.       browse -- telnet reading-room.lcs.mit.edu
  475.  
  476.       A full catalog of MIT AI Lab technical reports (and a listing of recent
  477.       updates) may be obtained from the above location, by writing to
  478.       Publications, Room NE43-818, M.I.T. Artificial Intelligence Laboratory,
  479.       545 Technology Square, Cambridge, MA 02139, USA, or by calling
  480.       1-617-253-6773. The catalog lists the technical reports ("AI Memos") 
  481.       with a short abstract and their current prices. There is also a charge
  482.       for shipping. Some recent tech reports (since 1991) are available in the
  483.       ai-publications/ subdirectory; older technical reports are NOT
  484.       available by ftp. A bibliography is in the bibliography/ directory.
  485.  
  486.       Sandiway Fong's 1991 PhD thesis, ``The Computational Properties of
  487.       Principle-Based Grammatical Theories,'' may be found in the
  488.       directory pub/sandiway/.
  489.  
  490.    CMU School of Computer Science:
  491.       ftp   -- reports.adm.cs.cmu.edu
  492.       email -- Technical.Reports@cs.cmu.edu
  493.  
  494.    CMU Software Engineering Institute:
  495.       ftp   --  ftp.sei.cmu.edu:/pub/documents
  496.       email --  bjz@sei.cmu.edu
  497.  
  498.    Yale: 
  499.       ftp   --  dept.cs.yale.edu:/pub/TR/
  500.  
  501.    University of Washington CSE Tech Reports:
  502.       ftp   --  june.cs.washington.edu:/tr  
  503.       email --  tr-request@cs.washington.edu
  504.  
  505.    ================
  506.  
  507.    AT&T Bell Laboratories:
  508.       ftp   -- netlib.att.com:/netlib/research/cstr/
  509.       bib.Z contains short bibliography, including all the technical
  510.       reports contained in this directory.
  511.  
  512.       ftp   -- research.att.com:/dist/ai
  513.  
  514.    Argonne National Laboratory:
  515.       ftp   -- anagram.mcs.anl.gov:pub/tech_reports
  516.       email -- wright@mcs.anl.gov
  517.  
  518.       Contains MCS Division preprints and technical memoranda,
  519.       available as either .dvi or .ps files. For descriptions of the
  520.       contents, see the subdirectory pub/tech_reports/abstracts; for
  521.       the files themselves see the subdirectory pub/tech_reports/reports.
  522.  
  523.    Boston University:
  524.       ftp   --  cs.bu.edu:techreports/
  525.       email --  techreports@cs.bu.edu
  526.  
  527.    Brown University:
  528.       ftp   --  wilma.cs.brown.edu:techreports/
  529.       email --  techreports@cs.brown.edu
  530.  
  531.    Cambridge University: Speech, Vision & Robotics Group
  532.       ftp   --  svr-ftp.eng.cam.ac.uk:reports/
  533.  
  534.    Columbia University:
  535.       ftp   --  cs.columbia.edu:/pub/reports
  536.       email --  tech-reports@cs.columbia.edu
  537.  
  538.    DEC Cambridge Research Lab:
  539.       ftp   --  crl.dec.com:/pub/DEC/CRL/{abstracts,tech-reports}
  540.  
  541.    DEC Paris Research Lab:
  542.       email --  doc-server@prl.dec.com
  543.                 Put commands in Subject: line of the message.
  544.                 To get a list of articles, use
  545.                         send index articles
  546.                 To get a list of tech reports, use
  547.                         send index reports
  548.  
  549.    DEC WRL:
  550.       email -- wrl-techreports@decwrl.dec.com
  551.                To get a helpfile, send a message with 
  552.                   help
  553.         in the subject line.
  554.  
  555.    DFKI:
  556.       ftp   -- duck.dfki.uni-sb.de:/pub/papers
  557.       email -- Martin Henz (henz@dfki.uni-sb.de)
  558.  
  559.    Duke University:
  560.       ftp   --  cs.duke.edu:/dist/{papers,theses}
  561.       email --  techreport@cs.duke.edu  [unknown user, 7/7/93]
  562.  
  563.    Edinburgh:
  564.       A list of available reports can be sent via email. Send requests
  565.       for information about reports from the Center for Cognitive Science 
  566.       to cogsci%ed.ac.uk@nsfnet-relay.ac.uk, and from the Human Communication 
  567.       Research Center to HCRC%ed.ac.uk@nsfnet-relay.ac.uk. 
  568.  
  569.    Electrotechnical Laboratory, Japan:
  570.       Reports from the Cooperative Architecture project (half AI, half
  571.       software engineering).
  572.       ftp   -- etlport.etl.go.jp:pub/kyocho/Papers [192.31.197.99]
  573.                See file Index.English.
  574.       email -- Hideyuki Nakashima <nakashim@etl.go.jp>.
  575.  
  576.    Georgia Tech College of Computing, AI Group:
  577.       ftp   -- ftp.cc.gatech.edu:pub/ai (130.207.3.245) 
  578.       email -- Professor Ashwin Ram <ashwin@cc.gatech.edu>
  579.  
  580.    HCRC (Human Communication Research Centre):
  581.       ftp   -- scott.cogsci.ed.ac.uk:pub/HCRC-papers/
  582.       mail  -- Fiona-Anne Malcolm
  583.                Human Communication Research Centre
  584.                2 Buccleuch Place, Edinburgh, UK
  585.  
  586.    Illinois:
  587.       email -- Erna Amerman <erna@uiuc.edu>
  588.  
  589.    Illinois Genetic Algorithms Laboratory (IlliGAL):
  590.       email -- Eric Thompson <library@gal1.ge.uiuc.edu>
  591.       phone -- 217-333-2346 (9AM to 5PM CT, M-F)
  592.       mail  -- Illinois Genetic Algorithms Laboratory
  593.                Department of General Engineering
  594.                117 Transportation Building
  595.                104 South Mathews Avenue
  596.                Urbana, IL 61801-2996
  597.       ftp   -- gal4.ge.uiuc.edu:/pub/papers/IlliGALs/
  598.                Includes the GA bibliography and the Messy GA code in C
  599.                (in /pub/src/).
  600.  
  601.    Indiana:
  602.       ftp   -- cogsci.indiana.edu:pub         [129.79.238.12]
  603.       ftp   -- cs.indiana.edu:pub/techreports [129.79.254.191]
  604.  
  605.    INRIA, France:
  606.       ftp   -- ftp.inria.fr:INRIA/publication/
  607.  
  608.    Institute for Learning Sciences at Northwestern University:
  609.       ftp   --  aristotle.ils.nwu.edu:/pub/papers/
  610.       phone --  708-491-3500
  611.  
  612.    National University of Singapore:
  613.       ftp   -- ftp.nus.sg:/pub/NUS/ISCS/techreports
  614.  
  615.    New York University (NYU):
  616.       ftp   --  cs.nyu.edu:/pub/tech-reports
  617.  
  618.    OGI:
  619.       ftp   --  cse.ogi.edu:/pub/tech-reports
  620.       email --  csedept@cse.ogi.edu
  621.  
  622.    Ohio State University, Laboratory for AI Research
  623.       ftp   -- nervous.cis.ohio-state.edu:/pub/papers
  624.       email -- lair-librarian@cis.ohio-state.edu
  625.  
  626.    OSU Neuroprose:
  627.       ftp   -- archive.cis.ohio-state.edu:/pub/neuroprose  (128.146.8.52)
  628.  
  629.       This directory contains technical reports as a public service to the
  630.       connectionist and neural network scientific community which has an
  631.       organized mailing list (for info: connectionists-request@cs.cmu.edu)
  632.       Includes several bibliographies.
  633.  
  634.    Stanford:
  635.       ftp   -- elib.stanford.edu:/cs
  636.    
  637.       Very spotty collection.
  638.  
  639.    SRI:
  640.       email -- Donna O'Neal, donna@ai.sri.com
  641.  
  642.    SUNY Buffalo:
  643.       ftp   -- ftp.cs.buffalo.edu:/pub/tech-reports/
  644.  
  645.    SUNY at Stony Brook:
  646.       ftp   -- sbcs.sunysb.edu:/pub/TechReports
  647.       email -- rick@cs.sunysb.edu or stark@cs.sunysb.edu
  648.  
  649.       The /pub/sunysb directory contains the SB-Prolog implementation
  650.       of the Prolog language. Contact warren@sbcs.sunysb.edu for more
  651.       information.
  652.  
  653.    TCGA (The Clearinghouse for Genetic Algorithms):
  654.       email -- Robert Elliott Smith <rob@comec4.mh.ua.edu>
  655.                Department of Engineering of Mechanics
  656.                Room 210 Hardaway Hall
  657.                The University of Alabama
  658.                PO Box 870278
  659.                Tuscaloosa, AL 35487
  660.                205-348-1618, fax 205-348-6419
  661.  
  662.    Thinking Machines:
  663.       ftp   -- ftp.think.com:think/techreport.list
  664.  
  665.       This file contains a list of Thinking Machines technical reports.
  666.       Orders may be placed by email (limit 5) to t-rex@think.com, or by US
  667.       Mail to Thinking Machines Corporation, Attn: Technical reports, 245
  668.       First Street, Cambridge, MA 01241. In addition, the directories
  669.       cm/starlisp and cm/starlogo contain code for the *Lisp and *Logo
  670.       simulators. 
  671.  
  672.    Tulane University:
  673.       ftp   -- rex.cs.tulane.edu:pub/tech/  [129.81.132.1]
  674.  
  675.    University of Arizona:
  676.       ftp   -- cs.arizona.edu:reports/
  677.       email -- tr_libr@cs.arizona.edu
  678.  
  679.       The directory /japan/kahaner.reports contains reports on AI in
  680.       Japan, among other things, written by Dr. David Kahaner, a
  681.       numerical analyst on sabbatical to the Office of Naval
  682.       Research-Asia (ONR Asia) in Tokyo from NIST. The reports are not
  683.       written in any sort of official capacity, but are quite interesting. 
  684.  
  685.    University of California/Santa Cruz:
  686.       ftp   -- ftp.cse.ucsc.edu:/pub/{bib,tr}
  687.       email -- jean@cs.ucsc.edu
  688.  
  689.    University of Cambridge Computer Lab:
  690.       email -- tech-reports@cl.cam.ac.uk
  691.  
  692.    University of Colorado:
  693.       ftp   --  ftp.cs.colorado.edu:/pub/cs/techreports
  694.  
  695.    University of Florida:
  696.       ftp   -- bikini.cis.ufl.edu:/cis/tech-reports
  697.  
  698.    University of Illinois at Urbana:
  699.       ftp   -- a.cs.uiuc.edu:/pub/dcs
  700.       email -- e-amerman@a.cs.uiuc.edu 
  701.  
  702.    University of Indiana, Center for Research on Concepts and Cognition:
  703.       ftp   --  cogsci.indiana.edu:pub/
  704.       email --  helga@cogsci.indiana.edu
  705.  
  706.    University of Kaiserslautern, Germany:
  707.       ftp   --  ftp.uni-kl.de:reports_uni-kl/computer_science/
  708.  
  709.    University of Kentucky:
  710.       ftp   --  ftp.ms.uky.edu:ftp/pub/tech-reports/UK/cs/
  711.  
  712.    University of Massachusetts at Amherst:
  713.       email --  techrept@cs.umass.edu
  714.  
  715.    University of Melbourne, Australia,
  716.    Computer Vision and Pattern Recognition Laboratory (CVPRL):
  717.       ftp   -- krang.vis.mu.oz.au:/pub/articles
  718.  
  719.    University of Michigan:
  720.       ftp   -- ftp.eecs.umich.edu:/techreports
  721.         
  722.    University of North Carolina:
  723.       ftp   -- ftp.cs.unc.edu:/pub/technical-reports/
  724.  
  725.    University of Pennsylvania:
  726.       ftp   -- ftp.cis.upenn.edu:/pub/papers/
  727.       email -- publications@upenn.edu [email bounced 7/7/93]
  728.  
  729.    USC/Information Sciences Institute:
  730.       email -- Sheila Coyazo <scoyazo@isi.edu> is the contact. [email
  731.         bounced 7/7/93]
  732.  
  733.    University of Toronto:
  734.       ftp   -- ftp.cs.toronto.edu:/pub/{reports,cogrob}
  735.       email -- tech-reports@cs.toronto.edu
  736.  
  737.    University of Virginia:
  738.       ftp   -- uvacs.cs.virginia.edu:/pub/techreports/cs
  739.  
  740.    University of Wisconsin:
  741.       ftp   -- ftp.cs.wisc.edu:/tech-reports
  742.                                /machine-learning
  743.                                /computer-vision
  744.       email -- tech-reports-archive@cs.wisc.edu
  745.  
  746.  
  747. Some AI authors have set up repositories of their own papers:
  748.  
  749.    Matthew Ginsberg: t.stanford.edu:/u/ftp/papers
  750.  
  751. ----------------------------------------------------------------
  752. Subject: [5-3]  Where can I get a machine readable dictionary, thesaurus, and
  753.                 other text corpora?
  754.  
  755. Free:
  756.  
  757.    /usr/dict/words
  758.  
  759.    Roget's 1911 Thesaurus is available by anonymous FTP from the
  760.    Consortium for Lexical Research (clr.nmsu.edu, [128.123.1.12]).
  761.    The pathname is /pub/lexica/thesauri/roget-1911.
  762.    It is also available from
  763.       src.doc.ic.ac.uk:/literary/collections/project_gutenberg/roget11.txt.Z
  764.    An old Webster's dictionary is in /text/dict/{DICT.Z,DICT.INDEX.Z}.
  765.    Project Gutenberg also has Roget's 1911 Thesaurus. The Project
  766.    Gutenberg archive is at mrcnext.cso.uiuc.edu:/pub/etext/. The
  767.    Project Gutenberg archive collects public domain electronic books. For more
  768.    information, write to Michael S. Hart, Professor of Electronic Text,
  769.    Executive Director of Project Gutenberg Etext, Illinois Benedictine
  770.    College, 5700 College Road, Lisle, IL 60532 or send email to
  771.    hart@vmd.cso.uiuc.edu. 
  772.  
  773.    For people without FTP, Austin Code Works sells floppy disks
  774.    containing Roget's 1911 Thesaurus for $40.00. This money helps support
  775.    the production of other useful texts, such as the 1913 Webster's dictionary.
  776.  
  777.    The Online Book Initiative maintains a text repository on
  778.    world.std.com (a public access UNIX system, 617-739-WRLD). See the
  779.    README file on obi.std.com:/obi/. For more information, send email to
  780.    obi@world.std.com, write to Software Tool & Die, 1330 Beacon Street,
  781.    Brookline, MA 02146, or call 617-739-0202.
  782.  
  783.    The CHILDES project at Carnegie Mellon University has a lot of data of
  784.    children speaking to adults, as well as the adult written and adult
  785.    spoken corpora from the CORNELL project.  Contact Brian MacWhinney
  786.    <brian@andrew.cmu.edu> for more information.
  787.  
  788.    The Association for Computational Linguistics (ACL) has a Data
  789.    Collection Initiative. For more information, contact Donald Walker at
  790.    Bellcore, walker@flash.bellcore.com.
  791.  
  792.    Two lists of common female first names (4967 names) and male first
  793.    names (2924 names) are available for anonymous ftp from ftp.cs.cmu.edu
  794.    in the directory user/ai/software/nlp/corpora/names/. Read
  795.    the file README first. [Note that you must cd to this directory in one
  796.    atomic operation, as superior directories are protected during an
  797.    anonymous ftp.] Send mail to mkant@cs.cmu.edu for more information.
  798.  
  799.    A list of 110,000 English words (one per line, in ASCII) is
  800.    available in the PD1:<MSDOS.LINGUISTICS> directory on SIMTEL20 as the
  801.    files WORDS1.ZIP, WORDS2.ZIP, WORDS3.ZIP, and WORDS4.ZIP. Although the
  802.    list is in MS-DOS files, it can easily be used on other machines (but
  803.    first you'll have to unzip the files on a DOS machine). The list
  804.    includes inflected forms of the words, such as plural nouns and the
  805.    -s, -ed, and -ing forms of verbs; thus the number of lexical stems in
  806.    the list is considerably smaller than the total number of word forms.
  807.    These files are available via FTP from WSMR-SIMTEL20.ARMY.MIL
  808.    [192.88.110.20].  SIMTEL20 files are mirrored on wuarchive.wustl.edu.
  809.  
  810.    The Collins English Dictionary encoded as a Prolog fact base is
  811.    available from the Oxford Text Archive by anonymous ftp from
  812.       black.ox.ac.uk:ota/dicts/1192/  [129.67.1.165]
  813.    The Oxford Text Archive includes many other texts, dictionaries,
  814.    thesauri, word lists, and so on, most of which are available for
  815.    scholarly use and research only. See the files
  816.       black.ox.ac.uk:ota/textarchive.{form,info,list,sgml} 
  817.    for more information, or write to archive@ox.ac.uk, Oxford Text Archive,
  818.    Oxford University Computing Services, 13 Banbury Road, Oxford OX2
  819.    6NN, UK, call 44-865-273238 or fax 44-865-273275.
  820.  
  821.    Chuck Wooters <wooters@icsi.berkeley.edu> has extracted the most
  822.    likely pronunciation for each of about 6100 words in the hand-labeled
  823.    TIMIT database, and made them available by anonymous ftp from
  824.    ftp.icsi.berkeley.edu:pub/speech/TIMIT.mostlikely.Z.
  825.  
  826.    A list of homophones from general American English is available by
  827.    anonymous ftp from svr-ftp.eng.cam.ac.uk:comp.speech/data/ as the file
  828.    homophones-1.01.txt. To receive the list by email, send mail to
  829.    Evan.Antworth@sil.org. The list was compiled by Tony Robinson.
  830.  
  831.    Sigurd P. Crossland <sig@seuss.vantage.gte.com> has been compiling 
  832.    a dictionary of English words, including most common American words,
  833.    abbreviations, hyphenations, and even incorrect spellings. The most
  834.    recent version is available by anonymous ftp from
  835.       wocket.vantage.gte.com:pub/standard_dictionary/dic-0294.tar.Z
  836.    The tar file includes 31 text files, one for each word-length from 2
  837.    to 32. The compressed tar file takes up just over 4mb of space, and
  838.    includes approximately 870,000 words.
  839.  
  840.    WordNet is an English lexical reference system based on current
  841.    psycholinguistic theories of human lexical memory. It organizes nouns,
  842.    verbs and adjectives into synonym sets corresponding to lexical
  843.    concepts. The sets are linked by a variety of relations. Besides being
  844.    of scientific interest, 
  845.    it makes a handy thesaurus. WordNet is available by anonymous ftp from
  846.       clarity.princeton.edu:pub/
  847.    If you retrieve a copy of wordnet by ftp, please send mail to
  848.    wordnet@princeton.edu. 
  849.  
  850. Commercial:
  851.  
  852.    Illumind publishes the Moby Thesaurus (25,000 roots/1.2 million
  853.    synonyms), Moby Words (560,000 entries), Moby Hyphenator (155,000
  854.    entries), and the Moby Part-of-Speech (214,000 entries), Moby
  855.    Pronunciator (167,000 entries with IPA encoding, syllabification, and
  856.    primary, secondary, and tertiary stress marks) and Moby Language
  857.    (100,000 word word lists in five major world languages) lexical
  858.    databases. All databases are supplied in pure ASCII, royalty-free, in
  859.    both Macintosh and MS-DOS disk formats (also in .Z file formats). Both
  860.    commercial (to resell derived structures as part of commercial
  861.    applications) and educational/research licenses are available. Samples
  862.    of each of the lexical databases are available by anonymous ftp from
  863.    netcom.com:/pub/grady/Moby_Sampler.tar.Z [192.100.81.100].  For more
  864.    information, write to Illumind, Attn: Grady Ward, 3449 Martha Court,
  865.    Arcata, CA 95521, call/fax 707-826-7715, or send email to
  866.    grady@netcom.com.
  867.  
  868.    The Oxford Text Archive has hundreds of online texts in a wide variety
  869.    of languages, including a few dictionaries (the OED, Collins, etc.).
  870.    The Lancaster-Oslo-Bergen (LOB), Brown, and London-Lund corpii are also
  871.    available from them.  For more information, write to Oxford Electronic
  872.    Publishing, Oxford University Press, 200 Madison Avenue, New York, NY
  873.    10016, call 212-889-0206, or send mail to archive@vax.oxford.ac.uk.
  874.    (Their contact information in England is Oxford Text Archive, Oxford
  875.    University Computing Service, 13 Banbury Road, Oxford OX2 6NN, UK, +44
  876.    (865) 273238.)
  877.  
  878. Mailing Lists:
  879.  
  880.    CORPORA is a mailing list for Text Corpora. It welcomes information
  881.    and questions about text corpora such as availability, aspects of
  882.    compiling and using corpora, software, tagging, parsing, and
  883.    bibliography. To be added to the list, send a message to
  884.    corpora-request@x400.hd.uib.no. Contributions should be sent to 
  885.    corpora@x400.hd.uib.no.
  886.  
  887. Linguistic Data Consortium:
  888.  
  889.    The Linguistic Data Consortium was established to broaden the collection
  890.    and distribution of speech and natural language data bases for the
  891.    purposes of research and technology development in automatic speech
  892.    recognition, natural language processing, and other areas where large
  893.    amounts of linguistic data are needed.  Information about the LDC is
  894.    available by anonymous ftp from ftp.cis.upenn.edu:/pub/ldc [130.91.6.8].
  895.    Documents available in this directory include a paper on the background,
  896.    rationale and goals of the LDC, a brief list of available data bases,
  897.    and some tables summarizing these corpora. For further information,
  898.    contact Elizabeth Hodas, <ehodas@walnut.ling.upenn.edu>, Mark Liberman
  899.    <myl@unagi.cis.upenn.edu>, or Jack Godfrey <jgodfrey@unagi.cis.upenn.edu>.
  900.  
  901. ----------------------------------------------------------------
  902. Subject: [5-4]  List of Smalltalk implementations.
  903.  
  904.    Little Smalltalk -- Tim Budd's version of Smalltalk
  905.    cs.orst.edu: /pub/budd/small.v3.tar
  906.  
  907.    GNU Smalltalk
  908.    prep.ai.mit.edu:/pub/gnu/smalltalk-1.1.1.tar.Z  
  909.  
  910. ----------------------------------------------------------------
  911. Subject: [5-5] AI-related CD-ROMs
  912.  
  913.    The NCC Artificial Intelligence CD-ROM (Revision 2, 1993) is available
  914.    from Network Cybernetics Corporation for $129.00 per copy (plus $5
  915.    shipping domestic, $10 shipping international). If you currently own
  916.    the first edition of the AI CD-ROM, you can "upgrade" to the Rev.2 CD
  917.    for $79 + shipping.  The AI CD-ROM is an ISO-9660 format disk usable
  918.    on any computer system, and contain a variety of public domain,
  919.    shareware, and other software of special interest to the AI community.
  920.    The disk contains source code, executable programs, demonstration
  921.    versions of commercial programs, tutorials and other files for a
  922.    variety of operating systems. Among the supported operating systems
  923.    are MS-DOS, OS/2, Mac, Amiga, and Unix. Among the items included are
  924.    CLIPS v6.0 and NETS, courtesy of COSMIC, the collected source code
  925.    from AIExpert magazine from the premier issue in June of 1986 to the
  926.    present, and complete transcriptions of the first annual Loebner Prize
  927.    competition, which took place at the Boston Computer Museum. It also
  928.    includes examples many different kinds of neural networks, genetic
  929.    algorithms, artificial life simulators, natural language software,
  930.    public domain and shareware compilers for a wide range of languages
  931.    such as Lisp, Xlisp, Scheme, XScheme, Smalltalk, Prolog, ICON, SNOBOL,
  932.    and many others. Complete collections of the Neural Digest, Genetic
  933.    Algorithms Digest, and Vision List Digest are included. All files on
  934.    the disk are compressed in ZIP format. Network Cybernetics Corporation
  935.    intends to release annual revisions to the AI CD-ROM to keep it up to
  936.    date with current developments in the field. For more information,
  937.    write to Network Cybernetics Corporation, 4201 Wingren Road, Suite
  938.    202, Irving, Texas 75062-2763, call 214-650-2002, fax 214-650-1929, or
  939.    send email to ai-cdrom@ncc.com or steve.rainwater@ncc.com (Steve
  940.    Rainwater).
  941.  
  942.    PTF is a semi-annual CD-ROM collection of UNIX-related freeware source
  943.    code and documentation. PTF in no way modifies the legal restrictions
  944.    on any package it includes. Each issue consists of two ISO-9660
  945.    CD-ROMs, bound into a 50+ page booklet. PTF is particularly useful for
  946.    programmers who do not have FTP access, but may also be useful as a
  947.    way of saving disk space and avoiding annoying FTP searches and
  948.    retrievals. The current issue (2-1; January, 1993) includes, among
  949.    other things, ICOT collection and several varieties of Lisp and other
  950.    AI languages. It sells (list) for $60 US plus applicable sales tax and
  951.    shipping and handling charges. SUG and USENIX members may purchase the
  952.    issue for $50. Payable through Visa, Mastercard, postal money orders
  953.    in US funds, and checks in US funds drawn on a US bank. For more
  954.    information write to Prime Time Freeware, 370 Altair Way, Suite 150,
  955.    Sunnyvale, CA 94086 call 408-433-9662, fax 408-432-6149, or send email
  956.    to ptf@cfcl.com.
  957. ----------------------------------------------------------------
  958. Subject: [5-6] World-Wide Web (WWW) Resources
  959.  
  960. The World Wide Web (WWW) is a hypermedia document that spans the
  961. Internet.  It uses the http (HyperText Transfer Protocol) for the
  962. light-weight exchange of files over the Internet.  NCSA Mosaic is a
  963. World Wide Web browser developed at the National Center for
  964. Supercomputing Applications (NCSA). 
  965.  
  966. Mosaic's popularity derives, in part, from its ability to communicate
  967. using more traditional Internet protocols like FTP, Gopher, WAIS, and
  968. NNTP, in addition to http. Mosaic can display text, hypertext links,
  969. and inlined graphics directly. When Mosaic encounters a file type it
  970. can't handle internally, such as Postscript documents, mpeg movies,
  971. sound files, and JPEG images, it uses an external viewer (or player)
  972. like Ghostscript to handle the file. Mosaic also includes facilities
  973. for exploring the Internet. In other words, Mosaic is an multimedia
  974. interface to the Internet.
  975.  
  976. The hypertext documents viewed with Mosaic are written in HTML
  977. (HyperText Markup Language), which is a subset of SGML (Standard
  978. Generalized Markup Language).  All that is needed is just a few more
  979. improvements, such as the ability to format tables and mathematics,
  980. and a WYSIWYG editor, for HTML to greatly facilitate electronic
  981. journals and other publications.
  982.  
  983. NCSA Mosaic for the X Window System is available by anonymous ftp from  
  984.    ftp.ncsa.uiuc.edu:Mosaic/
  985. as source code and binaries for Sun, SGI, IBM RS/6000, DEC Alpha OSF/1, DEC
  986. Ultrix, and HP-UX. Questions about NCSA Mosaic should be directed to 
  987. mosaic-x@ncsa.uiuc.edu (X-Windows version), mosaic-mac@ncsa.uiuc.edu
  988. (Macintosh), and mosaic-win@ncsa.uiuc.edu (Microsoft Windows).
  989.  
  990. A simple HTML version of the AI FAQ (this FAQ) is available as
  991.    http://www.cis.ohio-state.edu/hypertext/faq/usenet/ai-faq/top.html
  992. It is prepared automatically from the original by Thomas A. Fine,
  993. <fine@cis.ohio-state.edu>. 
  994.  
  995. The remainder of this section lists WWW resources of interest to AI
  996. researchers, students, and practitioners.
  997.  
  998. Machine Learning:
  999.  
  1000.    The Knowledge Systems Laboratory of the National Research Council of
  1001.    Canada has set up a WWW server for AI, with an emphasis on machine
  1002.    learning. The URL for the server is
  1003.       http://ai.iit.nrc.ca/home_page.html
  1004.    For more information, write to Peter Turney <peter@ai.iit.nrc.ca>.
  1005.  
  1006. ACM SIGART:
  1007.    
  1008.    The Association for Computing Machinery's Special Interest Group
  1009.    for AI's gopher server is
  1010.        gopher://sigart.acm.org/
  1011.  
  1012. Genetic Art and Movies:
  1013.  
  1014.    Programs which use genetic algorithms to create art, inspired by the
  1015.    work of Karl Sims at Thinking Machines. Votes from human users (folks
  1016.    like you) are used to determine the "fitness" of the pictures in the
  1017.    current generation. The more fit pictures are more likely to be used
  1018.    in the creation of the next generation. After about a dozen or so
  1019.    generations, really pretty pictures result.
  1020.  
  1021.    Interactive Genetic Art II
  1022.       http://mixing.sp.cs.cmu.edu:8001/htbin/mjwgenform
  1023.  
  1024.    Interactive Genetic Movies
  1025.       http://mixing.sp.cs.cmu.edu:8001/htbin/moviegenform
  1026.  
  1027. Robotics:
  1028.  
  1029.    A list of pointers to sources of robotics information on the Internet. 
  1030.       http://cs.indiana.edu/robotics/world.html
  1031.    Includes a HTML version of the comp.robotics FAQ,
  1032.       http://cs.indiana.edu/robotics/copy.html
  1033.    maintained by Jason Almeter <jla@cs.indiana.edu>.
  1034.  
  1035. Neural Networks:
  1036.  
  1037.    http://www.eeb.ele.tue.nl/index.html
  1038.  
  1039.  
  1040. Various Universities:
  1041.  
  1042.    MIT AI Lab     http://www.ai.mit.edu/
  1043.    Stanford KSL  http://www-ksl.stanford.edu/
  1044.    U. of Washington AI http://www.cs.washington.edu/research/projects/ai/www/
  1045.    UMass Robotics       http://piglet.cs.umass.edu:4321/lpr.html
  1046.    JAIR   gopher://p.gp.cs.cmu.edu/
  1047.  
  1048. ----------------------------------------------------------------
  1049. ;;; *EOF*
  1050.