Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!rochester!cornellcs!travelers.mail.cornell.edu!news.kei.com!news.mathworks.com!newsfeed.internetmci.com!howland.reston.ans.net!spool.mu.edu!umn.edu!news
From: "Alan J. Robinson" <robin073@maroon.tc.umn.edu>
Subject: Re: Does AI make philosophy obsolete?  (Was: Quantifying literary progress)
Message-ID: <45363.robin073@maroon.tc.umn.edu>
X-Minuet-Version: Minuet1.0_Beta_18A
Sender: news@news.cis.umn.edu (Usenet News Administration)
Nntp-Posting-Host: dialup-5-115.gw.umn.edu
X-Popmail-Charset: English
Organization: University of Minnesota, Twin Cities
Date: Tue, 29 Aug 1995 14:45:12 GMT
Lines: 24

On Mon, 28 Aug 1995 15:14:00 GMT, 
Marty Hall  <hall@aplcenmp.apl.jhu.edu > wrote:

>In article <DE0xGB.1nw.0.-s@cs.vu.nl> embronne@cs.vu.nl (Bronneberg EM) writes:
>
>>Alan J. Robinson (robin073@maroon.tc.umn.edu) wrote:
>>: Kylo Ginsberg  <kylo.fac@mhs.unc.edu > wrote:
>>: >jorn@MCS.COM (Jorn Barger) wrote:
>[...]
>>If that's so, why don't you tell us what makes this new device so special.
>[...]
>
>Well, since Alan is the inventor of resolution theorem proving, Kylo
>is Matt Ginsberg's brother, and Jorn is Roger Schank's best friend, I
>think we should give them the benefit of the doubt.   :-) :-)
>
>                                                - Marty
>

Minor correction:  different Robinson.  You're thinking of J. 
Alan Robinson of Syracuse U.

AJR

