🚀 go-pugleaf

I'm sorry about this, it's a year late.  I'd asked about which
Universities were doing research in logic programming.  Here are
some of the answers I received.  (I was editing these things into
a nice annotated table.  Then I lost the files.  While playing
hunt-the-tape in preparation for flying back to Auckland on Thursday
I found this one, but not the stuff I'd edited.)

------------------------------------------------------------------------
Subject: logic programming research

I believe some research is being done at TUNS (Technical Univ of Nova Scotia,
Halifax, Canada). I can get you more details if needed (I will be in Halifax
end of this month). I believe ons of the profs who probably leads the research
work is surnamed "Cook", if that rings any bells.

From: sun!jacksun.cs.umd.edu!minker (Jack Minker)
Return-Path: <minker@jacksun.cs.umd.edu>
Message-Id: <8805061840.AA10133@jacksun.cs.umd.edu>
To: sun!quintus!ok
Subject: Research in Logic Programming


Dear Richard,

With respect to your inquiry about schools doing research 
in logic programming, you should include the University of 
Maryland.  My students and I are heavily involved in the 
field.  Two students have received Ph.D.s with theses in 
logic programming:  Simon Kasif at Johns Hopkins (you should 
include them) and Madhur Kohli (Bellcore).  

We have implemented a parlallel logic programming system for 
a ring architecture and ported it to the Butterfly where it 
simulates the ring architecture and is also implemented to 
take advantage of the Butterfly shared memory system.

I expect a student to receive a Ph.D. in December regarding 
theoretical work.  We have developed a fixpoint operator for 
non-Horn logic programs, have developed weak forms of the 
generalized closed world assumption and are working on stratified 
non-Horn logic programs.  Another student is investigating 
approximations to non-Horn logic programs.

We have also developed a meta-program to permit semantic query 
optimization based on the use of integrity constraints.  We are 
expanding that work to include cooperative and informative 
answers to be output to a user in natural language.  A thesis 
will be completed on the subject of cooperative answers by the 
end of the summer.  The thesis will be awarded to my student in 
France.

If you want additional information, please contact me.  I enjoy 
your comments on the net, as I did, when we first met in Portugal.

My book, Foundations of Deductive Databases and Logic Programmins 
has been published.  You will find many articles of interest.

Regards,

Jack

From: sun!ram (Renu Raman)
Message-Id: <8805061540.AA14971@shukra.sun.com>
To: ok@quintus.uucp
Subject: Re: Logic Programming Research
Newsgroups: comp.lang.prolog,comp.edu
In-Reply-To: <934@cresswell.quintus.UUCP>
Organization: Sun Microsystems, Mountain View
Cc: 

In article <934@cresswell.quintus.UUCP> you write:
>Which Universities (not just in the USA) are doing logic programming
>(not just Prolog) research?  I'd like to put together a list of places
>where people interested in doing PhD work in logic programming might
>go.
>
>Please send me E-mail; I'll collect the replies I get together and send
>them to the net.
>--- 
>ArpaNet quintus!ok@SUN.COM
>UUCP    ...!{sun,pyramid}!quintus!ok
>  or	ok@quintus.uucp

     Among others I would pitch for

     Northwestern University, Evanston, IL
     [my alma mater - that why the pitch:-)]

     It has a strong logic (very little prolog - whatever that means)
     & databases stream.

     I would say

     U.C.Berkeley (prolog-including HW, logic & databases)
     U.T.Austin
     U. of Maryland.
     U. of Karlsruhe (Germany)
     U. of Manchester & Edinburgh
     UNSW
     U of Wisconsin - madison
     U. of Cal. Irvine
     and ....

From: Brad Miller <sun!ACORN.CS.ROCHESTER.EDU!miller>
Subject: Re: Logic Programming Research
To: Richard A. O'Keefe <sun!quintus!ok>
In-Reply-To: <934@cresswell.quintus.UUCP>
Message-Id: <880505204623.2.MILLER@DOUGHNUT.CS.ROCHESTER.EDU>
Sender: sun!cs.rochester.edu!miller
Reply-To: sun!cs.rochester.edu!miller
Organization: University of Rochester, Department of Computer Science
Postal-Address: 610 CS Building, Comp Sci Dept., U. Rochester, Rochester NY 14627
Phone: 716-275-1118

    Date: 6 May 88 02:24:51 GMT
    From: ok@quintus.UUCP (Richard A. O'Keefe)


    Which Universities (not just in the USA) are doing logic programming
    (not just Prolog) research?  I'd like to put together a list of places
    where people interested in doing PhD work in logic programming might
    go.

    Please send me E-mail; I'll collect the replies I get together and send
    them to the net.
    --- 
    ArpaNet quintus!ok@SUN.COM
    UUCP    ...!{sun,pyramid}!quintus!ok
      or	ok@quintus.uucp

Hmm. Syracuse is doing some things I think ...

We (University of Rochester) are doing things related to Knowledge
Representation, which is related to Logic Programming, since Logical
Assertions are one the the main and traditional ways of doing KR.... so our
tools end up being similar to Prolog but with many extensions. But it isn't
strictly "logic programming" per se. because we don't limit ourselves to
that. That is, we do things with inference engines, that map over logical
assertions, but these same tools deal with other things as well, e.g. LISP
code.

----
Brad Miller		U. Rochester Comp Sci Dept.
miller@cs.rochester.edu {...allegra!rochester!miller}

Received: from quintus.uucp by cresswell.quintus.uucp (3.2/SMI-2.2)
	id AA21881; Sat, 7 May 88 07:14:00 PDT
Return-Path: <sun!pyramid!mulga.oz.au!lee>
Received: by quintus.uucp (2.2/SMI-2.0)
	id AA17285; Sat, 7 May 88 07:13:41 pdt
Received: from pyramid.UUCP by sun.Sun.COM (4.0/SMI-4.0)
	id AA04829; Sat, 7 May 88 02:02:16 PDT
Received: by pyramid.pyramid.com (5.51/OSx4.0b-870424)
	id AA09767; Sat, 7 May 88 01:38:21 PDT
Received: from mulga.OZ by munnari.oz (5.5)
	id AA29398; Sat, 7 May 88 18:04:56 EST
Received: by mulga.oz (5.51)
	id AA00573; Sat, 7 May 88 18:03:21 EST
Date: Sat, 7 May 88 18:03:21 EST
From: sun!mulga.oz.au!lee (Lee Naish)
Message-Id: <8805070803.573@mulga.OZ>
To: ok@quintus.uucp
Fcc: pl
Subject: Re: Logic Programming Research
Newsgroups: comp.lang.prolog,comp.edu
In-Reply-To: <938@cresswell.quintus.UUCP>
Organization: Comp Sci, Melbourne Uni, Australia
Cc: 


	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, ....

From sun!NSS.Cs.Ucl.AC.UK!abc%computer-science.nottingham.ac.uk Sat May  7 13:12:22 1988
Received: from quintus.uucp by cresswell.quintus.uucp (3.2/SMI-2.2)
	id AA22121; Sat, 7 May 88 13:12:20 PDT
Return-Path: <sun!NSS.Cs.Ucl.AC.UK!abc%computer-science.nottingham.ac.uk>
Received: by quintus.uucp (2.2/SMI-2.0)
	id AA18176; Sat, 7 May 88 13:11:57 pdt
Received: from snail.sun.com by sun.Sun.COM (4.0/SMI-4.0)
	id AA10389; Sat, 7 May 88 07:31:52 PDT
Received: from Sun.COM (sun-arpa) by snail.sun.com (4.0/SMI-3.2)
	id AA10568; Sat, 7 May 88 07:27:45 PDT
Received: from NSS.Cs.Ucl.AC.UK by Sun.COM (4.0/SMI-4.0)
	id AA20000; Sat, 7 May 88 07:29:12 PDT
Message-Id: <8805071429.AA20000@Sun.COM>
Received: from computer-science.nottingham.ac.uk by NSS.Cs.Ucl.AC.UK 
           via Janet with NIFTP  id aa04745; 7 May 88 15:28 BST
To: sun!quintus!ok
Subject: Re: Logic Programming Research
Date: Sat, 07 May 88 15:26:16 +0100
From: Andy Cheese <sun!NSS.Cs.Ucl.AC.UK!abc%computer-science.nottingham.ac.uk>

i'm doing research into implementing concurrent logic languages.
i also have a friend in my department using SICStus v 0.5 for
research into remote sensing.
---------------------------------------------------------------------

JANET : abc@uk.ac.nott.cs              Andy Cheese
ARPA  : abc%nott.cs@ucl-cs.arpa        Department of Computer Science,
                                       University of Nottingham,
Functional vs. Logic Programming       University Park,
If You Can't Decide Between Em,        Nottingham.
-- Join Em                             NG7 2RD.
                                       England.
 
                                       Tel. No. : (0602) 484848 ext. 2765

From sun!arizona.edu!debray Sat May  7 13:12:50 1988
Received: from quintus.uucp by cresswell.quintus.uucp (3.2/SMI-2.2)
	id AA22130; Sat, 7 May 88 13:12:48 PDT
Return-Path: <sun!arizona.edu!debray>
Received: by quintus.uucp (2.2/SMI-2.0)
	id AA18197; Sat, 7 May 88 13:12:28 pdt
Received: from snail.sun.com by sun.Sun.COM (4.0/SMI-4.0)
	id AA11899; Sat, 7 May 88 10:16:24 PDT
Received: from Sun.COM (sun-arpa) by snail.sun.com (4.0/SMI-3.2)
	id AA11169; Sat, 7 May 88 10:12:19 PDT
Received: from megaron.arizona.edu by Sun.COM (4.0/SMI-4.0)
	id AA21059; Sat, 7 May 88 10:13:47 PDT
Date: Sat, 7 May 88 10:15:55 MST
From: "Saumya Debray" <sun!arizona.edu!debray>
Message-Id: <8805071715.AA10099@megaron.arizona.edu>
Received: by megaron.arizona.edu; Sat, 7 May 88 10:15:55 MST
To: sun!quintus!ok
Subject: Re: Logic Programming Research
In-Reply-To: your article <938@cresswell.quintus.UUCP>
News-Path: arizona!noao!ncar!boulder!sunybcs!bingvaxu!leah!itsgw!batcomputer!cornell!uw-beaver!teknowledge-vaxc!sri-unix!quintus!ok

We have some logic programming research going on here at the University
of Arizona.  The faculty involved are: Sanjay Manchanda (sanjay@arizona.edu)
and myself (debray@arizona.edu).  Sanjay is working on the theory of
updates in logic programming; I'm working on static analysis, optimization
and compilation aspects of logic languages.  Either of us may be contacted
at the e-mail addresses given above, or at

	   Department of Computer Science
	   University of Arizona
	   Tucson, AZ 85721, USA

-Saumya Debray		CS Department, University of Arizona, Tucson
---

From: Jimmy Lee <sun!amdahl!uunet!watmath!watdragon!hmjlee>
Message-Id: <8805071908.AA11251@watdragon>
To: amdahl!sun!quintus!ok
Subject: Logic Programming Research ...

In Canada, University of Waterloo used to be one of the places.  However,
the group, led by Maarten H. van Emden, has been moving west since last 
September and settles down at University of Victoria.

I can't wait to be there this coming September.  :-)

--------------------------------------------------------------------------------
hmjlee%watdragon@waterloo.csnet            (519) 746-6522 Jimmy Lee
hmjlee%watdragon%waterloo.csnet@csnet-relay.arpa          CS Dept., U. Waterloo
{allegra,decvax,inhp4,utzoo}!watmath!watdragon!hmjlee     Waterloo, Ont. N2L3G1

From decwrl!uucp Mon May  9 15:10:43 1988
Received: from quintus.uucp by cresswell.quintus.uucp (3.2/SMI-2.2)
	id AA01616; Mon, 9 May 88 15:10:39 PDT
Return-Path: <decwrl!uucp>
Received: by quintus.uucp (2.2/SMI-2.0)
	id AA28419; Mon, 9 May 88 15:10:23 pdt
Received: by decwrl.dec.com (5.54.4/4.7.34)
	id AA14546; Mon, 9 May 88 08:07:29 PDT
Received: by omepd.intel.com (5.51/i3.0); Sat, 7 May 88 17:10:37 PDT
From: mipos3!intel.com!uoregon!spencer.cs.uoregon.edu!conery@omepd
Received: from spencer.cs.uoregon.edu (spencer.math.uoregon.edu) by mist.math.uoregon.edu; Sat, 7 May 88 12:27:40 PDT
Received: by spencer.cs.uoregon.edu; Sat, 7 May 88 13:27:09 mdt
Date: Sat, 7 May 88 13:27:09 mdt
Message-Id: <8805071927.AA03522@spencer.cs.uoregon.edu>
To: uoregon!quintus!ok
Subject: Survey of university programs

Richard --

	I saw your request in comp.lang.prolog for information regarding
logic programming research at universities, and I thought I should tell
you about what is happening here at the University of Oregon.  First,
here are some answers to your specific questions, in case you want to 
keep all your responses in a uniform format:

	Institute:	University of Oregon
	Contact:	John Conery
	Address:	Department of Computer Science
			University of Oregon
			Eugene, OR  97403  USA
	E-mail:		conery@cs.uoregon.edu
	Study programs:	B.S., M.S., Ph.D.
	Topics:		Parallel models, parallel implementation
			tecniques, combining object oriented and
			logic programming languages.

	Here is a longer description of my two projects.  The first is
concerned with parallel implementations.  We are developing a virtual
machine, at roughly the same level of abstraction as the WAM, that
will run on a multiprocessor.  Two things distinguish our machine (named
OM, for Oregon Machine) from the WAM: control instructions start
small-grain processes instead of making procedure calls and building
choice points, and unification instructions create and access what we
call "closed environments" instead of WAM-style stacks.  The closed
environment technique was designed to allow processes to run
efficiently in different addresses spaces, without relying on a shared
memory address space.  Others working on the OM project (all graduate
students) are:  David Meyer, Renganathan Sundararajan, Surapong
Auwatanamongkol, Craig Thornley, and David Keldsen.  References:
    * Conery and Meyer, "OM: A Virtual Processor for Parallel Logic 
	Programs",  University of Oregon Tech Report CIS-TR-87-01.
    * Conery, "Binding Environments for Parallel Logic Programs in
	Non-Shared Memory Multiprocessors", Proceedings of the 
	4th Symposium on Logic Programming, San Francisco, 1987.

	The second project is in combining logic programming with
object oriented programming.  I have developed a framework for describing
objects with changing states in a logic programming system, and I have
prototype implementations of these objects in a simple extension to Prolog.
Much work remains to be done at both the language and implementation levels.
References:  
    * Conery, "Logical Objects", to appear in Proceedings of the 5th
	International Conference/Symposium on Logic Programming, Seattle.
    * Conery, "Object Oriented Programming with First Order Logic", 
	University of Oregon Tech Report CIS-TR-87-09.

John Conery

P.S. -- I agree with your suggestion, re getting ALP to maintain this sort
of information.  Thanks for getting the ball rolling.  


From sun!hplabs!rutgers!mcnc!dopey!gupta Mon May  9 15:10:57 1988
Received: from quintus.uucp by cresswell.quintus.uucp (3.2/SMI-2.2)
	id AA01624; Mon, 9 May 88 15:10:53 PDT
Return-Path: <sun!hplabs!rutgers!mcnc!dopey!gupta>
Received: by quintus.uucp (2.2/SMI-2.0)
	id AA28425; Mon, 9 May 88 15:10:46 pdt
Received: from hplabs.UUCP by sun.Sun.COM (4.0/SMI-4.0)
	id AA27064; Mon, 9 May 88 14:49:09 PDT
Received: by hplabs.HP.COM ; Sat, 7 May 88 17:02:24 PST
Received: by rutgers.edu (5.54/1.15) with UUCP 
	id AA17436; Sat, 7 May 88 15:36:46 EDT
Received: from mercury (mercury.cs.unc.edu) by mcnc.mcnc.org (5.59/MCNC/10-20-87)
	id AA24335; Sat, 7 May 88 12:32:38 EDT
Received: from unc (dopey) by mercury (4.12/4.7)
	id AA05544; Sat, 7 May 88 12:32:44 edt
Received: by unc (4.12/4.7)
	id AA10633; Sat, 7 May 88 12:32:36 edt
Date: Sat, 7 May 88 12:32:36 edt
From: Gopal Gupta <sun!hplabs!rutgers!mcnc!dopey!gupta>
Message-Id: <8805071632.AA10633@unc>
To: ok@quintus.uucp
Subject: Re: Logic Programming Research
Newsgroups: comp.lang.prolog,comp.edu
In-Reply-To: <934@cresswell.quintus.UUCP>
Organization: University Of North Carolina, Chapel Hill


Count in University of North Carolina at Chapel Hill.

--Gopal Gupta.

From sun!hplabs!rutgers!speedy.cs.wisc.edu!raghu Mon May  9 15:11:09 1988
Received: from quintus.uucp by cresswell.quintus.uucp (3.2/SMI-2.2)
	id AA01632; Mon, 9 May 88 15:11:05 PDT
Return-Path: <sun!hplabs!rutgers!speedy.cs.wisc.edu!raghu>
Received: by quintus.uucp (2.2/SMI-2.0)
	id AA28431; Mon, 9 May 88 15:10:59 pdt
Received: from hplabs.UUCP by sun.Sun.COM (4.0/SMI-4.0)
	id AA27070; Mon, 9 May 88 14:49:16 PDT
Received: by hplabs.HP.COM ; Sat, 7 May 88 18:37:16 PST
Received: by rutgers.edu (5.54/1.15) with UUCP 
	id AA18849; Sat, 7 May 88 16:55:54 EDT
Received: from speedy.cs.wisc.edu by spool.cs.wisc.edu; Sat, 7 May 88 15:04:04 CDT
Date: Sat, 7 May 88 15:03:52 CDT
From: sun!hplabs!rutgers!speedy.cs.wisc.edu!raghu (Raghu Ramakrishnan)
Message-Id: <8805072003.AA10213@speedy.cs.wisc.edu>
Received: by speedy.cs.wisc.edu; Sat, 7 May 88 15:03:52 CDT
To: ok@speedy.cs.wisc.edu
Subject: Re: Logic Programming Research
Newsgroups: comp.lang.prolog,comp.edu
In-Reply-To: <934@cresswell.quintus.UUCP>
Organization: U of Wisconsin CS Dept

>Which Universities (not just in the USA) are doing logic programming
>(not just Prolog) research?  I'd like to put together a list of places
>where people interested in doing PhD work in logic programming might
>go.

There are three faculty members at Madison with interests in logic programming.
Ken Kunen is interested in the theory of negation in logic programming,
to which he has made significant contributions.
.LP
Yannis Ioannidis is interested
in deductive databases and has done work on algebraic
formulations of logic programs, detection of bounded recursion, ordering
of conjuncts, optimization of transitive closures, and interfacing Prolog
to a database machine (the Britton-Lee IDM). 
.LP
I work in deductive databases
too, and I'm interested in compilation techniques for efficient bottom-up
evaluation. I am generalizing the bottom-up approach 
to develop alternative evaluation strategies, abstract interpreters,
and parallel evaluation schemes for Horn Clause logic programs and extensions
such as CLP(R).

Raghu Ramakrishnan


From sun!pyramid!sbcs!warren Mon May  9 15:24:55 1988
Received: from quintus.uucp by cresswell.quintus.uucp (3.2/SMI-2.2)
	id AA01672; Mon, 9 May 88 15:24:51 PDT
Return-Path: <sun!pyramid!sbcs!warren>
Received: by quintus.uucp (2.2/SMI-2.0)
	id AA28558; Mon, 9 May 88 15:24:41 pdt
Received: from pyramid.UUCP by sun.Sun.COM (4.0/SMI-4.0)
	id AA24959; Mon, 9 May 88 13:33:40 PDT
Received: by pyramid.pyramid.com (5.51/OSx4.0b-870424)
	id AA11725; Mon, 9 May 88 12:29:58 PDT
Received: by sbcs.sunysb.edu; Mon, 9 May 88 14:11:12 EDT
Received: by sbwarren (3.2/4.7)
	id AA01818; Mon, 9 May 88 14:08:32 EDT
Date: 9 May 1988 14:05-EST
From: sun!sbcs!warren        (David Scott Warren)
Subject: Research in LP
To: pyramid!quintus!ok
Message-Id: <579204351/warren@sbwarren>

Richard,

I saw your request on the  net for  Universities where  LP research 9not
just Prolog) is going on.  I'd like to have Stony Brook included in
your list.

