Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!elroy.jpl.nasa.gov!usc!wuarchive!emory!hubcap!kurfess%icsi.Berkeley.EDU
From: kurfess%icsi.Berkeley.EDU@ucbvax.Berkeley.EDU (Franz Kurfess)
Newsgroups: comp.parallel
Subject: References on logic and massive parallelism wanted
Keywords: massive parallelism, logic, reasoning, inference
Message-ID: <13163@hubcap.clemson.edu>
Date: 16 Feb 91 02:49:39 GMT
Sender: fpst@hubcap.clemson.edu
Reply-To: kurfess%icsi.Berkeley.EDU@ucbvax.Berkeley.EDU (Franz Kurfess)
Organization: International Computer Science Institute, Berkeley, CA
Lines: 13
Approved: parallel@hubcap.clemson.edu

I'm looking for references on work in the area of 
logic programming, inference mechanisms, reasoning
on massively parallel machines.
I have information on most parallel Prolog projects, and also
on some work dealing with neural nets and reasoning,
but I think there might be something going on with the
Connection Machine, for example.
Could you please send me references about work being done
in that area? 
Thanks a lot.

Franz Kurfess	International Computer Science Institute, Berkeley
kurfess@icsi.berkeley.edu