dblp.uni-trier.de www.uni-trier.de

13. JICSLP 1996: Bonn, Germany

Joint International Conference and Symposium on Logic Programming

Michael J. Maher (Ed.): Logic Programing, Proceedings of the 1996 Joint International Conference and Syposium on Logic Programming, September 2-6, 1996, Bonn, Germany. MIT Press, 1996, ISBN 0-262-63173-3

Invited Talk

Constraint Logic Programming

Non-Classical Logic Programming

Implementation

Deductive Database Updates

Types and Modes

Higher-Order Logic Programming

Computation of Well-Founded Semantics

Analysis and Optimization

Constraint Solving

Stable Model Semantics

Semantics of Negation

Parallelism

Poster Abstracts

Copyright © Sat May 16 23:20:25 2009 by Michael Ley (ley@uni-trier.de)