I enjoy reading your contributions to the net. Keep up the interesting
discussions.

David


From sun!pyramid!sbcs!warren Mon May  9 15:25:05 1988
Received: from quintus.uucp by cresswell.quintus.uucp (3.2/SMI-2.2)
	id AA01681; Mon, 9 May 88 15:24:59 PDT
Return-Path: <sun!pyramid!sbcs!warren>
Received: by quintus.uucp (2.2/SMI-2.0)
	id AA28564; Mon, 9 May 88 15:24:53 pdt
Received: from pyramid.UUCP by sun.Sun.COM (4.0/SMI-4.0)
	id AA24968; Mon, 9 May 88 13:33:47 PDT
Received: by pyramid.pyramid.com (5.51/OSx4.0b-870424)
	id AA11738; Mon, 9 May 88 12:30:01 PDT
Received: by sbcs.sunysb.edu; Mon, 9 May 88 15:09:05 EDT
Received: by sbwarren (3.2/4.7)
	id AA01862; Mon, 9 May 88 15:06:25 EDT
Date: 9 May 1988 14:51-EST
From: sun!sbcs!warren        (David Scott Warren)
Subject: Research in LP, take 2
To: pyramid!quintus!ok
Message-Id: <579207076/warren@sbwarren>

Richard,

I'll try again.

