Article View: comp.lang.prolog
Article #3380Logic Programming Research
From: Richard A. O'Keefe
Date: Tue, 17 May 1988 08:52
Date: Tue, 17 May 1988 08:52
68 lines
2863 bytes
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!okShow 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