default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID40th CILC 2025: Alghero, Italy
- Dario Guidotti, Laura Pandolfo, Luca Pulina:
Proceedings of the 40th Italian Conference on Computational Logic, Alghero, Italy, June 25-27, 2025. CEUR Workshop Proceedings 4003, CEUR-WS.org 2025
Regular Papers
- Mario Alviano, Luis Angel Rodriguez Reiners:
ASP Chef for Water Waste Monitoring. - Mario Alviano, Paola Guarasci:
Querying and Visualizing Digital Twins with ASP and ASP Chef: Preliminary Report. - Stefano Sambri, Atefeh Ghanbari, Fabrizio Riguzzi:
An Evaluation of Open Source LLMs for Neuro-Symbolic Integration. - Alessia Donata Camarda, Giovambattista Ianni:
A Study on Contradiction Detection Using a Neuro-Symbolic Approach. - Mauro Ferrari, Camillo Fiorentini, Paolo Giardini:
Proof Search and Countermodel Construction for iCK4. - Edda Dal Santo, Agostino Dovier, Talissa Dreossi:
TOLC-ASP: a Tool for Training Students for Admission Tests. - Talissa Dreossi, Agostino Dovier, Susy Urli, Francesca Corte Pause, Martina Crociati:
Explainable AI for Sperm Morphology: Integrating YOLO with FastLAS. - Andrea Formisano, Isacco Gavazzi, Eugenio G. Omodeo:
Diophantine Modeling of Provability in Algebraic Logic. - Stefano Travasci, Fabio Tardivo, Andrea Formisano:
GPU-Accelerated Propagation for the Stable Marriage Constraint. - Carmine Dodaro, Marco Maratea, Nicola Ramacciati:
Cyclic Nurse Scheduling with ASP: Two Case Studies from Cosenza Hospitals. - Alessio Russo, Eleonora Iotti, Alessandro Dal Palù:
Answer Set Programming for Feature-Based Explanation of Malware Prediction. - Mario Alviano, Pietro Macrì:
Logic, Leaves, and Labels: Visualizing SELinux Trees with ASP Chef. - Michela Vespa, Elena Bellodi:
Probabilistic Compliance of Uncertain Traces in Declarative Process Mining. - 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. - Antonio Lieto, Marco Orusa, Gian Luca Pozzato, Stefano Zoia:
An Application of the TCL Logic to Aerospace Missions. - Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca:
Toward Executing Datalog on Big Data Platforms. - Paolo Baldi, Fabio Aurelio D'Asaro, Abeer Dyoub, Francesca A. Lisi:
Weighted Assumption Based Argumentation to reason about ethical principles and actions. - Francesco Di Cosmo:
Verification of Coverability in Positive Interactive Datalog Programs. - Gabriele Sacco, Loris Bozzato, Oliver Kutz:
An ASP Translation for Non-Monotonic Reasoning on DL-Lite_R with Prototype Descriptions. - Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo:
Key Metalogical Propositions on a Variant of Hilbert's Epsilon-Calculus.
Short Papers
- Gioacchino Sterlicchio, Angelo Oddi, Riccardo Rasconi, Francesca A. Lisi:
An ASP-based Approach to UAM Strategic Deconfliction: preliminary results. - Domenico Cantone, Marianna Nicolosi Asmundo, Stefano Angelo Rizzo:
ALIGHIERoo: Advanced Literary and Iconographic Graph for Hermeneutics of Interconnected Editions and Resources - Object Oriented.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