Institute:
	SUNY at Stony Brook

Contact person:
	David Scott Warren

Postal address:
	Computer Science Department
	SUNY at Stony Brook
	Stony Brook, NY 11794-4400

E-mail address:
	warren@suny-sbcs.EDU

Programs offered:
	M.S.
	Ph.D.

People doing LP (and/or related) research:
	David Scott Warren - LP
	Michael Kifer - Deductive Databases and LP
	Jieh Hsiang - equational logic and term rewriting
	Leo Bachmair - term rewriting systems
		and various PhD students

Specific Topics:
	Logic Programming and Databases
	Modal and Higher-Order Logic Programming
	Expert Database Systems
	Applications
	Logic and Object-based Systems
	Inductive Theorem Proving
	Implementations of Logic Systems
	Theorem Proving and Logic Programming Environments

From sun!hplabs!rutgers!cs.duke.edu!ola Mon May  9 15:26:08 1988
Received: from quintus.uucp by cresswell.quintus.uucp (3.2/SMI-2.2)
	id AA01689; Mon, 9 May 88 15:26:04 PDT
Return-Path: <sun!hplabs!rutgers!cs.duke.edu!ola>
Received: by quintus.uucp (2.2/SMI-2.0)
	id AA28594; Mon, 9 May 88 15:25:54 pdt
