CILC

Keyphrases

Publications

2023

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

volume 3428, 2023

Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023. CILC 3428 (2023)

2022

volume 3204, 2022

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022. CILC 3204 (2022)

volume 3002, 2021

Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021. CILC 3002 (2021)