Symposium on Practical Aspects of Declarative Languages

• Graph-based Interpretation of Normal Logic Programs
• Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)