| 2026 | Dynamic Programming and Tabled Logic Programming for Encoding Single-Constant Multiplication Into SAT (Declarative Pearls). | Neng-Fa Zhou, Chufeng Jiang, Hendrik Bierlee, Peter J. Stuckey |
| 2026 | Automatic Knowledge Gap Detection and Plan Validation Using Counterfactual Justifications. | Alexis R. Tudor, Joaqun Arias, Gopal Gupta |
| 2026 | A Fine-Grained Small-Step Semantics for Interleaving Search. | Brysen Pfingsten, Jason Hemann |
| 2026 | Test Your Polymorphic Functions with Boolean Values. | Akimasa Morihata |
| 2026 | Matrix Coeffect Algebra for Interdependent Context Requirements. | Osamu Miyazawa, Shin-ya Nishizaki |
| 2026 | Computing Supported Models via Transformation to Stable Models: A System Description. | Fang Li, Gopal Gupta |
| 2026 | Optimizing Mesh Booleans by Being Lazy (System Description). | Chun Kit Lam |
| 2026 | More Fun with Monoids - Declarative Pearl. | Oleg Kiselyov |
| 2026 | Unifying Hindsight and Foresight - Lazy Cost Analysis as Functional Logic Programming. | Nicholas Coltharp, Steven Libby, Laura Israel, Yao Li |
| 2026 | Finding Programming Faults Even When Large Parts of the Code Have Disappeared. | Quinten Cabo, Sven-Bodo Scholz |
| 2026 | Breccia: A Functional DSL Compiled to Egglog for Test Input Generation. | Peter Boyland, Sarah Canto Hyatt, Kyle Dewey, Ben Hardekopf |
| 2026 | Demonic Dynamic Logic Programming. | Rose Bohrer |
| 2026 | Finite Functional Programming - or, LAMBDA: The Ultimate Predicate. | Michael Arntzenius, Max Willsey |
| 2026 | Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations. | Matteo Acclavio, Roberto Maieli |
| 2024 | Tabulation with Zippers. | Marcos Viera, Alberto Pardo, Joo Saraiva |
| 2024 | Declarative Pearl: Rigged Contracts. | Alexander Vandenbroucke, Tom Schrijvers |
| 2024 | System Description: DeepLLM, Casting Dialog Threads into Logic Programs. | Paul Tarau |
| 2024 | An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming. | Takashi Suwa, Atsushi Igarashi |
| 2024 | Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement. | Koko Muroya, Makoto Hamana |
| 2024 | Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description). | Bjrn Lellmann, Philipp Marek, Markus Triska |
| 2024 | Being Lazy When It Counts - Practical Constant-Time Memory Management for Functional Programming. | Chun Kit Lam, Lionel Parreaux |
| 2024 | System Description: A Theorem-Prover for Subregular Systems: The Language Toolkit and Its Interpreter, Plebby. | Dakotah Lambert |
| 2024 | MetaOCaml: Ten Years Later - System Description. | Oleg Kiselyov |
| 2024 | A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting. | Jan-Christoph Kassing, Stefan Dollase, Jrgen Giesl |
| 2024 | Algebraic Connection Between Logic Programming and Machine Learning (Extended Abstract). | Katsumi Inoue |