13. JICSLP 1996: Bonn, Germany

Joint International Conference and Symposium on Logic Programming

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