1 research outputs found
Preface to the Proceedings of the 34th Italian Conference on Computational Logic (CILC 2019)
The 34th edition of the Italian Convention of Computational Logic (CILC 2019), the annual meeting of GULP (Gruppo ricercatori e Utenti Logic Programming), was hosted by the University of Trieste from June 19th to June 21st, 2019.
CILC was originally meant to be a forum for exchanging ideas and experiences between Italian researchers in the field of computational logic, however, in recent years, it has broadened its topics of interest also to a wide set of related areas spacing from verification of formal systems to knowledge representation.
The technical program of CILC 2019 features 37 presentations of as many high-quality papers; 27 of them are included in these proceedings and the remaining ones appeared or were submitted to other conferences, workshops or journals. Each of the submitted papers was evaluated by three reviewers and, according to their judgments, was either accepted or rejected for the presentation and publication in the proceedings.
The contributions address different topics related to computational logic, including verification and validation, temporal reasoning, description logics, formal methods in AI, knowledge representation, and constraint logic programming.
The program was also enriched by an ambassador talk \u201cDigForASP: A European Cooperation Network for Logic-based AI in Digital Forensics\u201d by Stefania Costantini, Francesca Alessandra Lisi, and Raffaele Olivieri and 3 tutorials:
\u2013 The SATisfiability problem and its impact
Agostino Dovier, Universit\ue0 degli Studi di Udine
\u2013 Multiagent Epistemic Planning
Enrico Pontelli, New Mexico State University
\u2013 Model checking: The interval way
Angelo Montanari, Universit\ue0 degli Studi di Udine
The following works were presented at CILC 2019, but are not included in this proceedings:
\u2013 Epistemic Answer Set Programming: a new perspective
Ezgi Iraz Su
\u2013 Extending ALC with the power-set construct
Laura Giordano and Alberto Policriti
\u2013 Accountable Protocols in Abductive Logic Programming
Marco Gavanelli, Marco Alberti, and Evelina Lamma
\u2013 Model Completeness, Covers and Superposition (Abridged Version)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and
Andrey Rivkin
\u2013 Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio
Proietti
\u2013 An Ontology to Improve the First Aid Service Quality
Lorenzo De Lauretis and Stefania Costantini
\u2013 An ASP-based Approach for Optimizing DLV Evaluation
Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino,
Nicola Leone, Marco Manna, Simona Perri, and Jessica Zangari
\u2013 Large Scale DLV: Preliminary Results
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina
Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fusc`a,
Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, and Jessica Zangari
\u2013 A Process Algebra for (Delimited) Persistent Stochastic Non-Interference
Andrea Marin, Carla Piazza, and Sabina Rossi
\u2013 Accountability, Responsibility, and Robustness in Agent Organizations
Matteo Baldoni, Cristina Baroglio, and Roberto Micalizio
We would like to thank all the people who have contributed to the success of CILC 2019: the authors, the invited speakers, the program committee, the reviewers, and the participants. Special thanks go to both the President and the former President of GULP, Stefania Costantini and Agostino Dovier, and to the secretary of GULP, Fabio Fioravanti, for their support in the organization of the event