6. SLP/NACLP 1989:
Cleveland,
Ohio
Ewing L. Lusk,
Ross A. Overbeek:
Logic Programming,
Proceedings of the North American Conference 1989,
Cleveland, Ohio, October 16-20, 1989. MIT Press 1989,
ISBN 0-262-62064-2 (2 Volumes)
Constraint Logic Programming
Proof Theory
Abstract Interpretation
Applications
Nonmonotonic Inference
Parallel Implementations
Software Engineering
Constructive Negation
Concurrent Logic Programming
Semantics
Program Transformation
Performance of Parallel Systems
- Zheng Lin:
Expected Performance of the Randomized Parallel Backtracking Method.
677-696
- Shyam Mudambi:
Performance Analysis of Aurora on a Switch-Based Multiprocessor.
697-712
- Péter Szeredi:
Performance Analysis of the Aurora Or-Parallel Prolog System.
713-732
Logic Grammars
Database I
Implementation Topics
Database II
WAM I
Extensions to Logic Programming
WAM II
Invited Talks
- E. W. Elcock:
Absys: The Historical Inevitability of Logic Programming.
1201-1214
- Jack Minker:
Toward A Foundation of Disjunctive Logic Programming.
1215-1235
- Teodor C. Przymusinski:
On Constructive Negation in Logic Programming.
0-0
Copyright © Fri Mar 12 17:21:46 2010
by Michael Ley (ley@uni-trier.de)