Wednesday (25/06/2025)

Time Wednesday (25/06/2025)
09:30-10:30 Registration
10:30-10:35 Opening
10:35-13:00 Session I: Application (Part I)
Chair: Marco Gavanelli
  • 10:35-11:00
    Luis Angel Rodriguez Reiners, Mario Alviano
    ASP Chef for Water Waste Monitoring
  • 11:00-11:20
    Gioacchino Sterlicchio, Angelo Oddi, Riccardo Rasconi, Francesca Alessandra Lisi
    An ASP based approach to UAM Strategic Deconfliction: Preliminary Results
  • 11:20-11:45
    Edda Dal Santo, Agostino Dovier, Talissa Dreossi
    TOLC-ASP: a Tool for Training Students for Admission Tests
  • 11:45-12:10
    Stefano Travasci, Fabio Tardivo, Andrea Formisano
    GPU-Accelerated Propagation for the Stable Marriage Constraint
  • 12:10-12:35
    Pierangela Bruno, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi
    Improving ASP-based ORS Schedules through Machine Learning Predictions
  • 12:35-13:00
    Mario Alviano, Pietro Marcrì
    Logic, Leaves, and Labels: Visualizing SELinux Trees with ASP Chef
13:00-14:00 Lunch
14:00-15:00 Invited Talk
Chair: Laura Giordano

Stefano Bistarelli, University of Perugia, Italy
Arguing Together: The Evolution of a Concurrent and Timed Argumentation Language
15:00-16:15 Session II: Neuro-Symbolic Learning and Explainability
Chair: Francesco Ricca
  • 15:00-15:25
    Stefano Sambri, Atefeh Ghanbari, Fabrizio Riguzzi
    An Evaluation of Open Source LLMs for Neuro-Symbolic Integration
  • 15:25-15:50
    Alessia Donata Camarda, Giovambattista Ianni
    A Study on Contradiction Detection using a Neuro-Symbolic Approach
  • 15:50-16:15
    Talissa Dreossi, Agostino Dovier, Francesca Corte Pause, Susy Urli, Martina Crociati
    Explainable AI for Sperm Morphology: Integrating YOLO with FastLAS
16:15-16:35 Coffee Break
16:35-17:50 Session III: Application (Part II)
Chair: Fabrizio Riguzzi
  • 16:35-17:00
    Carmine Dodaro, Marco Maratea, Nicola Ramacciati
    Cyclic Nurse Scheduling with ASP: Two Case Studies from Cosenza Hospitals
  • 17:00-17:25
    Simone Caruso, Carmine Dodaro, Marco Maratea, Cinzia Marte, Marco Mochi
    An LBBD Approach for Solving the Chemotherapy Treatment Scheduling Problem
  • 17:25-17:50
    Antonio Lieto, Marco Orusa, Gian Luca Pozzato, Stefano Zoia
    An Application of the TCL Logic to Aerospace Missions
17:50-18:50 Direttivo

Thursday (26/06/2025)

Time Thursday (26/06/2025)
09:00-10:00 Invited Talk
Chair: Francesca Lisi

Rafael Penaloza Nyssen, University of Milano-Bicocca, Italy
Rough Knowledge and its Refinement
10:00-10:50 Session IV: Analysis & Verification
Chair: Mario Alviano
  • 10:00-10:25
    Francesco Di Cosmo
    Verification of Coverability in Positive Interactive Datalog Programs
  • 10:25-10:50
    Alessandro Bertagnon, Marco Gavanelli
    Stronger Integration of Circuit and All Different Propagators for the Hamiltonian Cycle Problem
