ICLP10-DC Accepted Papers

Bisimilarity in Concurrent Constraint Programming
Cutting-Edge Timing Analysis Techniques
Structured Interactive Musical Scores
Dynamic Magic Sets for Disjunctive Datalog Programs
Constraint Answer Set Programming Systems
Local Branching in a Constraint Programming Framework
Towards a General Argumentation System based on Answer-Set Programming
Program Analysis to Support Concurrent Programming in Declarative Languages
Program Analysis for Code Duplication in Logic Programs
Realizing the Dependently Typed Lambda Calculus
Towards a Parallel Virtual Machine for Functional Logic Programming
Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints
Models for Trustworthy Services and Process Oriented Systems
Higher-order Logic Learning and λProgol
Logic Programming Foundations of Cyber-Physical Systems