Abstract is missing.
- Temporal (Non-)Paradox: Yablo's Sequences in LTL over Finite Traces (short paper)Michal Tomasz Godziszewski, Davide Catta, Aniello Murano. [doi]
- The distributed architecture of SkRobot for efficient robotic agentsGiovanni De Gasperis, Daniele Di Ottavio, Stefania Costantini, Patrizio Migliarini. [doi]
- Automata-based LTL_f Satisfiability Checking via ASPAndrea Cuteri, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca. [doi]
- Recent Answer Set Programming Applications to Scheduling Problems in Digital HealthPaola Cappanera, Simone Caruso, Carmine Dodaro, Giuseppe Galatà, Marco Gavanelli, Marco Maratea, Cinzia Marte, Marco Mochi, Maddalena Nonato, Marco Roma. [doi]
- Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle ProblemAlessandro Bertagnon, Marco Gavanelli. [doi]
- Strategic Reasoning for BitML Smart ContractsLuigi Bellomarini, Marco Favorito, Giuseppe Galano. [doi]
- Deep Learning for Land Cover Segmentation in Agricultural Regions Using Aerial DatasetsGirma Tariku, Isabella Ghiglieno, Anna Simonetto, Gianni Gilioli, Ivan Serina. [doi]
- What's Behind This Water Table Depth Forecasting? RISE Application for Spatial, Temporal, and Spatio-Temporal ExplanationsMatteo Salis, Gabriele Sartor, Marco Pellegrino, Stefano Ferraris, Abdourrahmane M. Atto, Rosa Meo. [doi]
- Urban Heat Island. Machine Learning Models for Analysis and Maker Approach for Mitigation (short paper)Ermanno Zuccarini. [doi]
- Reasoning about Real-Time and Probability on Obstruction LogicJean Leneutre, Vadim Malvone, James Ortiz 0001. [doi]
- Assessing the Impact of Climate Change on Mineral-Associated Organic Carbon (MAOC) Using Machine Learning ModelsTewabe Chekole Workneh, Matteo Cristani, Claudio Tomazzoli. [doi]
- One to Rule Them All: Natural Language to Bind Communication, Perception and ActionSimone Colombani, Dimitri Ognibene, Giuseppe Boccignone. [doi]
- Towards a Compositional and User-friendly Tool for Multi-Agent Systems Verification (short paper)Angelo Ferrando 0001, Vadim Malvone. [doi]
- Development of Natural Strategies in Strategic Logics (short paper)Marco Aruta, Vadim Malvone, Aniello Murano. [doi]
- Translating Requirements in Property Specification Patterns using LLMsDario Guidotti, Laura Pandolfo, Tiziana Fanni, Katiuscia Zedda, Luca Pulina. [doi]
- A Bin-Packing Formulation for Radiotherapy Treatment Scheduling (short paper)Chiara Camilla Rambaldi Migliore, Giovanni Iacca, Marco Roveri. [doi]
- Anomaly Recognition with Trustworthy Neural Networks: a Case Study in Elevator ControlDario Guidotti, Laura Pandolfo, Luca Pulina. [doi]
- Information Flows during Constraint Satisfaction Search with Dynamic Heuristics: Information from PreprocessingRichard J. Wallace. [doi]
- Automated PDDL Domain File Generation for Enhancing Production System Development based on SysML ModelsHamied Nabizada, Tom Jeleniewski, Lasse Beers, Felix Gehlhoff, Alexander Fay. [doi]
- Towards Automated Planning of Level Structures for Digital InterventionsLorenzo J. James, Emanuele De Pellegrin, Laura Genga, Barbara Montagne, Pieter Van Gorp, Ronald P. A. Petrick. [doi]
- A Novel Methodology for AI-based Sorting of Post-Consumer Textile Using Spectrophotometer (short paper)Megan Robinson, Saikat Ghosh, Parikshit Goswami, Mauro Vallati. [doi]
- Many-valued Temporal Description Logics with Typicality: an Abridged Report (short paper)Mario Alviano, Marco Botta, Roberto Esposito, Laura Giordano 0001, Daniele Theseider Dupré. [doi]
- How to Mitigate Disagreement and Polarization in Opinion Formation Processes on Social NetworksVincenzo Auletta, Diodato Ferraioli, Grazia Ferrara. [doi]