10:50-11:15 Coffee Break
11:15-12:50 Session V: Probabilistic Logic Programming and Process Mining
Chair: Gian Luca Pozzato
  • 11:15-11:40
    Michela Vespa, Elena Bellodi, Federico Chesani, Daniela Loreti, Paola Mello, Evelina Lamma, Anna Ciampolini, Marco Gavanelli, Riccardo Zese
    Probabilistic Traces in Declarative Process Mining
  • 11:40-12:05
    Michela Vespa, Elena Bellodi, Federico Chesani, Daniela Loreti, Paola Mello, Evelina Lamma, Anna Ciampolini
    Probabilistic Compliance in Declarative Process Mining
  • 12:05-12:30
    Michela Vespa, Francesca Remelli, Elena Bellodi, Raffaele Antonelli Incalzi
    Discovery of logic-probabilistic rules from COVID-19 vaccine antibody response in older people: results from the GeroCovid VAX Study
  • 12:30-12:50
    Michela Vespa, Elena Bellodi
    Probabilistic compliance of uncertain traces in Declarative Process Mining
13:00-14:00 Lunch
14:00-15:00 Tutorial
Chair: Francesca Toni

Giuseppe Mazzotta, University of Calabria, Italy
ASP with Quantifiers: A Natural and Efficient Way to Tackle Problems Beyond NP
15:00-16:15 Session VI: Answer Set Programming & Natural Language Processing
Chair: Elena Bellodi
  • 15:00-15:25
    Mario Alviano, Paola Guarasci
    Querying and Visualizing Digital Twins with ASP and ASP Chef: Preliminary Report
  • 15:25-15:50
    Alessio Russo, Eleonora Iotti, Alessandro Dal Palù
    Answer Set Programming for Feature-Based Explanation of Malware Prediction
  • 15:50-16:15
    Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca
    Blending grounding and compilation for efficient ASP solving
16:15-16:30 Coffee Break
16:30-17:30 Assemblea Soci
19:15 Social Dinner

Friday (27/06/2025)

Time Friday (27/06/2025)
09:00-10:35 Session VII: Knowledge Representation (Part I)
Chair: Emanuele De Angelis
  • 09:00-09:25
    Valentina Pitoni, Stefania Costantini, Andrea Monaldini, Alina Vozna
    From Blueprint Personas to Epistemic Agents: A Comparative Study of ASP-Based and L-DINF-Based Approaches to Medical Appointment Scheduling
  • 09:25-09:45
    Stefano Angelo Rizzo, Domenico Cantone, Marianna Nicolosi-Asmundo
    ALIGHIERoo: Advanced Literary and Iconographic Graph for Hermeneutics of Interconnected Editions and Resources - Object Oriented
  • 09:45-10:10
    Gabriele Sacco, Loris Bozzato, Oliver Kutz
    An ASP translation for non-monotonic reasoning on DL-LiteR with Prototype Descriptions
  • 10:10-10:35
    Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca
    Toward Executing Datalog on Big Data Platforms
10:35-10:50 Coffee Break
10:50-12:25 Session IX: Logic
Chair: Giovambattista Ianni
  • 10:50-11:15
    Andrea Formisano, Isacco Gavazzi, Eugenio G. Omodeo
    Diophantine modeling of provability in algebraic logic
  • 11:15-11:35
    Mario Alviano, Laura Giordano, Daniele Theseider Dupré
    Temporal Many-valued Conditional Logics: an Abridged Report
  • 11:35-12:00
    Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo
    Key Metalogical Propositions on a Variant of Hilbert’s Epsilon-Calculus
  • 12:00-12:25
    Mauro Ferrari, Camillo Fiorentini, Paolo Giardini
    Proof search and countermodel construction for iCK4
12:25-13:25 Lunch
13:25-14:40 Session X: Argumentation
Chair: Agostino Dovier
  • 13:30-13:55
    Paolo Baldi, Fabio Aurelio D'Asaro, Abeer Dyoub, Francesca Alessandra Lisi
    Weighted Assumption Based Argumentation to reason about ethical principles and actions
  • 13:55-14:15
    Emanuele De Angelis, Maurizio Proietti, Francesca Toni
    Learning Brave Assumption-Based Argumentation Frameworks via ASP
  • 14:15-14:40
    Emanuele De Angelis, Maurizio Proietti, Francesca Toni
    Greedy ABA Learning for Case-Based Reasoning
14:40-14:45 Closing