| 2025 | A Practical Approach to Handling Tabular Data in Logic. Robin De Vogelaere, Kylian Van Dessel, Joost Vennekens |
| 2025 | A Weighted Bipolar Argumentation Framework and Its ASP-Based Implementation. Yan Yan, Junru Li, Fangzhou Liu, Zerong Wang, Zhizheng Zhang |
| 2025 | ASP for Language Documentation and Reclamation: A Derivational Stemming Tool for Myaamia. Daniela Inclezan, Hunter Lockwood, Anita Baral, Jitendra Sharma, Pratiksha Shrestha |
| 2025 | Automated Playing of Survival Video Games with Commonsense Reasoning. Bryant Hargreaves, Dan N. Nguyen, Keegan Krimbell, Gopal Gupta |
| 2025 | C3G: Causally Constrained Counterfactual Generation. Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta |
| 2025 | Checking Concurrency Coding Rules. Lars-Åke Fredlund, Ángel Herranz, Julio Mariño |
| 2025 | Enhancing a Hierarchical Graph Rewriting Language Based on MELL Cut Elimination. Kento Takyu, Kazunori Ueda |
| 2025 | Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach. Fang Li, Fei Zuo, Gopal Gupta |
| 2025 | Haskell Based Spreadsheets. Ignacio Ballesteros, Luis Eduardo Bueso de Barrio, Julio Mariño |
| 2025 | Leveraging LLM Reasoning with Dual Horn Programs. Paul Tarau |
| 2025 | MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs. Felipe Gorostiaga, Martín Ceresa, César Sánchez |
| 2025 | On Bridging Prolog and Python to Enhance an Inductive Logic Programming System. Vítor Manuel de Morais Santos Costa, Miguel Areias |
| 2025 | Practical Aspects of Declarative Languages - 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings Esra Erdem, Germán Vidal |
| 2025 | SM-Based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic. Zachary Hansen, Yuliya Lierler |
| 2025 | The Scenic Route to Deforestation - An Exercise in Applying Parametricity in Curry. Vincent Robinson, Steven Libby |
| 2025 | Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System. Jim E. Newton |