From | Subject | Received |
SASW@MX.LCS.MIT.EDU ("Steven A. Swernofsky") |
Course - AI in Design and Manufacturing (MIT)
|
Sun, 30-Nov-86 21:00:08 EST |
Tim@CIS.UPENN.EDU (Tim Finin) |
Seminar - Computational Problems in Equational Theorem Proving (UPenn)
|
Sun, 30-Nov-86 21:00:35 EST |
pas@MOJAVE.STANFORD.EDU (Peter Steenkiste) |
Seminar - LISP on a Reduced-Instruction-Set Processor (SU)
|
Sun, 30-Nov-86 21:00:48 EST |
Masaru.Tomita@A.CS.CMU.EDU |
Seminar - RUM: Reasoning with Uncertainty (CMU)
|
Sun, 30-Nov-86 21:01:02 EST |
Tim@CIS.UPENN.EDU (Tim Finin) |
Seminar - Graphical Access to an Expert System (UPenn)
|
Sun, 30-Nov-86 21:01:25 EST |
Sergio.Sedas@FAS.RI.CMU.EDU |
Seminar - Disassembly Expert (CMU)
|
Sun, 30-Nov-86 21:01:38 EST |
WLMILLIO@GALLUD.BITNET |
Anything in D.C. area?
|
Sun, 30-Nov-86 21:01:51 EST |
breaux@NTSC-74.ARPA ("^MRobert Breaux") |
RUTGERS SEMINAR ON OFFICE SYSTEMS
|
Sun, 30-Nov-86 21:02:03 EST |
leff%smu@RELAY.CS.NET |
ai.bib45AB
|
Sun, 30-Nov-86 21:02:21 EST |
leff%smu@csnet-relay.UUCP |
ai.bib42AB
|
Tue, 2-Dec-86 03:26:37 EST |
hamscher@HT.AI.MIT.EDU (Walter Hamscher) |
Proposed: a split of this group
|
Tue, 2-Dec-86 03:26:51 EST |
MINSKY%OZ.AI.MIT.EDU@XX.LCS.MIT.EDU |
Searle, Turing, Symbols, Categories
|
Tue, 2-Dec-86 04:20:17 EST |
FAWCETT@RED.RUTGERS.EDU.UUCP |
Seminar - Formal Properties of Version Spaces (Rutgers)
|
Thu, 4-Dec-86 05:32:53 EST |
AI.CAUSEY@R20.UTEXAS.EDU.UUCP |
Seminar - Machine Learning and Discovery (UTexas)
|
Thu, 4-Dec-86 05:33:17 EST |
Elaine.Atkinson@A.CS.CMU.EDU.UUCP |
Seminar - Nonmonotonic Inheritance Systems (CMU)
|
Thu, 4-Dec-86 05:34:17 EST |
Daniel.Leivant@THEORY.CS.CMU.EDU.UUCP |
Seminar - Possible-World Semantics (CMU)
|
Thu, 4-Dec-86 05:34:43 EST |
Tim@CIS.UPENN.EDU.UUCP |
Seminar - A Higher-Order Logic for Programming (UPenn)
|
Thu, 4-Dec-86 05:35:09 EST |
Tim@CIS.UPENN.EDU.UUCP |
Seminar - Non-Strict Class Hierarchies in Modeling Laguages (UPenn)
|
Thu, 4-Dec-86 05:35:37 EST |
BORGIDA@RED.RUTGERS.EDU.UUCP |
Course - Parallel Architecture and AI (UPenn)
|
Thu, 4-Dec-86 05:36:04 EST |
amsler@FLASH.BELLCORE.COM.UUCP |
AI Bibliographic format
|
Thu, 4-Dec-86 05:38:18 EST |
dchandra@ATHENA.MIT.EDU.UUCP |
Re: AIList Digest V4 #276
|
Thu, 4-Dec-86 05:38:41 EST |
SHAFFER%SCOVCB.DECnet@GE-CRD.ARPA.UUCP |
the long debate of philosophical issues
|
Thu, 4-Dec-86 05:38:58 EST |
amsler@FLASH.BELLCORE.COM.UUCP |
Splitting the List
|
Thu, 4-Dec-86 05:39:18 EST |
KFL%MX.LCS.MIT.EDU@MC.LCS.MIT.EDU.UUCP |
Subconscious
|
Thu, 4-Dec-86 05:39:37 EST |
Tim@CIS.UPENN.EDU (Tim Finin) |
Correction - Parallel Archictures Course
|
Tue, 9-Dec-86 05:12:38 EST |
FAWCETT@RED.RUTGERS.EDU (Tom Fawcett) |
Seminar - An EBG system which Learns from Failures (Rutgers)
|
Tue, 9-Dec-86 05:13:01 EST |
Feng-Hsiung.Hsu@UNH.CS.CMU.EDU |
Seminar - Parallelization of Alpha-Beta Search (CMU)
|
Tue, 9-Dec-86 05:14:02 EST |
veach@ukans.CSNET (Glenn Veach) |
Conference - Logical Solutions to the Frame Problem
|
Tue, 9-Dec-86 05:14:26 EST |
sriram@ATHENA.MIT.EDU |
Conference - AI in Engineering
|
Tue, 9-Dec-86 05:14:47 EST |
Laws@SRI-STRIPE.ARPA (Ken Laws) |
Administrivia - BITNET Distribution
|
Tue, 9-Dec-86 05:15:06 EST |
brunner@SPAM.ISTC.SRI.COM (Thomas Eric Brunner) |
little (*fun*) lisper, title/author?
|
Tue, 9-Dec-86 05:15:27 EST |
Pase@DOCKMASTER.ARPA (Bill Pase) |
Lisp Performance Benchmarks
|
Tue, 9-Dec-86 05:15:49 EST |
Stern.pasa@XEROX.COM |
OOP in AI
|
Tue, 9-Dec-86 05:55:58 EST |
HAMILTON%RCSMPA@gmr.com ("William E. Hamilton, Jr.") |
AI Bibliographic format
|
Tue, 9-Dec-86 06:17:37 EST |
kumthek@lsu.CSNET (Girish Kumthekar) |
Proposed Split
|
Tue, 9-Dec-86 06:17:57 EST |
KFL%MX.LCS.MIT.EDU@MC.LCS.MIT.EDU ("Keith F. Lynch") |
Conscious computers
|
Tue, 9-Dec-86 06:19:20 EST |
David.Harel@THEORY.CS.CMU.EDU |
another dijkstra quote
|
Tue, 9-Dec-86 06:19:31 EST |
cugini@nbs-vms.UUCP ("CUGINI, JOHN") |
brains vs. TTT as criteria for mind/consciousness
|
Tue, 9-Dec-86 06:19:49 EST |
Laws@SRI-STRIPE.ARPA (Ken Laws) |
Correction -- Psychnet
|
Tue, 16-Dec-86 19:09:23 EST |
LILIUS@FINFUN.BITNET |
Gateway problems ARPA <-> Bitnet
|
Tue, 16-Dec-86 19:09:45 EST |
SUNDSTRO@FINABO.BITNET |
AILIST
|
Tue, 16-Dec-86 19:10:20 EST |
wendy%hplwlf@HPLABS.HP.COM (Wendy Fong) |
Query - AI for Photolithography
|
Tue, 16-Dec-86 19:11:08 EST |
preece%mycroft@GSWD-VMS.ARPA (Scott E. Preece) |
Re: AI Bibliographic format
|
Tue, 16-Dec-86 19:11:53 EST |
crs%lambda@LANL.ARPA (Charlie Sorsby) |
Improving usability of bibilographies
|
Tue, 16-Dec-86 19:12:40 EST |
Feng-Hsiung.Hsu@VLSI.CS.CMU.EDU |
Clarification
|
Tue, 16-Dec-86 19:13:07 EST |
hamscher@HT.AI.MIT.EDU (Walter Hamscher) |
little (*fun*) lisper, title/author?
|
Tue, 16-Dec-86 19:14:11 EST |
ALDERSON@SCORE.STANFORD.EDU (Rich Alderson) |
Re: AIList Digest V4 #281--Little LISPer
|
Tue, 16-Dec-86 19:15:06 EST |
rapaport@buffalo.CSNET ("William J. Rapaport") |
little (*fun*) lisper, title/author
|
Tue, 16-Dec-86 19:15:30 EST |
DAVEB@UMass.BITNET |
RE: Little LISPer, a reply
|
Tue, 16-Dec-86 19:15:53 EST |
EDH@HNYKUN52.BITNET |
RE: little (*fun*) lisper, title/author?
|
Tue, 16-Dec-86 19:16:37 EST |
ALDERSON@SCORE.STANFORD.EDU (Rich Alderson) |
Re: AIList Digest V4 #281--Lisp Benchmarks
|
Tue, 16-Dec-86 19:17:20 EST |
miner@SPAM.ISTC.SRI.COM (Stephen E. Miner) |
Re: Lisp for Mac
|
Tue, 16-Dec-86 19:18:08 EST |
AI.THROOP@R20.UTEXAS.EDU.UUCP |
Q: Salary Survey
|
Wed, 17-Dec-86 03:50:48 EST |
slade%yale-ring@YALE.ARPA.UUCP |
New Book
|
Wed, 17-Dec-86 03:52:47 EST |
leff%smu@csnet-relay.UUCP.UUCP |
AI at Upcoming Conference
|
Wed, 17-Dec-86 03:53:51 EST |
rjf@seismo.CSS.GOV@ukc.UUCP |
Consciousness
|
Wed, 17-Dec-86 03:54:52 EST |
DAVIS%OZ.AI.MIT.EDU@XX.LCS.MIT.EDU.UUCP |
splitting the list
|
Wed, 17-Dec-86 03:56:16 EST |
KRULWICH@C.CS.CMU.EDU.UUCP |
spliting the AIList
|
Wed, 17-Dec-86 03:57:34 EST |
SASW%MX.LCS.MIT.EDU@MC.LCS.MIT.EDU.UUCP |
Seminar - Massively Concurrent Knowledge Representation (MIT)
|
Wed, 17-Dec-86 04:00:54 EST |
SASW%MX.LCS.MIT.EDU@MC.LCS.MIT.EDU.UUCP |
Seminar - Logic of Knowledge, Action, and Communication (BBN)
|
Wed, 17-Dec-86 04:01:40 EST |
VAL@SAIL.STANFORD.EDU.UUCP |
Seminar - Concepts Defined via Approximate Theories (SU)
|
Wed, 17-Dec-86 04:02:25 EST |
SASW%MX.LCS.MIT.EDU@MC.LCS.MIT.EDU.UUCP |
Seminar - Commonsense Reasoning about Solid Objects (MIT)
|
Wed, 17-Dec-86 04:03:19 EST |
SASW%MX.LCS.MIT.EDU@MC.LCS.MIT.EDU.UUCP |
Seminar - Classification of States and Events (MIT)
|
Wed, 17-Dec-86 04:03:47 EST |
Tim@CIS.UPENN.EDU.UUCP |
Course - Advanced Topics in Databases
|
Wed, 17-Dec-86 04:04:15 EST |
Tim@CIS.UPENN.EDU.UUCP |
Conference - Philadelphia Regional AI Symposium
|
Wed, 17-Dec-86 23:30:13 EST |
jon@JUNE.CS.WASHINGTON.EDU.UUCP |
Conference - Directions and Implications of Advanced Computing
|
Wed, 17-Dec-86 23:30:34 EST |
bray@clutx.BITNET.UUCP |
Conference - Foundations of Computer Science
|
Wed, 17-Dec-86 23:31:00 EST |
vardi@NAVAJO.STANFORD.EDU.UUCP |
Conference - ACM Symp. on Principles of Database Systems
|
Wed, 17-Dec-86 23:31:24 EST |
sridhar@tekecs.tek.com.UUCP |
Chess Program Needed
|
Thu, 18-Dec-86 07:23:39 EST |
larry@JPL-VLSI.ARPA.UUCP |
Multidimensional nature of intelligence
|
Thu, 18-Dec-86 07:24:01 EST |
joglekar@ICARUS.RIACS.EDU.UUCP |
Text-to-speech conversion
|
Thu, 18-Dec-86 07:24:21 EST |
SASW%MX.LCS.MIT.EDU@MC.LCS.MIT.EDU ("Steven A. Swernofsky") |
Seminar - Uncertainty in AI: Is Probability Adequate (MIT)
|
Fri, 19-Dec-86 07:09:47 EST |
AI.ELLIE@MCC.COM (Ellie Huck) |
Seminar - Learning by Understanding Analogies (MCC)
|
Fri, 19-Dec-86 07:10:11 EST |
segall@CAIP.RUTGERS.EDU (Ed Segall) |
Seminar - Replay of Design Derivations (Rutgers)
|
Fri, 19-Dec-86 07:10:51 EST |
ADELSBER@AWIWUW11.BITNET |
Conference - European Simulation Multiconference 1987, Vienna
|
Fri, 19-Dec-86 07:12:06 EST |
KASHTAN@CS.COLUMBIA.EDU (Mickey Kashtan) |
Query: reasonable public domain PC expert system
|
Mon, 22-Dec-86 03:38:19 EST |
gknight@NGP.UTEXAS.EDU (Gary Knight) |
Knowledge-based ("expert") systems periodicals
|
Mon, 22-Dec-86 03:39:40 EST |
psotka@ARI-HQ1.ARPA ("PSOTKA, JOSEPH") |
BASIC BRAIN BYTES AND LIFELONG MEMORY
|
Mon, 22-Dec-86 03:41:40 EST |