PROLOG-REQUEST@SU-SCORE.ARPA (Chuck Restivo, The Moderator) (11/17/86)
PROLOG Digest Tuesday, 18 Nov 1986 Volume 4 : Issue 74
Today's Topics:
Announcement - ACM Symp. on Database Systems,
LP Library - Declarative Language Bibliography, Part U & Update
----------------------------------------------------------------------
Date: Thu, 13 Nov 86 22:40:00 PST
From: Moshe Vardi <vardi@navajo.stanford.edu>
Subject: Sixth ACM Symp. on Principles of Database Systems
THE SIXTH ACM SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS
Call for Exhibits
The Sixth ACM Symposium on Principles of Database Systems will
take place between March 23 and March 25, 1987, at the Bahia
Resort Hotel in San Diego. The symposium will cover new develop-
ments in both theoretical and practical aspects of database and
knowledge-based systems. Previous symposia have been attended by
researchers from both industry and academia. For the first time,
this year the symposium will include exhibits of state-of-the-art
products from industry. If you have a product you would like to
exhibit, please send a brief description by December 15, 1986,
to:
Victor Vianu
Local Arrangements Chairman, PODS '87
EECS Department, MC-014
Univ. of California at San Diego
La Jolla, California 92093
(619) 534-6227
vianu@sdcsvax.ucsd.edu
Since space is limited, exhibits will be selected based on the
proposals received. Your contribution would be greatly appreciat-
ed.
------------------------------
Date: Mon 17 Nov 86 10:26:31-PST
From: Chuck Restivo <Restivo@Score.Stanford.EDU>
Subject: Lauren Smith's Bibliography, Part U
UCHI82a
Uchida S. & Yokota M. & Yamamoto A. & Taki K.
& Nishikawa H. &
Chikayama T. & Hattori T.
The Personal Sequential Inference Machine, Outline
Its Architecture and Hardware System
ICOT Research Center, Technical Memorandum TM-0001
November 1982
UCHI82b
Uchida S.
Towards A New Generation Computer Architecture
( Also in "VLSI Architecture", Prentice Hall, 1984 )
ICOT research center Technical Report TR-001
July 1982
UCHI83a
Uchida S.
Inference Machine: From Sequential to Parallel
( Also in "Proceedings of 10th International Symposium
on Computer Architecture", Sweden, 1983, IEEE Computer
Society Press )
ICOT Research Center, Technical report TR-011
may 1983
UCHI83b
Uchida S. & Yokota M. & Yamamoto A. & Taki K.
& Nishikawa H.
Outline of the Personal Sequential Inference
Machine:PSI
( Also in New Generation Computing, Vol 1, No 1,
1983 )
ICOT Research Center, Technical Memorandum TM-0005
April 1983
UEDA84a
Ueda K. & Chikayama T.
Efficient Stream/Array Processing in Logic Programming
Language
( Also in "Proceedings of FGCS 84", Tokyo, 1984 )
ICOT Research Center, Technical Report TR-065
April 1984
UEDA84b *
Ueda K. & Chikayama T.
Concurrent Prolog Compiler On Top Of Prolog
ICOT Research Center, Technical Report TR-092
December 1984
UEDA85a
Ueda K.
Concurrent Prolog Re-examined
ICOT Research Center, Techical Report TR-102, Tokyo
1985
UEDA85b *
Ueda K.
Guarded Horn Clauses
ICOT Research Center, Technical Report TR-103, Tokyo
June 1985
Revised September 1985
also to appear in Lecture Notes in Computer Science
221, Springer
(have copies of both)
UEDA85c *
Ueda K.
Guarded Horn Clauses
in WADA86a, pp 168-179
1985
UEHA85a *
Uehara K. & Kakiuchi T. & Mikami O. & Toyoda J.
Extended Prolog and its Applications to an Integrated
Parser for Text Understanding
in WADA86a, pp 214-225
1985
ULLM85a *
Ullmann J.R. & Haralick R.M. & Shapiro L.G.
Computer Architecture for Solving Consistent Labelling
Problems
Computer Journal, Vol 28, no 2, pp 105-111
1985
UMEY83a *
Umeyama S. & Tamura K.
A Parallel Execution Model of Logic Programs
Proceedings of 10th Annual International Symposium on
Computer Architecture
ACM SIGARCH, 11, 3, pp 349-355
June 13-17 1983
UMEY84a
Umeyama S. & Tamura K.
Parallel Execution of Logic Programs
Electrotechnical Lab., MITI Ibakaraki, Japan
UNGA82
Ungar D.M. & Patterson D.A.
Berkeley Smalltalk: Who Knows Where the Time Goes ?
In Smalltalk-80, Bits of History, Words of Advice,
Glenn Krasner
1982
UNGA84
Ungar D. & Blau R. & Foley P. & Samples D.
& Patterson D.A.
Architecture of SOAR: Smalltalk on a RISC
11th Symp. on Comp. Arch., Ann Arbor
June 1984
------------------------------
Date: Mon 17 Nov 86 10:37:57-PST
From: Chuck Restivo <Restivo@Score.Stanford.EDU>
Subject: Update
[cwr]
The latest version of Plaistaid's prover and example file
are under SCORE:<Prolog>Plaistaid.prover and Plaistaid.examples
If you have trouble fetching these, send a note to PROLOG-REQUEST.
-- ed
------------------------------
End of PROLOG Digest
********************