Received: from hplabs.UUCP by sun.Sun.COM (4.0/SMI-4.0)
	id AA27658; Mon, 9 May 88 15:16:50 PDT
Received: by hplabs.HP.COM ; Mon, 9 May 88 07:08:23 PST
Received: by rutgers.edu (5.54/1.15) with UUCP 
	id AA18311; Mon, 9 May 88 09:50:39 EDT
Received: from mcnc.mcnc.org by gatech.edu (5.58/7.3.GT)
	id AA03851; Mon, 9 May 88 09:01:36 EDT
Received: from duke.cs.duke.edu by mcnc.mcnc.org (5.59/MCNC/10-20-87)
	id AA09669; Mon, 9 May 88 09:02:03 EDT
Received: by duke.cs.duke.edu (5.54/DUKE/10-20-87)
	id AA15489; Mon, 9 May 88 09:01:21 EDT
Date: Mon, 9 May 88 09:01:21 EDT
From: Owen L. Astrachan <sun!hplabs!rutgers!cs.duke.edu!ola>
Message-Id: <8805091301.AA15489@duke.cs.duke.edu>
To: uflorida!umd5!ames!lll-tis!mordor!sri-spam!sri-unix!quintus!ok@gatech.edu
Subject: Re: Logic Programming Research
Newsgroups: comp.lang.prolog,comp.edu
In-Reply-To: <934@cresswell.quintus.UUCP>
Organization: Duke University, Durham NC

