Vol-3427⫷ Vol-3428 ⫸Vol-3429
urn:nbn:de:0074-3428-4

Copyright © 2023 for the individual papers by the papers' authors. Copyright © 2023 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International ( CC BY 4.0 ) .

CILC 2023
Italian Conference on Computational Logic 2023

Proceedings of the 38th Italian Conference on Computational Logic

Udine, Italy, June 21-23, 2023 .

Edited by

Agostino Dovier *
Andrea Formisano *

* University of Udine , Department of Mathematics, Computer Science and Physics (DMIF), via delle Scienze 206, Udine, Italy

Table of Contents

Preface
Summary: There were 29 papers submitted for peer-review to this workshop. Out of these, 23 papers were accepted for this volume, 19 as regular papers and 4 as short papers.

Invited Talks

Logic-Based Benders Decomposition: An Opportunity for Logic Programming Applications
Marco Gavanelli
Logic-based Learning of Interpretable Knowledge from Raw Data
Alessandra M. Russo

Regular Papers

Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases
Mario Alviano , Laura Giordano , Daniele Theseider Dupré
Advancements in xASP, an XAI System for Answer Set Programming
Mario Alviano , Ly Ly Trieu , Tran Son , Marcello Balduccini
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex
Alessandro Bertagnon , Marco Gavanelli , Fabio Zanotti
Temporal Probabilistic Argumentation Frameworks
Stefano Bistarelli , Victor David , Francesco Santini , Carlo Taticchi
A Brief History of Singlefold Diophantine Definitions
Domenico Cantone , Luca Cuzziol , Eugenio G. Omodeo
Continued Hereditarily Finite Sets Approximations
Domenico Cantone , Eugenio G. Omodeo , Alberto Policriti
Scheduling Periodic Treatments Via Answer Set Programming
Simone Caruso , Carmine Dodaro , Giuseppe Galatà , Marco Maratea
Set-Based Invariants over Polynomial Systems
Alberto Casagrande , Alessandro Cimatti , Luca Dorigo , Carla Piazza , Stefano Tonetta
Fast Prototyping of a Solver for Reduct-based ELP Semantics
Stefania Costantini , Andrea Formisano
Preference Management in Epistemic Logic L-DINF
Stefania Costantini , Andrea Formisano , Valentina Pitoni
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics
Andrea Cuteri , Giuseppe Mazzotta , Francesco Ricca
Towards Explainable Data-to-text Generation
Alessandro Dal Palù , Agostino Dovier , Andrea Formisano
Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto
Alex Della Schiava , Carla Piazza , Riccardo Romanello
Exploring ILASP Through Logic Puzzles Modelling
Talissa Dreossi
A New Approach to Clausification for Intuitionistic Propositional Logic
Camillo Fiorentini , Mauro Ferrari
Proof Methods and Theorem Proving for Conditional Logics with Strong Centering
Valentina Gliozzi , Gian Luca Pozzato , Alberto Valese
Unlocking Historical Insights: Developing a Dataset from Historical Archives
Laura Pandolfo , Luca Pulina
An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits
Carla Piazza , Riccardo Romanello , Robert Wille
Operating Room Scheduling Via Answer Set Programming: The Case of ASL1 Liguria
Marco Scanu , Marco Mochi , Carmine Dodaro , Giuseppe Galatà , Marco Maratea

Short Papers

Domain-agnostic Procedural Content Generation Can Be Done Declaratively
Denise Angilica , Stefano Germano , Giovambattista Ianni
Verification of Prev-Free Communicating Datalog Programs
Francesco Di Cosmo
Introducing Weighted Prototypes in Description Logics for Defeasible Reasoning
Gabriele Sacco , Loris Bozzato , Oliver Kutz
Explainable Answer Set Programming for Legal Decision Support
Daniele Theseider Dupré

Presented papers, published elsewhere

Complexity and Scalability of Defeasible Reasoning in Many-valued Weighted DL Knowledge Bases
Mario Alviano , Laura Giordano , Daniele Theseider Dupré
On the Integration of Answer Set Programming in a Videogame Engine
Denise Angilica , Giovambattista Ianni , Francesco Pacenza , Jessica Zangari
Data Augmentation: a Combined Inductive-Deductive Approach Featuring Answer Set Programming
Pierangela Bruno , Francesco Calimeri , Cinzia Marte , Simona Perri
Multiple Query Satisfiability of Constrained Horn Clauses
Emanuele De Angelis , Fabio Fioravanti , Alberto Pettorossi , Maurizio Proietti
A Declarative Approach to Contrast Pattern Mining
Francesca Alessandra Lisi , Gioacchino Sterlicchio
Learning to Break Symmetries for Efficient Optimization in Answer Set Programming
Alice Tarzariol , Martin Gebser , Konstantin Schekotihin , Mark Law

2023-06-27: submitted by Andrea Formisano, metadata incl. bibliographic data published under Creative Commons CC0
2023-06-30 : published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) | valid HTML5 |