eddi@gmdzi.gmd.de (Edgar Sommer) (05/14/91)
Archive-name: ai/logic/mvl/1991-05-08 Archive-directory: t.stanford.edu:mvl/ [36.8.0.123] Original-posting-by: eddi@gmdzi.gmd.de (Edgar Sommer) Original-subject: ftp'ing AI software Reposted-by: emv@msen.com (Edward Vielmetti, MSEN) leonr@dcs.glasgow.ac.uk (Dr Ruben Leon) writes: >Does anybody have a list of AI software from public ftp sites ? If >not perhaps we should compile one and update it periodically. Any >suggestions ? Please post your views here for everyone to read rather >than personal email. Thanks. hear,hear! i have recently ftp'ed several (potentially) interesting sources: 1. MVL -- "multi valued logic", a environment for exploring the same; Common Lisp code; 'advertised' in Spring '91 AI Magazine; available from t.stanford.edu [Matt Ginsberg] 2. QSIM -- "qualitative simulation", an environment for exploring qualitative physics/reasoning; Common Lisp code; available from cs.utexas.edu [Ben Kuipers et al.] 3. Protos -- case-based reasoning 'apprentice'; Common Lisp code; available from cs.utexas.edu [E. Ray Bareiss and Bruce W. Porter] i'm sure there's a lot more out there -- a comprehensive list would be a Good Thing. always remember ftp etiquette, AVOID local office hours, include these generous people in your prayers or whatnot, and retain a thankful frame-of-mind, cyberspace is still a baby.. eddi >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> eddi sommer eddi%gmdzi%unido@uunet.uu.net ormaybe: eddi@gmdzi.gmd.DE --> A bank of loam gave way to gorse and bramble. [Erskine Childers] <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<< -- comp.archives file verification t.stanford.edu total 902 -rw-r--r-- 1 637 241391 May 9 23:38 mvl.tar.Z -rw-r--r-- 1 637 10743 May 9 23:38 manual.ind -rw-r--r-- 1 637 183435 May 9 23:38 manual.tex -rw-r--r-- 1 637 1402 May 9 23:38 README -rw-r--r-- 1 637 1754 May 9 23:38 ChangeLog -rw-r--r-- 1 637 2579 May 9 23:38 dot.emacs -rw-r--r-- 1 637 1428 May 9 23:38 shooting.mvl -rw-r--r-- 1 637 2787 May 9 23:38 actions.mvl -rw-r--r-- 1 637 468 May 9 23:38 completed-db-2.mvl -rw-r--r-- 1 637 347 May 9 23:38 completed-db-1.mvl -rw-r--r-- 1 637 692 May 9 23:38 circ-test-4.mvl -rw-r--r-- 1 637 193 May 9 23:38 circ-test-3.mvl -rw-r--r-- 1 637 215 May 9 23:38 circ-test-2.mvl -rw-r--r-- 1 637 363 May 9 23:38 circ-test-1.mvl -rw-r--r-- 1 637 427 May 9 23:38 def-test.mvl -rw-r--r-- 1 637 1742 May 9 23:38 recursion.mvl -rw-r--r-- 1 637 1611 May 9 23:38 f1.mvl -rw-r--r-- 1 637 321 May 9 23:38 temporal.test -rw-r--r-- 1 637 591 May 9 23:38 fc.test -rw-r--r-- 1 637 807 May 9 23:38 modal.test -rw-r--r-- 1 637 429 May 9 23:38 completed-db.test -rw-r--r-- 1 637 969 May 9 23:38 circumscription.test -rw-r--r-- 1 637 452 May 9 23:38 defaults.test -rw-r--r-- 1 637 496 May 9 23:38 atms.test -rw-r--r-- 1 637 586 May 9 23:38 recursion.test -rw-r--r-- 1 637 331 May 9 23:38 bc.test -rw-r--r-- 1 637 1343 May 9 23:38 mvl.test -rw-r--r-- 1 637 1659 May 9 23:38 fi.lisp -rw-r--r-- 1 637 1740 May 9 23:38 clp.lisp -rw-r--r-- 1 637 4275 May 9 23:38 zweimvl.lisp -rw-r--r-- 1 637 4277 May 9 23:38 test.lisp -rw-r--r-- 1 637 12274 May 9 23:38 attach.lisp -rw-r--r-- 1 637 10939 May 9 23:38 fc.lisp -rw-r--r-- 1 637 4824 May 9 23:38 first-order-user-interface.lisp -rw-r--r-- 1 637 5903 May 9 23:38 first-order-mvl-interface.lisp -rw-r--r-- 1 637 20837 May 9 23:38 relevance.lisp -rw-r--r-- 1 637 2465 May 9 23:38 bc-interface.lisp -rw-r--r-- 1 637 2942 May 9 23:38 bc-user.lisp -rw-r--r-- 1 637 34671 May 9 23:38 bc.lisp -rw-r--r-- 1 637 25255 May 9 23:38 first-order.lisp -rw-r--r-- 1 637 10227 May 9 23:38 lookup.lisp -rw-r--r-- 1 637 17255 May 9 23:38 rep.lisp -rw-r--r-- 1 637 6602 May 9 23:38 cnf.lisp -rw-r--r-- 1 637 316 May 9 23:38 logic.lisp -rw-r--r-- 1 637 6004 May 9 23:38 binding-dag.lisp -rw-r--r-- 1 637 12866 May 9 23:38 theory-dag.lisp -rw-r--r-- 1 637 2289 May 9 23:38 temporal.lisp -rw-r--r-- 1 637 6449 May 9 23:38 prob.lisp -rw-r--r-- 1 637 4288 May 9 23:38 circ.lisp -rw-r--r-- 1 637 3969 May 9 23:38 fo-atms.lisp -rw-r--r-- 1 637 1083 May 9 23:38 def.lisp -rw-r--r-- 1 637 1908 May 9 23:38 atms-cnf.lisp -rw-r--r-- 1 637 4059 May 9 23:38 atms.lisp -rw-r--r-- 1 637 4114 May 9 23:38 fol.lisp -rw-r--r-- 1 637 8249 May 9 23:38 lattice.lisp -rw-r--r-- 1 637 35236 May 9 23:38 dag.lisp -rw-r--r-- 1 637 9089 May 9 23:38 hierarchy.lisp -rw-r--r-- 1 637 10292 May 9 23:38 surgery.lisp -rw-r--r-- 1 637 4284 May 9 23:38 function.lisp -rw-r--r-- 1 637 11622 May 9 23:38 product.lisp -rw-r--r-- 1 637 13119 May 9 23:38 load.lisp -rw-r--r-- 1 637 4240 May 9 23:38 query.lisp -rw-r--r-- 1 637 6764 May 9 23:38 invocations.lisp -rw-r--r-- 1 637 8744 May 9 23:38 agenda.lisp -rw-r--r-- 1 637 16211 May 9 23:38 index.lisp -rw-r--r-- 1 637 7707 May 9 23:38 tags.lisp -rw-r--r-- 1 637 6414 May 9 23:38 symbols.lisp -rw-r--r-- 1 637 33187 May 9 23:38 match.lisp -rw-r--r-- 1 637 5398 May 9 23:38 bindings.lisp -rw-r--r-- 1 637 11289 May 9 23:38 mvldcl.lisp found mvl ok t.stanford.edu:mvl/