A small amount of work in logic programming is going here at Duke.
People are working on higher order extensions to prolog (lambda-prolog)
and on extensions to prolog (Near-Horn prolog).  There is also some work 
being done in theorem proving.  There is also some work in logic 
(rewrite systems) going on at UNC.

From: sri-unix!jacksun.cs.umd.edu!minker (Jack Minker)
Return-Path: <minker@jacksun.cs.umd.edu>
Message-Id: <8805100040.AA10970@jacksun.cs.umd.edu>
To: quintus!ok@unix.SRI.COM
Subject: LP at UMD



The following material should be added to my previous 
message on this subject:

	Contact at Univ. Maryland on LP

		Professor Jack Minker
		Department of Computer Science 
		and
		Institute for Advanced Computer Studies
		University of Maryland
		AV Williams Building
		College Park, Maryland 20742
		(301) 454-6119
		minker@umimsy.umd.edu
		or
		minker@jacksun.cs.umd.edu

                Areas of Research: Logic Programming, Parallel Logic Programming
                                   Deductive Databases, Informative and 
                                   Cooperative Answer Generation, Non-monotonic
                                   Reasoning, Artificial Intelligence

	Additional Related Faculty

		Dr. Donald Perlis 
		Department of Computer Science
		Univ. of Maryland
		College Park, MD 20742
                perlis@mimsy.umd.edu

		Areas of Research: Non-monotonic Reasoning, Belief Systems,
                                   Artificial Intelligence

		Dr. John Grant 
		Department of Computer Science
		Towson State University
		Towson, MD
                (Visiting Faculty at University of Maryland)
                grant@mimsy.umd.edu

		Areas of Research: Deductive Databases

	Doctoral Students

		Annie Gal - Informative and Cooperative Answers (Sept. 1988)
		Terry Gaasterland - Natural Lang. Output for Informative Answers
		Mark Giuliano - Parallel Logic Programming
		Anne Litcher - Deductive Databases
		Jorge Lobo - Non-Horn Logic Programming
		Yuan Liu - Deductive Databases
		Arcot Rajasekar - Semantics on Non-Horn Logic Progs. (Dec. 1988)
		Chitta Baral - Belief Systems
		Huan Zhang - Parallel Logic Programming

	Post-Doctoral Visitor

		Irene Durand (France) -  Parallel Logic Programming

	Visiting Students

		Bruno Fargeon (France) - Parlallel Logic Programming
		Arnaud Nonclerq (France) - Informative and Cooperative Answers
		Helge Schuett (Germany) - Deductive Databases

I could send you a recent list of papers that have been written by 
members of the group if you want it.




From sun!hubcap.clemson.edu!steve Mon May  9 20:13:10 1988
Received: from quintus.uucp by cresswell.quintus.uucp (3.2/SMI-2.2)
	id AA02171; Mon, 9 May 88 20:13:07 PDT
Return-Path: <sun!hubcap.clemson.edu!steve>
Received: by quintus.uucp (2.2/SMI-2.0)
	id AA29936; Mon, 9 May 88 20:13:01 pdt
Received: from snail.sun.com by sun.Sun.COM (4.0/SMI-4.0)
	id AA05005; Mon, 9 May 88 19:59:58 PDT
Received: from Sun.COM (sun-arpa) by snail.sun.com (4.0/SMI-3.2)
	id AA07519; Mon, 9 May 88 18:30:57 PDT
Received: from RELAY.CS.NET by Sun.COM (4.0/SMI-4.0)
	id AA00442; Mon, 9 May 88 18:32:25 PDT
Received: from hubcap.clemson.edu by RELAY.CS.NET id ab28558; 9 May 88 19:26 EDT
Received: by hubcap.clemson.edu; Mon, 9 May 88 19:24:33 edt
Date: Mon, 9 May 88 19:24:33 edt
From: "Steve" Stevenson <sun!hubcap.clemson.edu!steve>
Message-Id: <8805092324.AA10736@hubcap.clemson.edu>
To: quintus!ok%sun.com@RELAY.CS.NET
Subject: Logic programming research


Richard:
	As you might suspect from our exchanges over matrices, we are
do some research here.  We now have several non-von machines [ FPS T-20,
Concurrent Computer 3280M, and the possibility of a Navier-Stokes].  The
current drive is to do distributed [vis-a-vis parallel] work.

	We are currently looking at distributed systems ala FCP.  There
is also stuff available jointly with mathematics in semantics and
psychology.

Steve.
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906


