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