CILC

Keyphrases

Publications

2024

Francesco Di Cosmo, Tephilla Prince
Bounded Verification of Petri Nets and EOSs using Telingo: An Experience Report. CILC (2024)
Carmine Dodaro, Giuseppe Galatà, Cinzia Marte, Marco Maratea, Marco Mochi
Nuclear Medicine Scheduling via Answer Set Programming. CILC (2024)
Giovanni Pagliarini, Andrea Paradiso, Guido Sciavicco, Ionel Eduard Stan
On Modal Logic Formulae Minimization. CILC (2024)
Stefania Costantini, Pierangelo Dell'Acqua, Giovanni De Gasperis, Francesco Gullo, Andrea Rafanelli
NEMO - A Neural, Emotional Architecture for Human-AI Teaming. CILC (2024)
Mario Alviano, Lorenzo Grillo
Answer Set Programming and Large Language Models Interaction with YAML: Preliminary Report. CILC (2024)
Stefania Costantini, Andrea Formisano
Solver Fast Prototyping for Reduct-based ELP Semantics. CILC (2024)
Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
Some Decidability Issues Concerning C^n Real Functions. CILC (2024)
Damiano Azzolini, Matteo Bonato, Elisabetta Gentili, Fabrizio Riguzzi
Logic Programming for Knowledge Graph Completion. CILC (2024)
Antonis C. Kakas, Paolo Mancarella
On the Extension of Argumentation Logic. CILC (2024)
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
Preserving Privacy in a (Timed) Concurrent Language for Argumentation. CILC (2024)
Gioacchino Sterlicchio, Francesca A. Lisi
Condensed Representations for Contrast Sequential Pattern Mining in ASP. CILC (2024)
Agostino Dovier, Talissa Dreossi, Andrea Formisano
XAI-LAW Towards a Logic Programming Tool for Taking and Explaining Legal Decisions. CILC (2024)
Flavio Bertini, Alessandro Dal Palù, Francesco Fabiano, Andrea Formisano, Federica Zaglio
Concept2Text: An Explainable Multilingual Rewriting of Concepts into Natural Language. CILC (2024)
Dariusz Marzec, Lidia Tendera
On Two-variable First-order Logic with a Partial Order. CILC (2024)
Stefano Bistarelli, Marco Cuccarini
BERT-based Questions Answering on Close Domains: Preliminary Report. CILC (2024)
Antonio Lieto, Gian Luca Pozzato, Gioele Tallone
A Description Logics Based Cognitively Inspired Tool for Knowledge Generation via Concept Combination. CILC (2024)
Stefano Bistarelli, Carlo Taticchi
A Semantics-Aware Evaluation Order for Abstract Argumentation Frameworks. CILC (2024)
Mario Alviano, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability. CILC (2024)
Marco Di Ianni, Fabio Fioravanti, Giulia Matricardi
Visualizing CHC Verification Conditions for Smart Contracts Auditing. CILC (2024)
Simone Boscaratto, Eugenio G. Omodeo, Alberto Policriti
On Generalised Ackermann Encodings - The Basis Issue. CILC (2024)
Hongkai Yin, Matteo Pascucci
Decidability of Ordered Fragments of FOL via Modal Translation. CILC (2024)
Mario Alviano, Carmine Dodaro, Ilaria R. Vasile
Structured Declarative Language. CILC (2024)
Angelo Ferrando, Andrea Gatti, Viviana Mascardi
Geometric and Spatial Reasoning in BDI Agents: A Survey. CILC (2024)

volume 3733, 2024

Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024. CILC 3733 (2024)

2023

volume 3428, 2023

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

2022

Linda Cadermatori, Giuseppe Galatà, Carola Lo Monaco, Marco Maratea, Marco Mochi, Marco Schouten
An ASP-based Approach to Master Surgical Scheduling. CILC (2022)

volume 3204, 2022

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