default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAI4CC-IPS-RCRA-SPIRIT@AI*IA 2024: Bolzano/Bozen, Italy
- Diego Aineto, Riccardo De Benedictis, Marco Maratea, Munyque Mittelmann, Gianpiero Monaco, Enrico Scala, Luciano Serafini, Ivan Serina, Francesco Spegni, Elisa Tosello, Alessandro Umbrico, Mauro Vallati:
Proceedings of the 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) co-located with 23rd International Conference of the Italian Association for Artificial Intelligence AIxIA 2024, November 25-28th, 2024, Bolzano, Italy. CEUR Workshop Proceedings 3883, CEUR-WS.org 2024
Artificial Intelligence for Climate Change 2024
- Megan Robinson, Saikat Ghosh, Parikshit Goswami, Mauro Vallati:
A Novel Methodology for AI-based Sorting of Post-Consumer Textile Using Spectrophotometer (short paper). - Matteo Salis, Gabriele Sartor, Marco Pellegrino, Stefano Ferraris, Abdourrahmane M. Atto, Rosa Meo:
What's Behind This Water Table Depth Forecasting? RISE Application for Spatial, Temporal, and Spatio-Temporal Explanations. - Girma Tariku, Isabella Ghiglieno, Anna Simonetto, Gianni Gilioli, Ivan Serina:
Deep Learning for Land Cover Segmentation in Agricultural Regions Using Aerial Datasets. - Tewabe Chekole Workneh, Matteo Cristani, Claudio Tomazzoli:
Assessing the Impact of Climate Change on Mineral-Associated Organic Carbon (MAOC) Using Machine Learning Models. - Ermanno Zuccarini:
Urban Heat Island. Machine Learning Models for Analysis and Maker Approach for Mitigation (short paper).
Planning and Scheduling 2024
- Simone Colombani, Dimitri Ognibene, Giuseppe Boccignone:
One to Rule Them All: Natural Language to Bind Communication, Perception and Action. - Lorenzo J. James, Emanuele De Pellegrin, Laura Genga, Barbara Montagne, Pieter Van Gorp, Ronald P. A. Petrick:
Towards Automated Planning of Level Structures for Digital Interventions. - Hamied Nabizada, Tom Jeleniewski, Lasse Beers, Felix Gehlhoff, Alexander Fay:
Automated PDDL Domain File Generation for Enhancing Production System Development based on SysML Models. - Chiara Camilla Rambaldi Migliore, Giovanni Iacca, Marco Roveri:
A Bin-Packing Formulation for Radiotherapy Treatment Scheduling (short paper).
Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2024
- Mario Alviano, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré:
Many-valued Temporal Description Logics with Typicality: an Abridged Report (short paper). - Alessandro Bertagnon, Marco Gavanelli:
Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem. - Paola Cappanera, Simone Caruso, Carmine Dodaro, Giuseppe Galatà, Marco Gavanelli, Marco Maratea, Cinzia Marte, Marco Mochi, Maddalena Nonato, Marco Roma:
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health. - Andrea Cuteri, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca:
Automata-based LTL_f Satisfiability Checking via ASP. - Giovanni De Gasperis, Daniele Di Ottavio, Stefania Costantini, Patrizio Migliarini:
The distributed architecture of SkRobot for efficient robotic agents. - Dario Guidotti, Laura Pandolfo, Tiziana Fanni, Katiuscia Zedda, Luca Pulina:
Translating Requirements in Property Specification Patterns using LLMs. - Dario Guidotti, Laura Pandolfo, Luca Pulina:
Anomaly Recognition with Trustworthy Neural Networks: a Case Study in Elevator Control. - Richard J. Wallace:
Information Flows during Constraint Satisfaction Search with Dynamic Heuristics: Information from Preprocessing.
Strategies, Prediction, Interaction, and Reasoning in Italy 2024
- Marco Aruta, Vadim Malvone, Aniello Murano:
Development of Natural Strategies in Strategic Logics (short paper). - Vincenzo Auletta, Diodato Ferraioli, Grazia Ferrara:
How to Mitigate Disagreement and Polarization in Opinion Formation Processes on Social Networks. - Luigi Bellomarini, Marco Favorito, Giuseppe Galano:
Strategic Reasoning for BitML Smart Contracts. - Angelo Ferrando, Vadim Malvone:
Towards a Compositional and User-friendly Tool for Multi-Agent Systems Verification (short paper). - Michal Tomasz Godziszewski, Davide Catta, Aniello Murano:
Temporal (Non-)Paradox: Yablo's Sequences in LTL over Finite Traces (short paper). - Jean Leneutre, Vadim Malvone, James Ortiz:
Reasoning about Real-Time and Probability on Obstruction Logic.
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-02-20 19:48 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:
