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