| 2016 | Methods for Solving Extremal Problems in Practice. | Michael Frank |
| 2016 | P-rho-Log: Combining Logic Programming with Conditional Transformation Systems. | Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer |
| 2016 | A Compositional Typed Higher-Order Logic with Definitions. | Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker |
| 2016 | Grounded Fixpoints and Active Integrity Constraints. | Lus Cruz-Filipe |
| 2016 | Automating Disease Management Using Answer Set Programming. | Zhuo Chen |
| 2016 | Constraint CNF: SAT and CSP Language Under One Roof. | Broes De Cat, Yuliya Lierler |
| 2016 | Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments. | Christopher Brenton, Wolfgang Faber, Sotiris Batsakis |
| 2016 | Rewriting Optimization Statements in Answer-Set Programs. | Jori Bomanson, Martin Gebser, Tomi Janhunen |
| 2016 | Justifications and Blocking Sets in a Rule-Based Answer Set Computation. | Christopher Batrix, Claire Lefvre, Laurent Garcia, Igor Stphan |
| 2016 | Tabled CLP for Reasoning Over Stream Data. | Joaqun Arias |
| 2016 | Computing Diverse Optimal Stable Models. | Javier Romero, Torsten Schaub, Philipp Wanko |
| 2015 | Expressing and Supporting Efficiently Greedy Algorithms as Locally Stratified Logic Programs. | Carlo Zaniolo |
| 2015 | Parallel Bottom-Up Evaluation of Logic Programs: DeALS on Shared-Memory Multicore Machines. | Mohan Yang, Alexander Shkapsky, Carlo Zaniolo |
| 2015 | Handling Probability and Inconsistency in Answer Set Programming. | Yi Wang |
| 2015 | Logic Programming for Cellular Automata. | Marcus Vlker, Katsumi Inoue |
| 2015 | Probabilistic Abductive Logic Programming using Dirichlet Priors. | Calin-Rares Turliuc, Luke Dickens, Alessandra Russo, Krysia Broda |
| 2015 | On Type-directed Generation of Lambda Terms. | Paul Tarau |
| 2015 | Answer Set Application Programming: a Case Study on Tetris. | Peter Schller, Antonius Weinzierl |
| 2015 | Transforming Delimited Control: Achieving Faster Effect Handlers. | Amr Hany Saleh |
| 2015 | Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids. | Jan Rosecky, Filip Prochzka, Barbora Buhnova |
| 2015 | The Distribution Semantics is Well-Defined for All Normal Programs. | Fabrizio Riguzzi |
| 2015 | Opinions and Beliefs as constraint system operators. | Salim Perchy, Frank Valencia |
| 2015 | Advances in Analyzing Coroutines by Abstract Conjunctive Partial Deduction. | Vincent Nys |
| 2015 | A Hybrid Approach to Inference in Probabilistic Non-Monotonic Logic Programming. | Matthias Nickles, Alessandra Mileo |
| 2015 | Constraint-Based Inference in Probabilistic Logic Programs. | Arun Nampally, C. R. Ramakrishnan |