PROLOG-REQUEST@SU-SCORE.ARPA (Chuck Restivo, The Moderator) (11/23/86)
PROLOG Digest Monday, 24 Nov 1986 Volume 4 : Issue 78
Today's Topics:
Announcement - Call For Papers,
LP Library - Declarative Language Bibliography, Part Y
----------------------------------------------------------------------
Date: Thu, 20 Nov 86 08:50:58 EST
From: Leon Sterling <leon%case.csnet@RELAY.CS.NET>
Call for Papers
Papers are requested for a special issue of the Journal of
Logic Programming concerned with
Applications of Logic Programming for Knowledge-Based Systems
The papers should describe applications which exploit special
features of logic programming. Two examples: a problem solved
by using a logic programming language where the solution would
be more difficult to state in another language; or the development
of a methodology for the more effective use of logic programs.
The reported research should be original and should not have
appeared elsewhere. Updates of successful, ongoing projects
containing material not otherwise available will also be
considered.
Applications of interest include, but are not limited to:
Financial expert systems Diagnosis systems
Medical expert systems Configuration systems
Expert system tools VLSI design
Natural language programs Problem-solving
Programming environments Learning
Please send 4 copies of your paper by May 31, 1987 to
Leon Sterling,
Department of Computer Engineering and Science,
Case Western Reserve University,
Cleveland, Ohio, USA 44106
Electronic mail address:
CSNET: leon@case
UUCP: ...!decvax!cwruecmp!leon
------------------------------
Date: Sun 23 Nov 86 07:44:02-PST
From: Chuck Restivo <Restivo@Score.Stanford.EDU>
Subject: Lauren Smith's Bibliography, Part W
YAGH83a *
Yaghi A.A.G.
The Compilation Of A Functional Language Into Intensional
Logic Theory of Computation Report No 56
Dept of Computer Science, University of Warwick
December 1983
YAMA85a *
Yamamoto A. & Mitsui M. & Yoshida H. & Yokota M.
& Nakajima K.
The Program Characteristics in Logic Programming
Language ESP
in WADA86a, pp 204-213
1985
YAO82
Yao S.B. Waddle V.E. & Housel B.C.
View Modeling and Integration Using the Functional Data
Model
IEEE TOSE Vol SE-8 No.6 p544-553 ,Nov 1982
YASU83a *
Yasukawa H.
LFG in Prolog - Toward A Formal System for Representing
Grammatical
Relations
ICOT Research Center, Technical Report TR-019
August 1983
YASU83b *
Yasuura H.
On The Parallel Computational Complexity of Unification
ICOT Research Center, Technical Report TR-027
October 1983
YASU84a *
Yasuhara H. & Nitadori K.
ORBIT: A Parallel Computing Model of Prolog
New Generation Computing, Vol 2, No 3, pp 277-288
1984
YAZD86a *
Yazdani M.
Intelligent Tutoring Systems Survey
Artificial Intelligence Review, 1, pp 43-52
1986
YOKOI83a
Yokoi T.
A Perspective of the Japanese FGCS Project
( Presented to IJCAI, F.R.G., 1983 )
ICOT Research Center, Technical Memorandum TM-0026
September 1983
YOKOM84a *
Yokomori T.
A Note on the Set Abstraction in Logic Programming Language
( Also in "Proceedings of FGCS 84", Tokyo, 1984 )
ICOT Research Center, Technical Report TR-060
April 1984
YOKOT83a
Yokota H. & Kunifuji S. & Kakuta T. & Miyazaki N. & Shibayama S.
& Murakami K.
An Enhanced Inference Mechanism for Generating Relational
Algebra Queries
( Also in "Proceedings of Third ACM SIGACT-SIGMOD Symp. on
Principles of Database Systems", Waterloo, Canada, 1984 )
ICOT Research Center, Technical Report TR-026
October 1983
YOKOT84a
Yokota M. & Yamamoto A. & Taki K. & Nishikawa H.
& Uchida S.
The Design and Implementation of a Personal Sequential
Inference Machine: PSI
( Also in New Generation Computing, Vol 1, No 2, 1984 )
ICOT Research Center, Technical Report TR-045
February 1984
YOSH85a *
Yoshida H. & Kato H. & Sugimoto M.
Retrieval of Software Module Functions Using First-Order
Predicate Logical Formulae
in WADA86a, pp 117-127
1985
YOUN86a *
Young S.J. & Proctor C.
UFL : An Experimental Frame Language Based on Abstract
Data Types
The Computer Journal, Vol 29, No 4, pp 340-347
1986
YU84a *
Yu Y-H.
Translating Horn Clauses From English
Artificial Intelligence Laboratory AI-TR-84-3
Computer Science Department TR-84-29
University of Texas at Austin
August 1984
------------------------------
End of PROLOG Digest
********************