12. ICLP 1995: Tokyo, Japan

Invited Talks

Advanced Tutorials

Constraints I

Representing Actions in Logic Programming

Constraints II

Databases

Applications

Nonmonotonic Reasoning

Compiling

Abduction

CC Languages

Programming Techniques

Concurrency

Theory

Parallel Implementation

Program Manipulation

Novel Formalisms

Program Analysis

Poster Abstracts

maintained by Schloss Dagstuhl LZI at University of Trier