| 2015 | Most Probable Explanation for MetaProbLog and Its Application in Heart Sound Segmentation. | Theofrastos Mantadelis, Jorge Oliveira, Miguel Tavares Coimbra |
| 2015 | Relating Concrete Argumentation Formalisms and Abstract Argumentation. | Michael J. Maher |
| 2015 | Debugging ASP using ILP. | Tingting Li, Marina De Vos, Julian A. Padget, Ken Satoh, Tina Balke |
| 2015 | Automated Reasoning about XACML 3.0 Delegation Using Answer Set Programming. | Joohyung Lee, Yi Wang, Yu Zhang |
| 2015 | Markov Logic Style Weighted Rules under the Stable Model Semantics. | Joohyung Lee, Yunsong Meng, Yi Wang |
| 2015 | On Structural Analysis of Non-Ground Answer-Set Programs. | Benjamin Kiesl, Peter Schller, Hans Tompits |
| 2015 | Structural Resolution for Logic Programming. | Patricia Johann, Ekaterina Komendantskaya, Vladimir Komendantskiy |
| 2015 | Formal Methods for Answer Set Programming. | Amelia Harrison |
| 2015 | Higher Order Support in Logic Specification Languages for Data Mining Applications. | Matthias van der Hallen |
| 2015 | An Abductive Framework for Datalog± Ontologies. | Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota |
| 2015 | CHR Exhaustive Execution - Revisited. | Ahmed Elsawy, Amira Zaki, Slim Abdennadher |
| 2015 | Parallel Execution of the ASP Computation - an Investigation on GPUs. | Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella |
| 2015 | Logic Programming and Bisimulation. | Agostino Dovier |
| 2015 | Unifying Justifications and Debugging for Answer-Set Programs. | Carlos Viegas Damsio, Joo Moura Pires, Anastasia Analyti |
| 2015 | Thread-Aware Logic Programming for Data-Driven Parallel Programs. | Flvio Cruz, Ricardo Rocha, Seth Copen Goldstein |
| 2015 | Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary. | Gnther Charwat |
| 2015 | Abstract Answer Set Solvers for Cautious Reasoning. | Rmi Brochenin, Marco Maratea |
| 2015 | Towards a General Framework for Actual Causation Using CP-logic. | Sander Beckers, Joost Vennekens |
| 2015 | Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract). | Joaqun Arias, Manuel Carro |
| 2015 | A Logical Approach to Working with Biological Databases. | Nicos Angelopoulos, Georgios Giamas |
| 2015 | Advances in Integrating Statistical Inference. | Nicos Angelopoulos, Samer Abdallah, Georgios Giamas |
| 2015 | A Logic-Based Approach to Understanding Lone-Actor Terrorism. | Dalal Alrajeh, Paul Gill |
| 2015 | Learning Probabilistic Action Models from Interpretation Transitions. | David Martnez, Tony Ribeiro, Katsumi Inoue, Guillem Aleny, Carme Torras |
| 2012 | Static Type Inference for the Q language using Constraint Logic Programming. | Zsolt Zombori, Jnos Csorba, Pter Szeredi |
| 2012 | Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs. | Jia-Huai You, John Morris, Yi Bi |