🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.prolog
Article #3380

Logic Programming Research

#3380
From: Richard A. O'Keefe
Date: Tue, 17 May 1988 08:52
68 lines
2863 bytes
So far I have entries for
	The University of Melbourne	(Australia)
	Katholieke Universiteit Leuven	(Belgium)
	The University of Nottingham	(England)
	Imperial College, London	(England)
	Victoria University		(New Zealand) (not much info)
	The University of Maryland	(USA)
	The University of Arizona	(USA)
	The University of Oregon	(USA)
	The University of Wisconsin - Madison (USA)
	SUNY at Stony Brook		(USA)
	Duke University			(USA)
	Clemson University		(USA)         (not much info)
	The University of Rochester	(USA)	      (not much info)
	The University of North Carolina, Chapel Hill (just the name)

and vague third-party references to
	The University of New South Wales (Australia)
	The Technical University of Nova Scotia	(Canada)
	Waterloo University		(Canada) [>group said to have moved]
	The University of Victoria	(Canada) [<to this place]
	The University of Manchester	(England)
	The University of Karlsruhge	(Germany)
	The University of Edinburgh	(Scotland)
	Northwestern University, Evanston, IL (USA)
	UC Berkeley			(USA)
	UC Irvine			(USA)
	UT Austin			(USA)

I include in this message a copy of the information I got from Melbourne
as an example of what I was hoping for.  I would appreciate getting
information from the outfits on the second list above, and from other
places too.  (I thought I had an entry from Bristol, but I can't find it.
I can cobble something together.  What about Cambridge, England?)
I'll wait another couple of days before posting what I've got, just in case.

	Lee Naish
	Department of Computer Science
	Melbourne University
	Parkville 3052
	Australia

	lee@mulga.oz.au
	lee@munnari.oz.au
	munnari!lee@uunet.css.gov
	{uunet,mcvax,ukc,ubc-vision}!munnari!lee

We currently have 7 lecturers/research fellows/...
	Kotagiri Ramamohanarao (Rao)
	Rodney Topor
	Lee Naish
	Elizabeth Sonnenberg
	Justin Zobel
	Kimbal Mariott
	Harald Sondergaard (Visiting Fellow)
Also 4 programmers and about 15 students working on LP.

Active research areas include
	Deductive databases (theory and implementation)
	Parallelism (mostly stream and-parallelism)
	Programming Environments (declarative debugging,...)
	Language Issues (coroutines, negation, types,....)
	Implementation
	Theory (unification, resolution, abstract interpretation,...)
	Expert systems

We have a growing number of Suns, a dual processor Elxsi 6400, a 14
processor Encore (currently on loan), Vax 780, ....
Technical Details
Message-ID: <988@cresswell.quintus.UUCP>
Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!husc6!bloom-beacon!mit-eddie!uw-beaver!teknowledge-vaxc!sri-unix!quintus!ok

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!husc6!bloom-beacon!mit-eddie!uw-beaver!teknowledge-vaxc!sri-unix!quintus!ok
From: ok@quintus.UUCP (Richard A. O'Keefe)
Newsgroups: comp.lang.prolog
Subject: Logic Programming Research
Message-ID: <988@cresswell.quintus.UUCP>
Date: 17 May 88 08:52:26 GMT
Organization: Quintus Computer Systems, Mountain View, CA
Lines: 68
Posted: Tue May 17 01:52:26 1988