🚀 go-pugleaf

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
********************