Copy Link
Add to Bookmark
Report
AIList Digest Volume 6 Issue 001
AIList Digest Monday, 4 Jan 1988 Volume 6 : Issue 1
Today's Topics:
Literature - Concurrent Prolog Book,
Conferences - COIS88 Conference on Office Information Systems &
DAI Workshop Announcement
----------------------------------------------------------------------
Date: Thu, 31 Dec 87 9:52:44 PST
From: Kahn.pa@Xerox.COM
Subject: Concurrent Prolog Book Announcement
I'm forwarding this message for Udi Shapiro.
Date: Wed, 30 Dec 87 16:58:31 PST
From: udi%wisdom.bitnet@jade.berkeley.edu
From: Sarah Fliegelmann <MAFLIEG@WEIZMANN>
CONCURRENT PROLOG
COLLECTED PAPERS
(2 Vols.)
Edited by Ehud Shapiro
MIT Press Series in Logic Programming
ISBN 0-262-19266-7 (vol. 1) (pp. 560) $37.50
ISBN 0-262-19257-5 (vol. 2) (pp. 680) $37.50
ISBN 0-262-19255-1 (two volume set) $65.00
Table of Contents
Volume 1
The Authors ix
The Papers xv
Foreword xix
Preface xxi
Introduction xxv
Part I: Concurrent Logic Programming Languages 1
Introduction 2
1. A Relational Language for Parallel Programming 9
K. Clark and S. Gregory
2. A Subset of Concurrent Prolog and Its Interpreter 27
E. Shapiro
3. PARLOG: Parallel Programming in Logic 84
K. Clark and S. Gregory
4. Guarded Horn Clauses 140
K. Ueda
5. Concurrent Prolog: A Progress Report 157
E. Shapiro
6. Parallel Logic Programming Languages 188
A. Takeuchi and K. Furukawa
Part II: Programming Parallel Algorithms 203
Introduction 204
7. Systolic Programming: A Paradigm of Parallel Processing 207
E. Shapiro
8. Notes on the Complexity of Systolic Programs 243
S. Taylor, L. Hellerstein, S. Safra and E. Shapiro
9. Implementing Parallel Algorithms in Concurrent Prolog: The
Maxflow Experience 258
L. Hellerstein and E. Shapiro
10. A Concurrent Prolog Based Region Finding Algorithm 291
L. Hellerstein
11. Distributed Programming in Concurrent Prolog 318
A. Shafrir and E. Shapiro
12. Image Processing with Concurrent Prolog 339
S. Edelman and E. Shapiro
13. A Test for the Adequacy of a Language for an Architecture 370
E. Shapiro
Part III: Streams and Channels 389
Introduction 390
14. Fair, Biased, and Self-Balancing Merge Operators: Their
Specification and Implementation in Concurrent Prolog 392
E. Shapiro and C. Mierowsky
15. Multiway Merge with Constant Delay in Concurrent Prolog 414
E. Shapiro and S. Safra
16. Merging Many Streams Efficiently: The Importance of Atomic
Commitment 421
V.A. Saraswat
17. Channels: A Generalization of Streams 446
E.D. Tribble, M.S. Miller, K. Kahn, D.G. Bobrow, C. Abbott and
E. Shapiro
18. Bounded Buffer Communication in Concurrent Prolog 464
A. Takeuchi and K. Furukawa
References 477
Index 507
Volume 2
The Authors ix
The Papers xiii
Preface to Volume 2 xvii
Part IV: Systems Programming 1
Introduction 2
19. Systems Programming in Concurrent Prolog 6
E. Shapiro
20. Computation Control and Protection in the Logix System 28
M. Hirsch, W. Silverman and E. Shapiro
21. The Logix System User Manual, Version 1.21 46
W. Silverman, M. Hirsch, A. Houri and E. Shapiro
22. A Layered Method for Process and Code Mapping 78
S. Taylor, E. Av-Ron and E. Shapiro
23. An Architecture of a Distributed Window System and its FCP
Implementation 101
D. Katzenellenbogen, S. Cohen and E. Shapiro
24. Logical Secrets 140
M.S. Miller, D.G. Bobrow, E.D. Tribble and J. Levy
Part V: Program Analysis and Transformation 163
Introduction 164
25. Meta Interpreters for Real 166
S. Safra and E. Shapiro
26. Algorithmic Debugging of GHC Programs and Its Implementation
in GHC 180
A. Takeuchi
27. Representation and Enumeration of Flat Concurrent Prolog
Computations 197
Y. Lichtenstein, M. Codish and E. Shapiro
28. A Type System for Logic Programs 211
E. Yardeni and E. Shapiro
Part VI: Embedded Languages 245
Introduction 246
29. Object Oriented Programming in Concurrent Prolog 251
E. Shapiro and A. Takeuchi
30. Vulcan: Logical Concurrent Objects 274
K. Kahn, E.D. Tribble, M.S. Miller and D.G. Bobrow
31. PRESSing for Parallelism: A Prolog Program Made Concurrent 304
L. Sterling and M. Codish
32. Compiling Or-Parallelism into And-Parallelism 351
M. Codish and E. Shapiro
33. Translation of Safe GHC and Safe Concurrent Prolog to FCP 383
J. Levy and E. Shapiro
34. Or-Parallel Prolog in Flat Concurrent Prolog 415
E. Shapiro
35. CFL --- A Concurrent Functional Language Embedded in a Concurrent
Logic Programming Environment 442
J. Levy and E. Shapiro
36. Hardware Description and Simulation Using Concurrent Prolog 470
D. Weinbaum and E. Shapiro
Part VII: Implementations 491
Introduction 492
37. A Sequential Implementation of Concurrent Prolog Based on the
Shallow Binding Scheme 496
T. Miyazaki, A. Takeuchi and T. Chikayama
38. A Sequential Abstract Machine for Flat Concurrent Prolog 513
A. Houri and E. Shapiro
39. A Parallel Implementation of Flat Concurrent Prolog 575
S. Taylor, S. Safra and E. Shapiro
References 605
Index 635
------------------------------
Date: Mon, 28 Dec 87 22:18:44 est
From: rba@flash.bellcore.com (Bob Allen)
Subject: Conference - COIS88 Conference on Office Information Systems
COIS88 - Conference on Office Information Systems
March 23-25,1988
Hyatt Rickeys Hotel, Palo Alto, California
Sponsored by: ACM SIGOIS and IEEECS TC-OA
In cooperation with: IFIP W.G. 8.4
SPEAKERS
Keynote: Terry Winograd
Banquet: Kristen Nygaard, at Tresidder Union, Stanford University
SESSIONS
Collaborative Work (Chair: Irene Greif)
Task Modeling, Planning, and Coordination (Chair: Carl Hewitt)
Organizational Impact (Chair: Rob Kling)
Social Research: Methods and Principles (Chair: Tora Bikson)
Multimedia (Chair: Donald Chamberlin)
Hypertext and Information Retrieval (Chair: Walter Bender)
Object-Oriented and Distributed Databases
Object-Oriented Programming Systems
PANELS
Hypertext and Electronic Publishing (chair: Norm Meyrowitz)
Distributed Artificial Intelligence (chair: Les Gasser)
User Design of Interfaces (Chair: Austin Henderson)
Object-Oriented PS/DBMSs (chair: Stan Zdonik)
For more information contact:
Najah Naffah, Bull, 1 Rue Ampere, BP 92 91301, Massy, France - or -
Robert B. Allen, Bellcore, 2A-367, Morristown, NJ 07960 /
(201)-829-4315 / rba@bellcore.com
------------------------------
Date: 24 Dec 87 00:14:56 GMT
From: pollux.usc.edu!gasser@oberon.usc.edu (Les Gasser)
Subject: Conference - DAI Workshop Announcement (2nd time)
WORKSHOP ANNOUNCEMENT - CALL FOR PARTICIPATION
8th Workshop on Distributed Artificial Intelligence
Lake Arrowhead Conference Center
Lake Arrowhead, CA.
May 22-25, 1988
The 8th Distributed AI Workshop will address the problems of
coordinated action and problem-solving among reasonably sophisticated,
intelligent computational "agents." The focus will be be synthetic and
pragmatic, investigating how we can integrate theoretical and
experimental ideas about knowledge, planning, negotiation, action,
etc. in multi-agent domains, to build working interacting agents.
Participation is by invitation only. To participate, please submit an
extended abstract (5-7 double-spaced pages, hard copy only) describing
original work in DAI to the workshop organizer at the address below.
Preference will be given to work addressing basic research issues in
DAI such as those outlined below. A small number of "interested
observers" will also be invited. If you are interested in being an
observer, please submit a written request to attend (hard copy), with
some justification. Participation will be limited to approximately 35
people.
A number of submitted papers will be selected for full presentation,
critique, and discussion. Other participants will be able to make
brief presentations of their work in less formal sessions. There will
be ample time allowed for informal discussion. All participants should
plan to submit a full paper version in advance, for distribution at
the workshop.
Suggested topics include (but are not necessarily limited to):
Describing, decomposing, and allocating problems among a
collection of intelligent agents, including resource allocation,
setting up communication, dynamic allocation, etc.
Assuring coherent, coordinated interaction among intelligent agents,
including allocating control, determining coherence, organization
processes, the role of communication in coherence, plan
synchronization, etc.
Reasoning about other agents, the world, and the state of the
coordinated process, including plan recognition, prospective
reasoning, knowledge and belief models, representation techniques,
domain or situation specific examples, etc.
Recognizing and resolving disparities in viewpoints, representations,
knowledge, goals, etc. (including dealing with incomplete,
inconsistent, and representationally incompatible knowledge) using
techniques such as communication, negotiation, conflict resolution,
compromise, deal enforcement, specialization, credibility assessment,
etc.
Problems of language and communication, including interaction
languages and protocols, reasoning about communication acts
inter-agent dialogue coherence, etc.
Epistemological problems such as joint concept formation, mutual
knowledge, situation assessment with different frames of
reference, etc.
Practical architectures for and real experiences with building
interacting intelligent agents or distributed AI systems.
Appropriate methodologies, evaluation criteria, and techniques for
DAI research, including comparability of results, basic assumptions,
useful concepts, canonical problems, etc.
For this DAI workshop, we specifically discourage the submission of
papers on issues such as programming language level concurrency,
fine-grained parallelism, concurrent hardware architectures, or
low-level "connectionist" approaches.
We intend that revised versions of a number of the best papers from
this workshop will be included in a second monograph on "Distributed
Artificial Intelligence," edited by Mike Huhns and Les Gasser, and
that a workshop proceedings will be published.
Please direct inquiries to the workshop organizer at the address below.
----------------------------------------------------------------
DATES:
Deadline for submission of extended abstracts: February 15, 1988
Notification of acceptance: March 21, 1988
Full papers due (for distribution at the workshop): April 25, 1988
----------------------------------------------------------------
WORKSHOP ORGANIZER:
Les Gasser
Distributed AI Group
Computer Science Department
University of Southern California
Los Angeles, CA. 90089-0782
Telephone: (213) 743-7794
Internet: gasser@usc-cse.usc.edu
----------------------------------------------------------------
WORKSHOP PLANNING COMMITTEE:
Miro Benda (Boeing AI Center) Phil Cohen (SRI)
Lee Erman (Teknowledge) Michael Fehling (Rockwell)
Mike Genesereth (Stanford) Mike Georgeff (SRI)
Carl Hewitt (MIT) Mike Huhns (MCC)
Victor Lesser (UMASS) Nils Nilsson (Stanford)
N.S. Sridharan (FMC Corp)
----------------------------------------------------------------
Support for this workshop and for partial subsidy of participants'
expenses has been provided by AAAI; other support is pending.
------------------------------
End of AIList Digest
********************