From sun!pyramid!doc.ic.ac.uk!csk Thu May 12 12:01:57 1988
Received: from quintus.uucp by cresswell.quintus.uucp (3.2/SMI-2.2)
	id AA07379; Thu, 12 May 88 12:01:53 PDT
Return-Path: <sun!pyramid!doc.ic.ac.uk!csk>
Received: by quintus.uucp (2.2/SMI-2.0)
	id AA00220; Thu, 12 May 88 12:01:50 pdt
Received: from pyramid.UUCP by sun.Sun.COM (4.0/SMI-4.0)
	id AA16458; Thu, 12 May 88 11:22:41 PDT
Received: by pyramid.pyramid.com (5.51/OSx4.0b-870424)
	id AA06674; Thu, 12 May 88 11:12:30 PDT
From: sun!doc.ic.ac.uk!csk
Received: from mcvax.UUCP by uunet.UU.NET (5.54/1.14) with UUCP 
	id AA07558; Thu, 12 May 88 05:22:57 EDT
Received: by mcvax.cwi.nl; Thu, 12 May 88 11:11:16 +0200 (MET)
Received: from doc.ic.ac.uk by kestrel.Ukc.AC.UK   via Janet (UKC CAMEL FTP)
           id aa07715; 11 May 88 16:57 BST
Date: Wed, 11 May 88 16:55:18 BST
To: sun!quintus!ok
Message-Id:  <8805111655.aa12263@ivax.doc.ic.ac.uk>

Dear Richard,
	Thank you for starting the logic-programming-research list.
I am posting you information about the logic programming group
at Imperial College.
	Chris Hogger is reponisble for processing PhD applications
to our group. His e-mail address is  cjh@uk.ac.ic.doc (JANET). The
full postal address is

	Dr C J Hogger
	Dept. of Computing
	Imperial College
	180 Queen's Gate
	London SW7 2BZ
	England

Faculty members of our group include
	Krysia Broda
	Derek Brough
	Keith Clark
	Dov Gabbay
	Chris Hogger
	Bob Kowalski
	Frank Kriwaczek
	Chris Moss
	Graem Ringwood
	Marek Sergot
There are a number of research fellows and research assistants
as well, including Kave Eshghi, Steve Gregory and Frank McCabe.

We offer PhD programmes in the following main areas:
	parallel logic programming
	logic in AI
	tools and environments for logic programming
	theorem proving, computational logic and new logics
	logic applied to law and legislation
	deductive databases
	theory of logic programming
Initial enquiries and applications should be sent to Chris Hogger.

Our department also runs an MSc programme in
Foundations of Advanced Information Technology,
offering courses such as Logic, Theorem Proving, Logic
Programming, deductive databases, AI and Expert Systems.
Most PhD students take some of these taught course
in their first year, though they don't have to take
any written exams.

P.S. I am a PhD student supervised by Marek Sergot.
--
C S Kwok                                       Dept. of Computing
                                               Imperial College
From sri-unix!sri-spam!mordor!uunet.uu.net!prlb2!kulcs!maurice Fri May 13 13:11:17 1988
Received: from quintus.uucp by cresswell.quintus.uucp (3.2/SMI-2.2)
	id AA10228; Fri, 13 May 88 13:11:14 PDT
Return-Path: <sri-unix!sri-spam!mordor!uunet.uu.net!prlb2!kulcs!maurice>
Received: by quintus.uucp (2.2/SMI-2.0)
	id AA05168; Fri, 13 May 88 13:11:10 pdt
Received: by unix.SRI.COM (5.31/5.14)
	id AA02748; Fri, 13 May 88 12:58:43 PDT
Received: by spam.istc.sri.com (5.51/5.00)
	           id AA02351 for sri-unix!quintus!ok; Fri, 13 May 88 12:31:55 PDT
Received: by mordor.s1.gov id AA10932; Fri, 13 May 88 04:53:51 PDT
	id AA10932; Fri, 13 May 88 04:53:51 PDT
Received: from prlb2.UUCP by uunet.UU.NET (5.54/1.14) with UUCP 
	id AA07310; Fri, 13 May 88 07:53:16 EDT
Received: by prlb2.UUCP (4.12/4.7)
	id AA16071; Fri, 13 May 88 12:44:57 +0100
Received: by prlb2.UUCP (4.12/4.7)
	id AA16068; Fri, 13 May 88 12:44:50 +0100
Received: by kulcs.uucp; Fri, 13 May 88 09:46:19 +0200
From: Maurice Bruynooghe <sri-unix!sri-spam!mordor!uunet.UU.NET!prlb2!kulcs!maurice>
Date: Fri, 13 May 88 09:46:01 +0200
Message-Id: <8805130746.AA06765@kim.kulcs.uucp>
Received: by kim.kulcs.uucp; Fri, 13 May 88 09:46:01 +0200
To: sri-spam!quintus!ok%uunet.uu.net
Subject: logic programming research
Cc: sri-spam!maurice%uunet.uu.net

