| 2020 | A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams. Johannes Eriksson, Masoumeh Parsa |
| 2020 | A Timed IO Monad. David Janin |
| 2020 | AQuA: ASP-Based Visual Question Answering. Kinjal Basu, Farhad Shakerin, Gopal Gupta |
| 2020 | Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report. Alex Brik, Jeffrey Xu |
| 2020 | Explanations for Dynamic Programming. Martin Erwig, Prashant Kumar, Alan Fern |
| 2020 | Exploiting Database Management Systems and Treewidth for Counting. Johannes Klaus Fichte, Markus Hecher, Patrick Thier, Stefan Woltran |
| 2020 | Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming. Sheung Chi Chan, James Cheney |
| 2020 | Interactive Text Graph Mining with a Prolog-based Dialog Engine. Paul Tarau, Eduardo Blanco |
| 2020 | On Repairing Web Services Workflows. Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son |
| 2020 | On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML. Martin Elsman, Niels Hallenberg |
| 2020 | RTMLton: An SML Runtime for Real-Time Systems. Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek |
| 2020 | VRASP: A Virtual Reality Environment for Learning Answer Set Programming. Vinh T. Nguyen, Yuanlin Zhang, Kwanghee Jung, Wanli Xing, Tommy Dang |
| 2020 | Variability-Aware Datalog. Ramy Shahin, Marsha Chechik |
| 2020 | Whitebox Induction of Default Rules Using High-Utility Itemset Mining. Farhad Shakerin, Gopal Gupta |
| 2019 | A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers. Paul Tarau |
| 2019 | An ASP Based Approach to Answering Questions for Natural Language Text. Dhruva Pendharkar, Gopal Gupta |
| 2019 | Automatic Program Rewriting in Non-Ground Answer Set Programs. Nicholas Hippen, Yuliya Lierler |
| 2019 | Classes of Arbitrary Kind. Alejandro Serrano, Victor Cacciari Miraldo |
| 2019 | Creating Domain-Specific Languages by Composing Syntactical Constructs. Viktor Palmkvist, David Broman |
| 2019 | Distributed Protocol Combinators. Kristoffer Just Arndal Andersen, Ilya Sergey |
| 2019 | Faster Coroutine Pipelines: A Reconstruction. Ruben P. Pieters, Tom Schrijvers |
| 2019 | Improving Residuation in Declarative Programs. Michael Hanus |
| 2019 | Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP. Joaquín Arias, Manuel Carro |
| 2019 | Natural Language Generation from Ontologies. Van Nguyen, Tran Cao Son, Enrico Pontelli |
| 2019 | Personalized Course Schedule Planning Using Answer Set Programming. Muhammed Kerem Kahraman, Esra Erdem |
| 2019 | Practical Aspects of Declarative Languages - 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings José Júlio Alferes, Moa Johansson |
| 2019 | Proof-Carrying Plans. Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond |
| 2019 | Static Partitioning of Spreadsheets for Parallel Execution. Alexander Asp Bock |
| 2019 | Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs. Yuliya Lierler |