FromSubjectReceived
dick@tjalk.UUCP (Dick Grune) Proof by induction, fun & entertainment Tue, 25-Sep-84 03:19:44 EDT
jbn@wdl1.UUCP (jbn ) Re: Now and Then Tue, 25-Sep-84 03:20:09 EDT
steiny@scc.UUCP (Don Steiny) Re: induction vs. deduction Tue, 25-Sep-84 03:27:53 EDT
TONH%alvey@ucl-cs.arpa Lisp on the VAX Tue, 25-Sep-84 03:29:15 EDT
robison@eosp1.UUCP (Tobias D. Robison) Re: Inducxtive proof -- the heap problem Tue, 25-Sep-84 06:18:42 EDT
chris@umcp-cs.UUCP (Chris Torek) Re: Causality Tue, 25-Sep-84 08:36:55 EDT
polard@fortune.UUCP (Henry Polard) Re: Swans, whiteness and precision: Tue, 25-Sep-84 21:24:01 EDT
tom@LOGICON.ARPA AI SIG in San Diego Tue, 25-Sep-84 21:50:45 EDT
sde%Mitre-Bedford@sri-unix.UUCP Swans: Wed, 26-Sep-84 00:57:31 EDT
Hoffman.es@XEROX.ARPA AI in the kitchen, continued Wed, 26-Sep-84 00:58:05 EDT
PeterPirolli%CMU-CS-A@sri-unix.UUCP micro production systems Wed, 26-Sep-84 01:04:59 EDT
LeeBrownston%CMU-CS-A@sri-unix.UUCP Pittsburghese figured out Wed, 26-Sep-84 02:16:19 EDT
daryoush@sdcsvax.UUCP (Daryoush Morshedian) Top Ten Wed, 26-Sep-84 02:48:57 EDT
fritz@hpfclk.UUCP (fritz) Re: Inductive Proof - The Heap Problem Wed, 26-Sep-84 03:16:07 EDT
jensen@trwspp.UUCP AI for Business Wed, 26-Sep-84 03:31:07 EDT
XASV02%svpa@ucl-cs.arpa Project - Traffic Information System Wed, 26-Sep-84 04:48:03 EDT
chertok%ucbkim%Berkeley@sri-unix.UUCP Seminar - Common Sense Thinking Wed, 26-Sep-84 04:48:28 EDT
BIESEL@RUTGERS.ARPA Info needed on OPS5 Wed, 26-Sep-84 06:21:20 EDT
Laws@SRI-AI.ARPA Knowledge Engineering Article Wed, 26-Sep-84 06:21:34 EDT
Parkinson@YALE.ARPA VMS LISPS Wed, 26-Sep-84 06:21:48 EDT
Boebert@HI-MULTICS.ARPA More on induction and deduction Wed, 26-Sep-84 06:22:02 EDT
BARNARD@SRI-AI.ARPA induction vs. deduction Wed, 26-Sep-84 06:22:15 EDT
WALTER%MIT-OZ@MIT-MC.ARPA Humor & Seminar - Slimy Logic Wed, 26-Sep-84 06:22:29 EDT
BARWISE@SU-CSLI.ARPA Course & Conference - Stanford Logic Meeting Wed, 26-Sep-84 06:23:11 EDT
DIKRAN@SU-CSLI.ARPA Seminar Series - Theories of Information Wed, 26-Sep-84 06:26:27 EDT
STORY%MIT-MC@sri-unix.UUCP Seminar - Analysis of Knowledge Wed, 26-Sep-84 07:14:30 EDT
berry@zinfandel.UUCP (Berry Kercheval) Re: Top Ten Wed, 26-Sep-84 07:21:41 EDT
kcwellsch@water.UUCP (Ken C. Wellsch) Request of Information Wed, 26-Sep-84 08:04:26 EDT
mab%aids-unix@sri-unix.UUCP Demonstration Idea wanted Wed, 26-Sep-84 19:38:06 EDT
nirenburg%umass-cs.csnet@csnet-relay.arpa SIGART Special Section on Machine Translation Wed, 26-Sep-84 19:38:22 EDT
O'KeefeHPS@sri-unix.UUCP Availability of a GPSG system in Prolog Wed, 26-Sep-84 19:38:51 EDT
O'KeefeHPS@sri-unix.UUCP Interpreting Kastner's Preference Rules in Prolog Wed, 26-Sep-84 19:39:08 EDT
colonel@gloria.UUCP (George Sicherman) Re: dangerous computers Thu, 27-Sep-84 02:33:45 EDT
alf@ttds.UUCP (Thomas Sj|land) Induction. Thu, 27-Sep-84 05:25:50 EDT
jbn@wdl1.UUCP (jbn ) Re: Top Ten Fri, 28-Sep-84 06:34:00 EDT
jbn@wdl1.UUCP (jbn ) Re: Info needed on OPS5 Fri, 28-Sep-84 06:34:17 EDT
jbn@wdl1.UUCP (jbn ) Re: VMS LISPS Fri, 28-Sep-84 06:34:33 EDT
chandra@uiucuxc.UUCP Re: Top Ten Fri, 28-Sep-84 07:16:28 EDT
kfl@hoxna.UUCP (Kenton Lee) need xlisp help Fri, 28-Sep-84 07:19:41 EDT
david@infopro.UUCP (David Fiedler) test xmission: please hit "n"! Fri, 28-Sep-84 07:22:56 EDT
rogerm@iddic.UUCP (Roger Muller) Tektronix 4404 AI Machine Fri, 28-Sep-84 07:34:54 EDT
fox%vpi.csnet@csnet-relay.arpa Expert System for Foster Care Placements Sat, 29-Sep-84 09:24:04 EDT
kushnier%NADC@sri-unix.UUCP Help- Franz Lisp Sat, 29-Sep-84 09:24:18 EDT
nirenburg%umass-cs.csnet@csnet-relay.arpa natural languages as interlinguas for MT Sat, 29-Sep-84 09:24:34 EDT
WELD%MIT-OZ@MIT-MC.ARPA Seminar - Semantic Modulation Sat, 29-Sep-84 09:24:50 EDT
Edmisten@SUMEX-AIM.ARPA Seminar - SOAR Intelligent System Sat, 29-Sep-84 09:25:05 EDT
Laws@SRI-AI.ARPA Current Distribution List Sat, 29-Sep-84 09:25:23 EDT
mathur@alberta.UUCP ELIZA source request Sat, 29-Sep-84 09:28:45 EDT
lanning@lll-crg.ARPA Nitpicking... Sat, 29-Sep-84 09:55:35 EDT
qwerty@drutx.UUCP Re: need xlisp help Sat, 29-Sep-84 10:32:02 EDT
mouli@cavell.UUCP (Bopsi ChandraMouli) Re: test xmission: please hit "n"! Sun, 30-Sep-84 02:31:44 EDT
CHUNKA%MIT-OZ@MIT-MC.ARPA request for info: commercialization of ai Sun, 30-Sep-84 03:49:27 EDT
CMP.WERNER@UTEXAS-20.ARPA A "populist's" view - Jerry Pournelle comments. Sun, 30-Sep-84 03:49:45 EDT
JKAPLAN@SRI-KL.ARPA Clarification Regarding Teknowledge's M.1 Product Sun, 30-Sep-84 03:50:12 EDT
gwyn@brl-tgr.ARPA (Doug Gwyn ) Re: need xlisp help Sun, 30-Sep-84 04:01:16 EDT
RogerDannenberg%CMU-CS-A@sri-unix.UUCP Computer Music Mailing List Sun, 30-Sep-84 04:48:34 EDT
SHEBS@UTAH-20.ARPA Windows and Expert Systems Sun, 30-Sep-84 04:48:50 EDT
briggs@RIACS.ARPA natural languages as interlinguas for MT Sun, 30-Sep-84 04:49:08 EDT
LRC.Throop@UTEXAS-20.ARPA Re: Having no crime rate & other text curiosities Sun, 30-Sep-84 04:49:27 EDT
SHEBS@UTAH-20.ARPA Re: Induction Sun, 30-Sep-84 04:49:43 EDT
chertok%ucbkim%Berkeley@sri-unix.UUCP Seminar - Anatomical Analogy for Linguistics Sun, 30-Sep-84 04:50:01 EDT
daryoush@sdcsvax.UUCP (Daryoush Morshedian) Re: Top Ten Mon, 1-Oct-84 03:33:23 EDT
discolo@ucsbcsl.UUCP (Anthony V. Discolo) Information wanted on UNIX consultant. Mon, 1-Oct-84 03:33:37 EDT
rggoebel@water.UUCP (Randy Goebel) Re: Clarification Regarding Teknowledge's M.1 Product Mon, 1-Oct-84 03:33:58 EDT
koved@umcp-cs.UUCP (Larry Koved) Re: ELIZA source request Mon, 1-Oct-84 08:02:47 EDT
polard@fortune.UUCP Re: natural languages as interlinguas fo Wed, 3-Oct-84 05:45:26 EDT
jbn@wdl1.UUCP (jbn ) Re: Windows and Expert Systems Wed, 3-Oct-84 05:45:58 EDT
jbn@wdl1.UUCP (jbn ) Re: Re: Clarification Regarding Teknowle Wed, 3-Oct-84 06:19:29 EDT
jbn@wdl1.UUCP (John B. Nagle) Re: obtaining OPS-5 Thu, 4-Oct-84 03:43:28 EDT
RDG@SU-AI.ARPA Syntelligence: Address Correction Thu, 4-Oct-84 07:52:07 EDT
SHEBS@UTAH-20.ARPA Re: Induction on One Case Thu, 4-Oct-84 07:52:43 EDT
briggs@RIACS.ARPA Sanskrit Thu, 4-Oct-84 07:53:18 EDT
walter%mit-htvax@sri-unix.UUCP Onyx BC8820 Stone Block Reader Thu, 4-Oct-84 07:53:58 EDT
bloomber@noscvax.UUCP (Michael N. Bloomberg) Re: AI for Business Thu, 4-Oct-84 07:54:22 EDT
elman@sdamos.UUCP (Jeff Elman) Re: Sanskrit Thu, 4-Oct-84 07:55:09 EDT
smith%umn.csnet@csnet-relay.arpa John Dvorak as an information source Thu, 4-Oct-84 08:30:13 EDT
DIETTERICH@SUMEX-AIM.ARPA Generalization Thu, 4-Oct-84 08:30:32 EDT
LIBRARY@SU-SCORE.ARPA Tim Johnson's Report Fri, 5-Oct-84 05:37:06 EDT
DIETTERICH@SUMEX-AIM.ARPA Re: Windows and Expert Systems Fri, 5-Oct-84 05:37:19 EDT
ABN.CJMERRICK@USC-ISID.ARPA Conference - Knowledge-Based Command and Control Fri, 5-Oct-84 05:44:48 EDT
welsch@houxu.UUCP (Larry Welsch) Re: John Dvorak as an information source Fri, 5-Oct-84 05:46:35 EDT
jaw@ames.UUCP (James A. Woods) Re: Humor & Seminar - Slimy Logic Fri, 5-Oct-84 20:14:14 EDT
rich@ncoast.UUCP ( SYSOP) AI decision systems - What are the risks for the vendor? Fri, 5-Oct-84 20:26:25 EDT
ken@turtlevax.UUCP (Ken Turkowski) Electrical CAE software/hardware Sat, 6-Oct-84 02:06:12 EDT
jimc@haddock.UUCP Re: Orphaned Response - (nf) Sat, 6-Oct-84 05:00:46 EDT
Littleboy@YALE.ARPA Chess Request Sat, 6-Oct-84 05:28:17 EDT
SHEBS@UTAH-20.ARPA Summary of Window Responses Sat, 6-Oct-84 05:28:32 EDT
mclure%sri-prism@sri-unix.UUCP reminder of upcoming computer chess tournament in San Sat, 6-Oct-84 05:28:48 EDT
cross%lsu.csnet@csnet-relay.arpa MST distributions Sat, 6-Oct-84 06:24:34 EDT
LIBRARY@SU-SCORE.ARPA Tim Johnson's Report Sat, 6-Oct-84 06:24:50 EDT
BIESEL@RUTGERS.ARPA OPS5 info summary. Sat, 6-Oct-84 06:25:07 EDT
MOLENDER@SRI-AI.ARPA NEW ADDRESS FOR SYNTELLIGENCE Sat, 6-Oct-84 08:20:51 EDT
POSER@SU-CSLI.ARPA Natural languages as MT interlingua Sat, 6-Oct-84 08:21:07 EDT
dyer@UCLA-LOCUS.ARPA Natural Languages Sat, 6-Oct-84 08:21:20 EDT
bobgian@sjuvax.UUCP (B. Giansiracusa) ELIZA sources Sun, 7-Oct-84 02:36:13 EDT
ab@emory.UUCP (Alex Bykat) RE: ELIZA source request Sun, 7-Oct-84 02:45:38 EDT
colonel@gloria.UUCP (George Sicherman) Re: fuzzy poker Sun, 7-Oct-84 21:47:14 EDT
geb@cadre.UUCP re: liability for expert systems Mon, 8-Oct-84 02:14:37 EDT
oz@utcs.UUCP (Ozan Yigit) Information on VAX-LispMachine Connection Tue, 9-Oct-84 21:43:38 EDT
mclure%sri-prism@sri-unix.UUCP Delphi 15: cruncher nudges bishop Wed, 10-Oct-84 03:59:08 EDT
discolo@ucsbcsl.UUCP (Anthony V. Discolo) Writing natural language/expert systems software. Wed, 10-Oct-84 04:08:03 EDT
robison@eosp1.UUCP (Tobias D. Robison) Re: fuzzy poker Wed, 10-Oct-84 04:26:54 EDT
forbus@uiucdcsb.UUCP Re: re: liability for expert systems Wed, 10-Oct-84 04:35:57 EDT
morgan@uicsl.UUCP Re: Sanskrit Wed, 10-Oct-84 04:39:17 EDT
sypark@kiet.UUCP (Seyoung Park) Natural Language Processing Systems Wed, 10-Oct-84 05:29:07 EDT
burge@logico.UUCP (John Burge) LMI (Uppsala) Prolog + Kahn's DCG's: User Experiences Wed, 10-Oct-84 06:14:37 EDT
olsen@wxlvax.UUCP (Neil Olsen) Re: Humor & Seminar - Slimy Logic Thu, 11-Oct-84 04:23:00 EDT
okeefe.r.a.%edxa@ucl-cs.arpa References wanted Thu, 11-Oct-84 07:13:26 EDT
mitch@rabbit.UUCP (Mitch Marcus) CALL FOR PAPERS - Assoc. for Computational Linguistics Thu, 11-Oct-84 07:23:48 EDT
polard@fortune.UUCP (Henry Polard) Fuzzy logic references wanted Fri, 12-Oct-84 05:57:35 EDT
mark@tove.UUCP (Mark Weiser) Re: Information on VAX-LispMachine Connection Sat, 13-Oct-84 02:23:40 EDT
novick@uo-vax1.UUCP (novick) Re: Liability Sat, 13-Oct-84 04:22:23 EDT
daryoush@sdcsvax.UUCP (Daryoush Morshedian) Robotics Sat, 13-Oct-84 04:54:10 EDT
aam@pucc-h (Dwight McKay) Diagnosing strategies for humans? Sat, 13-Oct-84 07:14:59 EDT
matthews@usceast.UUCP (Manton Matthews) Expert System Tools Sat, 13-Oct-84 08:15:21 EDT
novick@uo-vax1.UUCP (novick) Re: Liability Sun, 14-Oct-84 08:15:47 EDT
sasaki@harvard.ARPA (Marty Sasaki) liability Mon, 15-Oct-84 01:47:04 EDT
greenber@acf4.UUCP Natural Language Inquiry. Mon, 15-Oct-84 01:47:42 EDT
colonel@gloria.UUCP (George Sicherman) Re: printing graphs, a new query Mon, 15-Oct-84 01:48:23 EDT
gary@rochester.UUCP Seminar announcement (party) Tue, 16-Oct-84 03:32:10 EDT
gary@rochester.UUCP Dog Modelling: a correction Tue, 16-Oct-84 03:35:54 EDT
alan@allegra.UUCP (Alan S. Driscoll) Re: Sastric Sanskrit Tue, 16-Oct-84 06:29:30 EDT
prem@eagle.UUCP (P.T.Devanbu) Lawrence Byrd's 4 port model, reference ????? Wed, 17-Oct-84 06:29:47 EDT
robison@eosp1.UUCP (Tobias D. Robison) Re: Diagnosing strategies for humans? Wed, 17-Oct-84 06:35:03 EDT
robison@eosp1.UUCP (Tobias D. Robison) Re: Liability Wed, 17-Oct-84 06:35:17 EDT
chandra@uiucuxc.UUCP Net.ai.break-up ???????????????????? Thu, 18-Oct-84 19:31:13 EDT
elman@sdamos.UUCP (Jeff Elman) Re: Sastric Sanskrit Fri, 19-Oct-84 05:36:57 EDT
herbie@watdcsu.UUCP (Herb Chong, Computing Services) Re: Diagnosing strategies for humans? Fri, 19-Oct-84 05:38:08 EDT
jerry@oliveb.UUCP (Jerry Aguirre) Re: Sanskrit (actually natural languages deficiencies) Sat, 20-Oct-84 07:18:16 EDT
rggoebel@water.UUCP (Randy Goebel) Compiled versus interpreted LISP Sun, 21-Oct-84 08:06:07 EDT
stevens@uiucdcs.UUCP Re: Net.ai.break-up ???????????????????? Sun, 21-Oct-84 09:23:37 EDT
elman@sdamos.UUCP (Jeff Elman) Re: Net.ai.break-up ???????????????????? Sun, 21-Oct-84 11:09:38 EDT
hes@ecsvax.UUCP Re: printing family trees - gloria.599 Sun, 21-Oct-84 12:35:04 EDT
smith@umn-cs.UUCP (Richard Smith) Re: Diagnosing strategies for humans? Sun, 21-Oct-84 15:40:53 EDT
smith@umn-cs.UUCP (Richard Smith) Re: Diagnosing strategies for humans? Sun, 21-Oct-84 16:24:28 EDT
George.Wood@CMU-CS-G.ARPA Another OPS5 Version Mon, 22-Oct-84 02:27:24 EDT
rob@ptsfa.UUCP (Rob Bernardo) Re: Langauge Evolution Mon, 22-Oct-84 06:49:20 EDT
jwb@ecsvax.UUCP Re: Diagnosing strategies for humans? Mon, 22-Oct-84 07:10:57 EDT
tstorm@vu44.UUCP (Theo van der Storm) Reversi, Othello playing programs (tournament announcement?) Mon, 22-Oct-84 07:11:31 EDT