We do

Department of Computer Science
Katholieke Universiteit leuven
Celestijnenlaan 200A
B3030 Heverlee
Belgium


Maurice Bruynooghe
maurice@kulcs.uucp

From sun!amdahl!uunet!comp.vuw.ac.nz!lindsay Sun May 15 23:12:08 1988
Received: from quintus.uucp by cresswell.quintus.uucp (3.2/SMI-2.2)
	id AA14662; Sun, 15 May 88 23:12:06 PDT
Return-Path: <sun!amdahl!uunet!comp.vuw.ac.nz!lindsay>
Received: by quintus.uucp (2.2/SMI-2.0)
	id AA15388; Sun, 15 May 88 23:11:58 pdt
Received: from amdahl.UUCP by sun.Sun.COM (4.0/SMI-4.0)
	id AA18493; Sun, 15 May 88 22:47:19 PDT
Received: by amdahl.uts.amdahl.com (/\../\ Smail3.0.8.0 29-mar-88/#8)
	id <m0dEd6m-00006UC@amdahl.uts.amdahl.com>; Sun, 15 May 88 22:33 PDT
Received: from comp.vuw.ac.nz by uunet.UU.NET (5.54/1.14) with UUCP 
	id AA17847; Mon, 16 May 88 01:02:16 EDT
Received: by comp.vuw.ac.nz; Mon, 16 May 88 13:46:53 +1200
Date: Mon, 16 May 88 13:46:53 +1200
From: Lindsay Groves <sun!amdahl!uunet!comp.vuw.ac.nz!lindsay>
Message-Id: <8805160146.AA26640@comp.vuw.ac.nz>
To: ok@quintus.uucp
Subject: Re: Logic Programming Research
Newsgroups: comp.lang.prolog,comp.edu
In-Reply-To: <934@cresswell.quintus.UUCP>
Organization: Comp Sci, Victoria Univ, Wellington, New Zealand

In reply to your message about logic programming research:  I have a project
underway here, concerning the synthesis of logic programs from formal
specifications.

Lindsay
-- 

	Lindsay Groves

	Logic programmers' theme song: "The first cut is the deepest"

contact:       Mike Clarke
               Department of Computer Science
               Queen Mary College
               University of London
               Mile End Road
               London  E1 4NS    UK

JANET:  mike@uk.ac.qmc.cs
UUCP:   ...!ukc!qmc-cs!mike
ARPA:   mike@cs.qmc.ac.uk

Staff involved in Logic Programming and related research

        Wilfrid Hodges
        Steve Reeves
        Keith Clarke
        Dave Saunders
        Mike Clarke

together with, currently, 6 or 7 research staff and students


Research areas:

Model Theory, expressive power of Horn Clause logic etc.

Extensions of Prolog, and more general LP formalisms,
for non-monotonic and defeasible reasoning.

Parallelism (mainly extensions to Prolog that are
             well-supported by SIMD machines such as the DAP)

Relationship to other computational methods such as tableaux

Relationship between logic and functional programming

Deductive databases

Contact:
	Anjo Anjewierden
	Department of Social Science Informatics
	University of Amsterdam
	Herengracht 196
	1016 BS  Amsterdam
	The Netherlands
	(anjo@swivax.uucp)
	...!mcvax!swivax!anjo

Persons interested in logic programming and topics below:
	Anjo Anjewierden	(anjo)
	Bert Bredeweg		(bert)
	Wouter Jansweijer	(jansweij)
	Huub Knops		(huub)
	Guus Schreiber		(guussc)
	Maarten van Someren	(maarten)
	Jan Wielemaker		(jan)
	Bob Wielinga		(wielinga)

Large research projects:
	Problem Solving in Formal Domains (with Psychology department)
	A Methodology for the Development of KBS (with ESPRIT consortium)

Active research topics (all with Prolog):
	Hybrid programming environments including Prolog
	  (i.e. integrating Prolog and object-oriented programming)
	Tools for knowledge elicitiation, acquisition, representation and
		the design of KBS
	Machine learning
	Qualitative reasoning
	User interface management systems
	Human computer interaction

Courses:
	AI
	Programming in Prolog
	Intelligent Tutoring Systems
	Protocol Analysis

Tools in use:
	C-Prolog 1.5 (extended with several goodies)
	Quintus Prolog 2.0

Home grown:
	PCE-3 (object-oriented system which gives you windows, graphics)
	KLASS (knowledge representation system, similar to KL-ONE)
	KPT (collection of knowledge acquisition tools)

Machinery:
	Sun's (about 6; several models)
	Macintosh, IBM PC's

There's Veronica Dahl at Simon Fraser University in Burnaby, British
Columbia.  As for the Waterloo->Victoria change, I do know that
van Emden has made the move.  I don't know anything about what
happened to the people left behind at Waterloo, but I believe there
were several other researchers there (the name David Poole springs to
mind).  [Forge from Logic Programming Newsletter.]