12. 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