13. JICSLP 1996: Bonn, Germany

Joint International Conference and Symposium on Logic Programming

Invited Talk

Constraint Logic Programming

Non-Classical Logic Programming


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


Poster Abstracts

maintained by Schloss Dagstuhl LZI at University of Trier