Symposium on Practical Aspects of Declarative Languages

• Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)
• Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming
• Graph-based Interpretation of Normal Logic Programs