From | Subject | Received |
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 |