Original: https://ceur-ws.org/Vol-3733/ | Mirror: https://ceur-ws.wikidata.dbis.rwth-aachen.de/Vol-3733/ | Year: 2024

Vol-3733
urn:nbn:de:0074-3733-0

Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 for the volume as a collection by its editors. This volume and its papers are published under https://creativecommons.org/licenses/by/4.0/.

CILC 2024

Proceedings of the 39th Italian Conference on Computational Logic

Rome, Italy, June 26-28, 2024.

Edited by

Emanuele De Angelis
Maurizio Proietti

Table of Contents

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

2024-07-21: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|