1. CL 2000: London, UK

Invited Papers

Program Development (LOPSTR)

Logic Programming: Theory and Extensions

Constraints

Automated Deduction: Putting Theory into Practice

Knowledge Representation and Non-monotonic Reasoning

Database Systems (DOOD)

Logic Programming: Implementations and Applications