| 2015 | Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers Maurizio Proietti, Hirohisa Seki |
| 2014 | A Formal Semantics for the Cognitive Architecture ACT-R. Daniel Gall, Thom W. Frühwirth |
| 2014 | A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols. Amer Tahat, Ali Ebnenasir |
| 2014 | Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics. Sandra Alves, Anatoli Degtyarev, Maribel Fernández |
| 2014 | Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction. Danny De Schreye, Vincent Nys, Colin J. Nicholson |
| 2014 | Analyzing Array Manipulating Programs by Program Transformation. J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
| 2014 | CHRAnimation: An Animation Tool for Constraint Handling Rules. Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth |
| 2014 | Concolic Execution and Test Case Generation in Prolog. Germán Vidal |
| 2014 | Confluence Modulo Equivalence in Constraint Handling Rules. Henning Christiansen, Maja H. Kirkeby |
| 2014 | Declarative Compilation for Constraint Logic Programming. Emilio Jesús Gallego Arias, James Lipton, Julio Mariño-Carballo |
| 2014 | Drill and Join: A Method for Exact Inductive Program Synthesis. Remis Balaniuk |
| 2014 | Exhaustive Execution of CHR Through Source-to-Source Transformation. Ahmed Elsawy, Amira Zaki, Slim Abdennadher |
| 2014 | Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems. Salvador Lucas, José Meseguer, Raúl Gutiérrez |
| 2014 | Functional Kleene Closures. Nikita Danilenko |
| 2014 | Liveness Properties in CafeOBJ - A Case Study for Meta-Level Specifications. Norbert Preining, Kazuhiro Ogata, Kokichi Futatsugi |
| 2014 | On Completeness of Logic Programs. Wlodzimierz Drabent |
| 2014 | Partial Evaluation for Java Malware Detection. Ranjeet Singh, Andy King |
| 2014 | Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies. Md. Solimul Chowdhury, Fangfang Liu, Wu Chen, Arash Karimi, Jia-Huai You |
| 2014 | Pre-indexed Terms for Prolog. José F. Morales, Manuel V. Hermenegildo |