PhD Theses
2019
- A Formal Framework for Modelling and Analysing Safety-Critical Human Multitasking, Giovanna Broccia
- Enhancing and Applying Answer Set Programming: Lazy Constraints, Partial Compilation and Question Answering, Bernardo Cuteri
- Extending IDP with second order logic, Ingmar Dasseville
- Timeline-based planning: Expressiveness and Complexity, Nicola Gigante
- Model Checking: the Interval Way, Alberto Molinari
- Reasoning about coroutines, Amr Hany Shehata Saleh
- Automated Reasoning via a Multi-sorted Fragment of Computable Set Theory with Applications to Semantic Web, Daniele Francesco Santamaria
2018
- Micro-Intelligence for the IoT: LP models and technologies, Roberta Calegari
- Inference and Learning Systems for Uncertain Relational Data, Giuseppe Cota
- Logic Programming in non-conventional environments, Stefano Germano
- Design and Implementation of a Modern ASP Grounder, Jessica Zangari
- 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
1996
- Computable Set Theory and Logic Programming, Agostino Dovier
1994
- Freeness and related analyses of constraint logic programs using abstract interpretation, Veroniek Dumortier