12th PADL 2010: Madrid, Spain

Invited Papers

Non-Monotonic Reasoning - Answer Set Programming

Types

Parallelism and Distribution

Code Quality Assurance

Domain Specific Languages

Programming Aids

Constraints

Tabling - Agents

a service of Schloss Dagstuhl - Leibniz Center for Informatics