Symposium on Practical Aspects of Declarative Languages

• Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach
• Automated Playing of Survival Video Games with Commonsense Reasoning (short paper)
• Committee Member in Program Committee within the PADL 2025-track
• C3G: Causally Constrained Counterfactual Generation