FromSubjectReceived
hsplab@ecsvax.UUCP computer EKG Sun, 26-Feb-84 23:19:52 EST
mcmillan@eosp1.UUCP (Tobias D. Robison) Re: computer ECG Tue, 28-Feb-84 07:45:30 EST
zev@hou2a.UUCP (Z.FARKAS) AI (LISP,PROLOG,ETC.) for UNIX VAX Tue, 28-Feb-84 13:02:06 EST
marcel@uiucdcs.UUCP (marcel ) Re: computer ECG - (nf) Wed, 29-Feb-84 01:33:55 EST
andrew@inmet.UUCP Re: Re: Fermat's Last Theorem & Undecida - (nf) Fri, 2-Mar-84 00:13:28 EST
woodham@ubc-vision.UUCP (Bob Woodham) re: CSCSI address Fri, 2-Mar-84 07:13:15 EST
RNeal@HIS-PHOENIX-MULTICS.ARPA EURISKO Sun, 4-Mar-84 02:49:31 EST
ckaun%aids-unix@sri-unix.UUCP Laws of Form Sun, 4-Mar-84 02:51:13 EST
SAC.LONG%USC-ISIE@sri-unix.UUCP Automated Documentation Tools Sun, 4-Mar-84 03:18:35 EST
GCJ%edxa@ucl-cs.arpa re: Parallel processing in the brain. Sun, 4-Mar-84 03:19:02 EST
Kling%UCI-20B%UCI-750a%csnet2@sri-unix.UUCP Computing Worlds Sun, 4-Mar-84 03:20:19 EST
jalbers@bnl.UUCP (Jon Albers) Atten:Osborne owners Sun, 4-Mar-84 23:10:57 EST
bobgian@psuvax.UUCP (Bob Giansiracusa) Netwide AI Course (from PSU) Bites the Dust Mon, 5-Mar-84 00:48:51 EST
kjv@druxu.UUCP (VolzKJ) Looking for U of Edinburgh, HOPE language Mon, 5-Mar-84 06:55:39 EST
Anonymous@inmet.UUCP Re: *AI-LUNCH* - (nf) Tue, 6-Mar-84 00:59:36 EST
benson@dcdwest.UUCP Request for OPS5 examples Tue, 6-Mar-84 03:34:28 EST
bobgian@psuvax.UUCP (Bob Giansiracusa) Correction to "Bye Bye Netwide AI" Wed, 7-Mar-84 07:00:19 EST
mason@utcsrgv.UUCP (Dave Mason) Need references on Expert/Knowledge Based Systems Wed, 7-Mar-84 16:23:37 EST
Brachman%SRI-KL@sri-unix.UUCP AAAI-84 Paper Submission Deadline Fri, 9-Mar-84 01:18:13 EST
G.TJM@SU-SCORE.ARPA LISP for IBM PC Fri, 9-Mar-84 01:18:35 EST
steve%brl-bmd@sri-unix.UUCP Re: AI (LISP,PROLOG,ETC.) for UNIX VAX Fri, 9-Mar-84 01:18:50 EST
steve%brl-bmd@sri-unix.UUCP Documentation tools Fri, 9-Mar-84 01:19:06 EST
crummer%AEROSPACE@sri-unix.UUCP Manual generators Fri, 9-Mar-84 01:19:20 EST
HBR@MIT-XX.ARPA Looking for a Parser Generator Fri, 9-Mar-84 01:19:43 EST
MJackson.Wbst@PARC-MAXC.ARPA Re: Fermat's Last Theorem & Undecidable Propositions Fri, 9-Mar-84 01:20:10 EST
SHahn@SUMEX-AIM.ARPA Domestic Robotics Fri, 9-Mar-84 01:20:24 EST
FISCHER@RUTGERS.ARPA Re: computer ECG, FDA testing of AI programs Fri, 9-Mar-84 01:23:15 EST
Hoffman.es@PARC-MAXC.ARPA U.S. Response to Japan's AI efforts Fri, 9-Mar-84 01:23:32 EST
crummer%AEROSPACE@sri-unix.UUCP Laws of Form Fri, 9-Mar-84 01:23:49 EST
DRogers%MIT-OZ@MIT-MC.ARPA parallel minds? Fri, 9-Mar-84 01:24:07 EST
LIBRARY@SU-SCORE.ARPA Latest Math & CS Library "New Reports List" posted on-line. Fri, 9-Mar-84 01:24:39 EST
Zellich%OFFICE-3@sri-unix.UUCP New location for list-of-lists (Interest-Groups.TXT) Fri, 9-Mar-84 01:25:06 EST
Kluger.PA@PARC-MAXC.ARPA HP Computer Colloquium 3/8/84 Fri, 9-Mar-84 01:26:24 EST
MESEGUER@SRI-AI.ARPA A Model of LISP Computation Fri, 9-Mar-84 01:26:51 EST
walter%mit-htvax@sri-unix.UUCP GRADUATE STUDENT LUNCH Fri, 9-Mar-84 01:27:15 EST
PETTY@RUTGERS.ARPA VanLehn Colloquium on Learning Fri, 9-Mar-84 01:27:38 EST
PETTY@RUTGERS.ARPA Tong Colloquium on Knowledge-Directed Search Fri, 9-Mar-84 01:27:57 EST
PETTY@RUTGERS.ARPA Ferrante Colloquium on Automatic Programming Fri, 9-Mar-84 01:28:26 EST
Guibert.pa@PARC-MAXC.ARPA Talk by David McAllester: Mon. Mar. 12 at 11:00 at PARC Fri, 9-Mar-84 01:28:48 EST
WELD%MIT-OZ@MIT-MC.ARPA AI Revolving Seminar Fri, 9-Mar-84 01:29:04 EST
MULLEN@SUMEX-AIM.ARPA SIGLUNCH ANNOUNCEMENT -- Friday, March 9, 1984 Fri, 9-Mar-84 01:29:21 EST
heeter%SCRC-VIXEN@MIT-MC.ARPA STeP-84 Fri, 9-Mar-84 01:29:40 EST
adele@wxlvax.UUCP (Adele Howe) Production systems tools Sat, 10-Mar-84 07:20:54 EST
CASHMAN%DEC-MARLBORO@sri-unix.UUCP For AI digest: request for program synthesis bibliography Sat, 10-Mar-84 08:16:10 EST
AUGUST%JPL-VLSI@sri-unix.UUCP SEARCH FOR PATTERN/CHARACTER RECOGNITION ALGORITHMS, Sat, 10-Mar-84 08:16:43 EST
wj%AEROSPACE@sri-unix.UUCP MYCIN Sat, 10-Mar-84 08:17:15 EST
SHahn@SUMEX-AIM.ARPA IQLISP Source Sat, 10-Mar-84 08:17:47 EST
MJackson.Wbst@PARC-MAXC.ARPA Re: The Four-Color Theorem Sat, 10-Mar-84 08:18:28 EST
LIBRARY@SU-SCORE.ARPA The Artificial Intelligence Report Sat, 10-Mar-84 08:20:04 EST
"AllenRobert"@LLL-MFE.ARPA EURISKO/AM review (415) 422-4881 Sat, 10-Mar-84 08:20:41 EST
rpw3@fortune.UUCP Re: Documentation tools - (nf) Sat, 10-Mar-84 08:57:36 EST
stekas@hou2g.UUCP (J.STEKAS) Plane = Sphere ? Sat, 10-Mar-84 11:20:13 EST
gary@rochester.UUCP (Gary Cottrell) Re: Connectionist Dog Modeling Sat, 10-Mar-84 11:27:06 EST
gary@rochester.UUCP (Gary Cottrell) Re: Tail Recursion is Iterative Sat, 10-Mar-84 11:30:14 EST
jwb@ecsvax.UUCP Re: computer ECG, FDA testing of AI programs Sat, 10-Mar-84 12:38:30 EST
gary@rochester.UUCP (Gary Cottrell) sloan's reply to benson's reply to sloan's reply to benson's reply Sat, 10-Mar-84 13:03:32 EST
narayana@psuvax.UUCP (Kuram T. Narayana) Call for 4th Conf. FST&TCS Bangalore India Dec 13-15. Sat, 10-Mar-84 13:36:20 EST
julian@deepthot.UUCP (Julian Davies) Re: computer ECG, FDA testing of AI programs Sat, 10-Mar-84 14:22:37 EST
mcmillan@eosp1.UUCP (Tobias D. Robison) Re: computer ECG, FDA testing of AI programs Sun, 11-Mar-84 07:04:41 EST
davy@ecn-ee.UUCP Copies of HAKMEM? - (nf) Mon, 12-Mar-84 05:05:52 EST
hsplab@ecsvax.UUCP Computer EKG's Mon, 12-Mar-84 05:28:10 EST
GOLD@RU-BLUE.ARPA a request for suggestions.... Tue, 13-Mar-84 07:53:13 EST
WILKINS@SRI-AI.ARPA Re: The Four-Color Theorem Tue, 13-Mar-84 07:53:28 EST
Prazdny%SRI-KL@sri-unix.UUCP Re: The Four-Color Problem Tue, 13-Mar-84 07:53:42 EST
RBATES%ISIB@sri-unix.UUCP Interlisp Availability Tue, 13-Mar-84 07:53:58 EST
CMP.WERNER@UTEXAS-20.ARPA Playboy 4/84 article: AI-article by Lee Gomes Tue, 13-Mar-84 07:54:13 EST
Laws@SRI-AI.ARPA Expert Systems in Computer Graphics Tue, 13-Mar-84 07:54:28 EST
Laws@SRI-AI.ARPA Expert System for Hardware/Software Debugging Tue, 13-Mar-84 07:54:42 EST
RTaylor.5581i27TK%RADC-MULTICS@sri-unix.UUCP Expert Systems Production tools Tue, 13-Mar-84 07:54:58 EST
ckaun%aids-unix@sri-unix.UUCP More Laws of Form Tue, 13-Mar-84 07:55:14 EST
CL.BOYER@UTEXAS-20.ARPA A. P. Morse Tue, 13-Mar-84 07:55:31 EST
bobgian%PSUVAX1.BITNET%Berkeley@sri-unix.UUCP Netwide AI Course Bites the Dust Tue, 13-Mar-84 07:55:47 EST
DKANERVA@SRI-AI.ARPA Joint Seminar on Concurrency Tue, 13-Mar-84 07:56:04 EST
TW@SU-AI.ARPA Programming by Example Tue, 13-Mar-84 07:56:19 EST
BrianSmith.PA@PARC-MAXC.ARPA Mathematical Ontology Seminar Rescheduled Tue, 13-Mar-84 07:56:35 EST
CLT@SU-AI.ARPA Incompleteness in Modal Logic Tue, 13-Mar-84 07:56:49 EST
KEDAR-CABELLI@RUTGERS.ARPA Thinking About Graph Theory Tue, 13-Mar-84 07:57:05 EST
chb@vaxine.UUCP (Kool Klezmer) Review of IQLISP for IBM PC Tue, 13-Mar-84 08:20:43 EST
stuart@rochester.UUCP (Stuart Friedberg) And as a non-logical conjuction - Request for pointers Tue, 13-Mar-84 19:18:05 EST
root@sdcatta.UUCP Tue, 13-Mar-84 19:37:36 EST
jwb@ecsvax.UUCP More computer ECG, Cardiologist Wed, 14-Mar-84 07:38:34 EST
marcel@uiucdcs.UUCP (marcel ) Re: Tong Colloquium on Knowledge-Directe - (nf) Wed, 14-Mar-84 08:20:47 EST
RPK%MIT-OZ@MIT-MC.ARPA Manual generators: Lisp systems Wed, 14-Mar-84 09:17:54 EST
ROBINSON@SRI-AI.ARPA Tom Benson Fri, 16-Mar-84 02:52:04 EST
Ives@MIT-MULTICS.ARPA Brain Theory - Parallelism Fri, 16-Mar-84 02:52:18 EST
WELD%MIT-OZ@MIT-MC.ARPA Procedural Learning (Boston) Fri, 16-Mar-84 02:52:33 EST
TREITEL@SUMEX-AIM.ARPA Theorem Proving in the Stanford Pascal Verifier Fri, 16-Mar-84 02:52:47 EST
FY@SU-AI.ARPA Western Culture in the Computer Age Fri, 16-Mar-84 03:16:52 EST
lorien@dartvax.UUCP (Lorien Y. Pratt) IBM vs. HP: research (AI) question Tue, 20-Mar-84 06:19:28 EST
robison@eosp1.UUCP (Tobias D. Robison) Re: "Explaining" expert system algorthims. Thu, 22-Mar-84 01:40:24 EST
Dave.Touretzky%CMU-CS-A@sri-unix.UUCP who sells AI books? Fri, 23-Mar-84 08:43:42 EST
DKANERVA@SRI-AI.ARPA New Book Series Fri, 23-Mar-84 08:44:01 EST
Conde.PA@PARC-MAXC.ARPA AIList : Request for Fuzzy Set references Fri, 23-Mar-84 08:44:49 EST
CC.Clive@UTEXAS-20.ARPA Wait till he discovers the parenthesis key! Fri, 23-Mar-84 08:45:56 EST
TREITEL@SUMEX-AIM.ARPA Use of "and" Fri, 23-Mar-84 08:47:13 EST
mclean%NRL-CSS@sri-unix.UUCP nonlogical "and" Fri, 23-Mar-84 08:47:30 EST
CMP.WERNER@UTEXAS-20.ARPA High Technology, Feb 84 has AI-relevant articles Fri, 23-Mar-84 08:47:56 EST
RENATA@MIT-XX.ARPA Knowledge-Based Documentation Systems Fri, 23-Mar-84 08:48:16 EST
STORY%MIT-MC@sri-unix.UUCP Sorting Networks Fri, 23-Mar-84 08:48:49 EST
KEDAR-CABELLI@RUTGERS.ARPA III Seminar on Expert Systems for Fault Diagnosis... Fri, 23-Mar-84 08:49:20 EST
Laws@SRI-AI.ARPA Synapse Books Fri, 23-Mar-84 08:50:30 EST
DIETTERICH@SUMEX-AIM.ARPA Tong Address Fri, 23-Mar-84 08:53:58 EST
levitt%aids-unix@sri-unix.UUCP more four color junk Fri, 23-Mar-84 08:56:07 EST
Hamilton.ES@PARC-MAXC.ARPA Characterizing automata from I/O pairs Fri, 23-Mar-84 08:58:24 EST
LYALL@MIT-XX.ARPA ACM Conference Fri, 23-Mar-84 08:59:46 EST
sundar@cwruecmp.UUCP (Sundar R. Iyengar) Expert Systems in VLSI Fri, 23-Mar-84 20:21:40 EST