| 2025 | Focusing Recursive LLM Descents with Plans Expressed as Logic Programs. | Paul Tarau |
| 2025 | Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms. | Kanta Takahata, Jonas Schpf, Naoki Nishida, Takahito Aoto |
| 2025 | Recurrent Pairs Revisited. | tienne Payet |
| 2025 | Program Synthesis for Geometric Modeling. | Romain Pascual, Pascale Le Gall, Hakim Belhaouari, Agns Arnould |
| 2025 | Symbolic Computation and Verification Methods in Maude. | Jos Meseguer |
| 2025 | Automated Certification of Logic Program Groundness Analysis. | Thierry Marianne, Fred Mesnard, tienne Payet |
| 2025 | CurryInfo: Managing Analysis and Verification Information about Curry Packages. | Michael Hanus |
| 2025 | Natural Language to Logica: Towards Interactive and Explainable Data Analytics. | Ojaswa Garg, Shayan Mirjafari, Yilin Xia, Shawn Bowers, Bertram Ludscher, Evgeny S. Skvortsov |
| 2025 | A Completion Procedure for Equational Rewriting Systems with Binders. | Maribel Fernndez, Daniele Nantes-Sobrinho, Daniella Santaguida |
| 2025 | Higher-Order Pattern Unification Modulo Similarity Relations. | Besik Dundua, Temur Kutsia |
| 2025 | Extending the FSyntax/Hiord Approach with Imperative Notation. | Paula Corral, Jos F. Morales, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2025 | Implementing a Many-Valued Semantics for Logic Programs with Ordered Disjunction Using ASP. | Angelos Charalambidis, Georgios Nikolaou, Antonis Troumpoukis |
| 2025 | Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization. | Elvira Albert, Emanuele De Angelis, Fabio Fioravanti, Alejandro Hernndez-Cerezo, Giulia Matricardi |
| 2024 | A Certifying Algorithm for Linear (and Integer) Feasibility in Horn Constraint Systems. | Piotr Wojciechowski, K. Subramani |
| 2024 | Combined Abstract Congruence Closure for Theories with Associativity or Commutativity. | Christophe Ringeissen, Laurent Vigneron |
| 2024 | Introducing Quantification into a Hierarchical Graph Rewriting Language. | Haruto Mishina, Kazunori Ueda |
| 2024 | Binary Implication Hypergraphs for the Representation and Simplification of Propositional Formulae. | Jordina Francs de Mas |
| 2024 | Parallel Assembly Synthesis. | Jingmei Hu, Stephen Chong, Margo I. Seltzer |
| 2024 | Improving Logic Programs by Adding Functions. | Michael Hanus |
| 2024 | Rewriting Induction for Higher-Order Constrained Term Rewriting Systems. | Kasper Hagens, Cynthia Kop |
| 2024 | Impact and Performance of Randomized Test-Generation Using Prolog. | Marcus Gelderie, Maximilian Luff, Maximilian Peltzer |
| 2024 | Deciding Knowledge Problems Modulo Classes of Permutative Theories. | Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen |
| 2024 | An Axiomatic Category-Based Access Control Model for Smart Homes. | Clara Bertolissi, Maribel Fernndez, Bhavani Thuraisingham |
| 2024 | Towards Specification-Guarded Refactoring. | Adam D. Barwell, Christopher Brown, Susmit Sarkar |
| 2024 | Proving Uniqueness of Normal Forms w.r.t Reduction of Term Rewriting Systems. | Takahito Aoto |