Abstract is missing.
- Weighted Assumption Based Argumentation to reason about ethical principles and actionsPaolo Baldi, Fabio Aurelio D'Asaro, Abeer Dyoub, Francesca A. Lisi. [doi]
- Answer Set Programming for Feature-Based Explanation of Malware PredictionAlessio Russo, Eleonora Iotti, Alessandro Dal Palù. [doi]
- A Study on Contradiction Detection Using a Neuro-Symbolic ApproachAlessia Donata Camarda, Giovambattista Ianni. [doi]
- TOLC-ASP: a Tool for Training Students for Admission TestsEdda Dal Santo, Agostino Dovier, Talissa Dreossi. [doi]
- Key Metalogical Propositions on a Variant of Hilbert's Epsilon-CalculusDomenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo. [doi]
- Proof Search and Countermodel Construction for iCK4Mauro Ferrari 0002, Camillo Fiorentini, Paolo Giardini. [doi]
- Logic, Leaves, and Labels: Visualizing SELinux Trees with ASP ChefMario Alviano, Pietro Macrì. [doi]
- An ASP Translation for Non-Monotonic Reasoning on DL-Lite_R with Prototype DescriptionsGabriele Sacco, Loris Bozzato, Oliver Kutz. [doi]
- An ASP-based Approach to UAM Strategic Deconfliction: preliminary resultsGioacchino Sterlicchio, Angelo Oddi, Riccardo Rasconi, Francesca A. Lisi. [doi]
- Diophantine Modeling of Provability in Algebraic LogicAndrea Formisano 0001, Isacco Gavazzi, Eugenio G. Omodeo. [doi]
- Cyclic Nurse Scheduling with ASP: Two Case Studies from Cosenza HospitalsCarmine Dodaro, Marco Maratea, Nicola Ramacciati. [doi]
- GPU-Accelerated Propagation for the Stable Marriage ConstraintStefano Travasci, Fabio Tardivo, Andrea Formisano 0001. [doi]
- An Application of the TCL Logic to Aerospace MissionsAntonio Lieto, Marco Orusa, Gian Luca Pozzato, Stefano Zoia 0001. [doi]
- Probabilistic Compliance of Uncertain Traces in Declarative Process MiningMichela Vespa, Elena Bellodi. [doi]
- An Evaluation of Open Source LLMs for Neuro-Symbolic IntegrationStefano Sambri, Atefeh Ghanbari, Fabrizio Riguzzi. [doi]
- ALIGHIERoo: Advanced Literary and Iconographic Graph for Hermeneutics of Interconnected Editions and Resources - Object OrientedDomenico Cantone, Marianna Nicolosi Asmundo, Stefano Angelo Rizzo. [doi]
- Querying and Visualizing Digital Twins with ASP and ASP Chef: Preliminary ReportMario Alviano, Paola Guarasci. [doi]
- ASP Chef for Water Waste MonitoringMario Alviano, Luis Angel Rodriguez Reiners. [doi]
- Toward Executing Datalog on Big Data PlatformsAndrea Cuteri, Giuseppe Mazzotta, Francesco Ricca. [doi]
- Explainable AI for Sperm Morphology: Integrating YOLO with FastLASTalissa Dreossi, Agostino Dovier, Susy Urli, Francesca Corte Pause, Martina Crociati. [doi]
- From Blueprint Personas to Epistemic Agents: A Comparative Study of ASP-Based and L-DINF-Based Approaches to Medical Appointment SchedulingValentina Pitoni, Stefania Costantini, Andrea Monaldini, Alina Vozna. [doi]
- Verification of Coverability in Positive Interactive Datalog ProgramsFrancesco Di Cosmo. [doi]