International Workshop on Artificial Intelligence for Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (AI4CC-IPS-RCRA-SPIRIT 2024) November 25-28th, 2024, Bolzano – Italy.
©2024Copyrightforthispaperbyitsauthors. UsepermittedunderCreativeCommonsLicenseAttribution4.0International(CCBY4.0). Copyright for these papers by their authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).
Organizing Committees
Aineto Diego University of Brescia, Italy.
Ivan Serina University of Brescia, Italy.
Riccardo De Benedictis National Research Council (CNR), Italy. Enrico Scala University of Brescia, Italy. Ivan Serina University of Brescia, Italy. Elisa Tosello Bruno Kessler Foundation, Italy.
Alessandro Umbrico National Research Council (CNR), Italy.
Marco Maratea Università della Calabria, Italy. Luciano Serafini Fondazione Bruno Kessler, Italy.
Mauro Vallati University of Huddersfield, UK.
Munyque Mittelmann University of Naples Federico II, Italy. Gianpiero Monaco University of Chieti-Pescara, Italy Francesco Spegni Marche Polytechnic University, Italy.
A Novel Methodology for AI-based Sorting of Post-Consumer Textile Using Spectrophotometer
Megan Robinson, Saikat Ghosh, Parikshit Goswami, Mauro Vallati What’s Behind This Water Table Depth Forecasting? RISE Application for Spatial, Temporal, and Spatio-Temporal Explanations Matteo Salis, Gabriele Sartor, Marco Pellegrino, Stefano Ferraris, Abdourrahmane M.
Atto, Rosa Meo Deep Learning for Land Cover Segmentation in Agricultural Regions Using Aerial Datasets
Girma Tariku, Isabella Ghiglieno, Anna Simonetto, Gianni Gilioli, Ivan Serina Assessing the Impact of Climate Change on Mineral-Associated Organic Carbon (MAOC) Using Machine Learning Models
Tewabe Chekole Workneh, Matteo Cristani, Claudio Tomazzoli Urban Heat Island. Machine Learning Models for Analysis and Maker Approach for Mitigation
Ermanno Zuccarini
One to rule them all: natural language to bind communication, perception and action
Simone Colombani, Dimitri Ognibene, Giuseppe Boccignone Towards Automated Planning of Level Structures for Digital Interventions Lorenzo J. James, Emanuele De Pellegrin, Laura Genga, Barbara Montagne, Pieter Van Gorp, Ronald P. A. Petrick Automated PDDL Domain File Generation for Enhancing Production System Development based on SysML Models Hamied Nabizada, Tom Jeleniewski, Lasse Beers, Felix Gehlhof, Alexander Fay vii i 1 1 9 21 35 48 57 57 74 A Bin-Packing Formulation for Radiotherapy Treatment Scheduling
Chiara Camilla Rambaldi Migliore, Giovanni Iacca, Marco Roveri
Many-valued Temporal Description Logics with Typicality: an Abridged Report
Mario Alviano, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré 110 Stronger integration of circuit and alldiferent propagators for the Hamiltonian Cycle Problem
Alessandro Bertagnon, Marco Gavanelli Recent Answer Set Programming Applications to Scheduling Problems in Digital Health Paola Cappanera, Simone Caruso, Carmine Dodaro, Giuseppe Galatà, Marco Gavanelli, Marco Maratea, Cinzia Marte, Marco Mochi, Maddalena Nonato, Marco Roma Automata-based LTL Satisfiability Checking via ASP
Andrea Cuteri, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca The distributed architecture of SkRobot for eficient robotic agents
Giovanni De Gasperis, Daniele Di Ottavio, Stefania Costantini, Patrizio Migliarini Translating Requirements in Property Specification Patterns using LLMs
Dario Guidotti, Laura Pandolfo, Tiziana Fanni, Katiuscia Zedda, Luca Pulina Anomaly Recognition with Trustworthy Neural Networks: a Case Study in Elevator Control
Dario Guidotti, Laura Pandolfo, Luca Pulina Information Flows during Constraint Satisfaction Search with Dynamic Heuristics: Information from Preprocessing
Richard J. Wallace
Development of Natural Strategies in Strategic Logics
Marco Aruta, Vadim Malvone, Aniello Murano How to Mitigate Disagreement and Polarization in Opinion Formation Processes on Social Networks Vincenzo Auletta, Diodato Ferraioli, Grazia Ferrara iii 101 Strategic Reasoning for BitML Smart Contracts
Luigi Bellomarini, Marco Favorito, Giuseppe Galano Towards a Compositional and User-friendly tool for Multi-Agent Systems Verification
Angelo Ferrando, Vadim Malvone Situation Calculus Temporally Lifted Abstractions for Generalized Planning – Extended Abstract
Giuseppe De Giacomo, Yves Lespérance, Matteo Mancanelli Temporal (Non-)Paradox: Yablo’s Sequences in LTL over Finite Traces
Michał Tomasz Godziszewski, Davide Catta, Aniello Murano Reasoning about Real-Time and Probability on Obstruction Logic
Jean Leneutre, Vadim Malvone, James Ortiz 249 257 261 AI4CC 2024 papers not included here and published elsewhere Leveraging AI Planning Models for the Water Management of the Red River Basin in Vietnam [1]
Diego Aineto, Matteo Battisti, Hai Yen Nguyen, Le An Ngo, Roberto Ranzi, Enrico Scala, Ivan
Serina ; in Proceedings of the 3rd International Conference on Data Science and Emerging
Technologies (DaSET 2024), Petaling Jaya, Selangor, Malaysia, December 12–13, 2024.
Multi-Purpose Reservoir Optimization Using Genetic Algorithm For The Hoa Binh
Reservoir, Viet Nam [
Hai Yen Nguyen, Le Long Ngo, Le An Ngo, Minh Cat Vu, Marco Peli, Ivan Serina, Roberto Ranzi ; in Proceedings of the XXXIX National Conference on Hydraulics and Hydraulic Constructions - IDRA24, 2024.
Evaluation of Machine Learning Techniques for Inflow Prediction in Lake Como, Italy [3]
Michele Pini, Andrea Scalvini, Muhammad Usman Liaqat, Roberto Ranzi, Ivan Serina, Tahir Mehmood ; in Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, Virtual Event, 16-18 September 2020, Procedia Computer Science, Volume 176, Elsevier, pages 918–927.
IPS 2024 papers not included here and published elsewhere Dealing with Numeric and Metric Time Constraints in PDDL3 via Compilation to Numeric Planning [4]
Luigi Bonassi, Alfonso Emilio Gerevini, Enrico Scala; in Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pages 20036–20043, AAAI Press.
Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning [5] Alessandro La Farciola, Alessandro Valentini, Andrea Micheli ; in Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, AAAI 2025.
PDDL+ Models for Deployable yet Efective Trafic Signal Optimisation [ 6] Anas El Kouaiti, Francesco Percassi, Alessandro Saetti, Thomas Leo McCluskey, Mauro Vallati; in Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2024, Banf, Alberta, Canada, June 1-6, 2024, pages 168–177, AAAI Press. RCRA 2024 papers not included here and published elsewhere SPIRIT 2024 papers not included here and published elsewhere