FromSubjectReceived
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