Abstract is missing.
- Operating Room Scheduling Via Answer Set Programming: The Case of ASL1 LiguriaMarco Scanu, Marco Mochi, Carmine Dodaro, Giuseppe Galatà, Marco Maratea. [doi]
- Verification of Prev-Free Communicating Datalog ProgramsFrancesco Di Cosmo. [doi]
- ASPECT: Answer Set rePresentation as vEctor graphiCs in laTexAlessandro Bertagnon, Marco Gavanelli, Fabio Zanotti. [doi]
- Explainable Answer Set Programming for Legal Decision SupportDaniele Theseider Dupré. [doi]
- Towards Explainable Data-to-text GenerationAlessandro Dal Palù, Agostino Dovier, Andrea Formisano 0001. [doi]
- Advancements in xASP, an XAI System for Answer Set ProgrammingMario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini. [doi]
- Preferential Temporal Description Logics with Typicality and Weighted Knowledge BasesMario Alviano, Laura Giordano 0001, Daniele Theseider Dupré. [doi]
- An ASP Approach for the Synthesis of CNOT Minimal Quantum CircuitsCarla Piazza, Riccardo Romanello, Robert Wille. [doi]
- Scheduling Periodic Treatments Via Answer Set ProgrammingSimone Caruso, Carmine Dodaro, Giuseppe Galatà, Marco Maratea. [doi]
- A New Approach to Clausification for Intuitionistic Propositional LogicCamillo Fiorentini, Mauro Ferrari 0002. [doi]
- Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded SemanticsAndrea Cuteri, Giuseppe Mazzotta, Francesco Ricca. [doi]
- Preference Management in Epistemic Logic L-DINFStefania Costantini, Andrea Formisano 0001, Valentina Pitoni. [doi]
- Exploring ILASP Through Logic Puzzles ModellingTalissa Dreossi. [doi]
- Set-Based Invariants over Polynomial SystemsAlberto Casagrande, Alessandro Cimatti, Luca Dorigo, Carla Piazza, Stefano Tonetta. [doi]
- Proof Methods and Theorem Proving for Conditional Logics with Strong CenteringValentina Gliozzi, Gian Luca Pozzato, Alberto Valese. [doi]
- A Brief History of Singlefold Diophantine DefinitionsDomenico Cantone, Luca Cuzziol, Eugenio G. Omodeo. [doi]
- Graph-Theoretical Arguments in Support of a Quantum Declarative ManifestoAlex Della Schiava, Carla Piazza, Riccardo Romanello. [doi]
- Unlocking Historical Insights: Developing a Dataset from Historical ArchivesLaura Pandolfo, Luca Pulina. [doi]
- Temporal Probabilistic Argumentation FrameworksStefano Bistarelli, Victor David, Francesco Santini 0001, Carlo Taticchi. [doi]
- Continued Hereditarily Finite Sets ApproximationsDomenico Cantone, Eugenio G. Omodeo, Alberto Policriti. [doi]
- Introducing Weighted Prototypes in Description Logics for Defeasible ReasoningGabriele Sacco, Loris Bozzato, Oliver Kutz. [doi]
- Domain-agnostic Procedural Content Generation Can Be Done DeclarativelyDenise Angilica, Stefano Germano, Giovambattista Ianni. [doi]
- Fast Prototyping of a Solver for Reduct-based ELP SemanticsStefania Costantini, Andrea Formisano 0001. [doi]