2018
- Micro-Intelligence for the IoT: LP models and technologies, Roberta Calegari
- Inference and Learning Systems for Uncertain Relational Data, Giuseppe Cota
- Translators for interoperating and porting object-relational knowledge, Gen Zou
2017
- Ontology-driven Information Extraction, Weronika Adrian
2016
- Probabilistic Reasoning and Learning for the Semantic Web, Riccardo Zese
- Paracoherent Answer Set Programming, Giovanni Amendola
2015
- Portfolio Approaches in Constraint Programming, Roberto Amadini
- Computational tasks in answer set programming: algoritms and implementations, Carmine Dodaro
- Algebraic Approach to Causal Logic Programs, Jorge Fandiño
2014
- A Portable Approach for Bidirectional Integration between a Logic and a Statically-Typed Object-Oriented Programming Language, Sergio Castro Mejia
- Logic Programming with Preferences on Rules, Alexander Šimko
2013
2012
- Bisimulation Techniques and Algorithms for Concurrent Constraint Programming, Andrés Alberto Aristizábal Pinzón
- Structured interactive scores: From a structural description of a multimedia scenario to a real-time capable implementation with formal semantics, Mauricio Toro-Bermudez
- Foundations of Communication-Centred Programming: Calculi, Logic & Types, Hugo-Andrés López-Acosta
- Automatic Parallelisation for Mercury, Paul Bone
2011
- Modeling and Verification of real-time and cyber-physical systems, Neda Saeedloei
- Promoting Modular Nonmonotonic Logic Programs, Thomas Krennwallner
2009
- Specification and Verification of Declarative Open Interaction Models – A Logic-based frameworkamic Magic Sets, Marco Montali
2010
- Dynamic Magic Sets, Mario Alviano
2007
- Proof Methods for Conditional and Preferential Logics, Gian Luca Pozzato
2006
- Extension and Efficient Evaluation of Disjunctive Logic Programs, Francesco Calimeri
2000
- Logic Engineering. The Case of Description and Hybrid Logics, Carlos Eduardo Areces