| 2019 | Faster Coroutine Pipelines: A Reconstruction. | Ruben P. Pieters, Tom Schrijvers |
| 2019 | An ASP Based Approach to Answering Questions for Natural Language Text. | Dhruva Pendharkar, Gopal Gupta |
| 2019 | Creating Domain-Specific Languages by Composing Syntactical Constructs. | Viktor Palmkvist, David Broman |
| 2019 | Natural Language Generation from Ontologies. | Van Nguyen, Tran Cao Son, Enrico Pontelli |
| 2019 | Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs. | Yuliya Lierler |
| 2019 | Personalized Course Schedule Planning Using Answer Set Programming. | Muhammed Kerem Kahraman, Esra Erdem |
| 2019 | Automatic Program Rewriting in Non-Ground Answer Set Programs. | Nicholas Hippen, Yuliya Lierler |
| 2019 | Improving Residuation in Declarative Programs. | Michael Hanus |
| 2019 | Static Partitioning of Spreadsheets for Parallel Execution. | Alexander Asp Bock |
| 2019 | Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP. | Joaqun Arias, Manuel Carro |
| 2019 | Distributed Protocol Combinators. | Kristoffer Just Arndal Andersen, Ilya Sergey |
| 2018 | On k-colored Lambda Terms and Their Skeletons. | Paul Tarau |
| 2018 | Exploiting Term Hiding to Reduce Run-Time Checking Overhead. | Nataliia Stulova, Jos F. Morales, Manuel V. Hermenegildo |
| 2018 | Snrkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell. | Gordon Stewart, Samuel Merten, Logan Leland |
| 2018 | Automatic Web Services Composition for Phylotastic. | Thanh Hai Nguyen, Tran Cao Son, Enrico Pontelli |
| 2018 | Three Is a Crowd: SAT, SMT and CLP on a Chessboard. | Sebastian Krings, Michael Leuschel, Philipp Krner, Stefan Hallerstede, Miran Hasanagic |
| 2018 | LoIDE: A Web-Based IDE for Logic Programming Preliminary Report. | Stefano Germano, Francesco Calimeri, Eliana Palermiti |
| 2018 | Probabilistic Functional Logic Programming. | Sandra Dylus, Jan Christiansen, Finn Teegen |
| 2018 | Hygienic Source-Code Generation Using Functors - (Extended Abstract). | Karl Crary |
| 2018 | A REST-Based Development Framework for ASP: Tools and Application. | Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri |
| 2018 | Optimizing Answer Set Computation via Heuristic-Based Decomposition. | Francesco Calimeri, Davide Fusc, Simona Perri, Jessica Zangari |
| 2018 | Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs. | Florian Biermann, Wensheng Dou, Peter Sestoft |
| 2018 | An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic. | Kritika Anand, Pavan Kumar Chittimalli, Ravindra Naik |
| 2018 | Navigating Online Semantic Resources for Entity Set Expansion. | Weronika T. Adrian, Marco Manna |
| 2017 | Canonicalizing High-Level Constructs in Picat. | Neng-Fa Zhou, Jonathan Fruhman |