| 2026 | Declarative Debugging for Modern Networks. | Anduo Wang, Matthew Caesar |
| 2026 | Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi. | Kayo Tei, Haruto Mishina, Naoki Yamamoto, Kazunori Ueda |
| 2026 | REGAL: Extracting Implicit Rules in Text Using LLMs with Logic Program Feedback. | Abhiramon Rajasekharan, Gopal Gupta |
| 2026 | An Efficient Compiler for the IDP-Z3 Knowledge Base System. | Wout Piessens, Simon Vandevelde, Joost Vennekens, Tom Schrijvers |
| 2026 | Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic. | Christian Emil Nielsen, Mathias Faber Kristiansen, Patrick Bahr |
| 2026 | A Functional Logic Perspective on Indentation-Sensitive Parsing. | Steven Libby |
| 2026 | Using Prolog to Translate Set Theory and B to SAT. | Michael Leuschel |
| 2026 | Interpretable Configuration Optimization for Static Program Verification via Rule-Based and Counterfactual Reasoning. | Jaeseong Lee, Sopam Dasgupta, Gopal Gupta, Shiyi Wei |
| 2026 | A One-Pass CPS Transform with Simulation on the Nose. | Pascal Y. Lasnier, Jeremy Yallop, Magnus O. Myreen |
| 2026 | Determinacy Checking for Elpi: an Higher-Order Logic Programming Language with Cut. | Davide Fissore, Enrico Tassi |
| 2026 | Multi-configurable Search Rules in Prolog and Application to Testing. | Daniela Ferreiro, Jos F. Morales, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2026 | Solving Hard Combinatorial Optimization Problems with PyQASP. | Damiano Azzolini, Nicola Leone, Giuseppe Mazzotta, Francesco Ricca |
| 2025 | A Weighted Bipolar Argumentation Framework and Its ASP-Based Implementation. | Yan Yan, Junru Li, Fangzhou Liu, Zerong Wang, Zhizheng Zhang |
| 2025 | A Practical Approach to Handling Tabular Data in Logic. | Robin De Vogelaere, Kylian Van Dessel, Joost Vennekens |
| 2025 | Leveraging LLM Reasoning with Dual Horn Programs. | Paul Tarau |
| 2025 | Enhancing a Hierarchical Graph Rewriting Language Based on MELL Cut Elimination. | Kento Takyu, Kazunori Ueda |
| 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 |
| 2025 | Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach. | Fang Li, Fei Zuo, Gopal Gupta |
| 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 | SM-Based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic. | Zachary Hansen, Yuliya Lierler |
| 2025 | MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs. | Felipe Gorostiaga, Martn Ceresa, Csar Snchez |
| 2025 | Checking Concurrency Coding Rules. | Lars-ke Fredlund, ngel Herranz, Julio Mario |
| 2025 | C3G: Causally Constrained Counterfactual Generation. | Sopam Dasgupta, Farhad Shakerin, Joaqun Arias, Elmer Salazar, Gopal Gupta |