The 31st edition of the Italian Convention of Computational Logic (CILC 2016), the annual meeting organized by GULP (Gruppo ricercatori e Utenti Logic Programming), was hosted by the Universita di Milano (Bicocca and degli Studi), from June 20th to June 22nd, 2016. Since the rst conference, which took place in Genoa in 1986, the annual conference organized by GULP is the most important occasion for meeting and exchanging ideas and experiences between Italian researchers, working in the eld of computational logic. Over the years, CILC has extended its topics of interest, from traditional logic programming to computational logic and declarative programming in general, including applications to Arti cial Intelligence. The technical program of CILC 2016 included 22 presentations; 15 papers have been selected for publication in the proceedings of the event. Paper selection was made by peer reviewing: each submitted paper was assigned to three members of the Program Committee. Di erent topics related to computational logic have been addressed, including veri cation of logic programs, answer set programming, proof theory, machine learning, constraint logic programming, description logics, argumentation. In addition, Eugenio Omodeo and Alberto Policriti, presented the forthcoming volume Martin Davis on Computability, Computational Logic, and Mathematical Foundations, which they edited for Springer.
{ Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris, Abducing Work ow Traces: a General Framework to Manage Incompleteness in Business Processes. { Stefania Costantini, Giovanni De Gasperis, Multi-Context Systems for Practical Reasoning in Distributed Environments. { Stefania Costantini, Andrea Formisano, Valentina Pitoni, Quantitative Reasoning and Customizable Bridge Rules in ACE. { James Cheney, Alberto Momigliano, Matteo Pessina, Validating the metatheory of formal system with Check.
We would like to thank all the people who have contributed to the success of CILC 2016, including authors, invited speakers, reviewers, participants, local organizers and sponsors. A special thanks goes to the President of GULP, Agostino Dovier, and the secretary of GULP, Marco Gavanelli, for their helpful suggestions and support of the organization of the event.