Pubblicazioni
2017 - THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Maggi, Alessandro; Petrocchi, Marinella; SPOGNARDI, Angelo; Tiezzi, Francesco
2016 - KR'16 Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning
Lembo, Domenico; Pantaleone, Daniele; Santarelli, Valerio; Savo, Domenico Fabio
2015 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
DE NICOLA, Rocco; Maggi, Alessandro; Petrocchi, Marinella; SPOGNARDI, Angelo; Tiezzi, Francesco