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 (IPS-RCRA-SPIRIT 2023), Rome – Italy.
CPWrEooUrckResehdoinpgs IhStpN:/c1e6u1r3-w-0s.o7r3g ©C2E0U22RCoWpyroigrhktsfohrothpispParpoercbeyeitdsianutghosrs(.CUEseUpeRrm-WitteSd.uonrdger)CreativeCommonsLicenseAttribution4.0International(CCBY4.0). Copyright for these papers by their authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).
Editors’ address:
Institute for Cognitive Science and Technologies (ISTC), National Research Council (CNR), Italy. riccardo.debenedictis@istc.cnr.it
Organizing Committees
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.
Matteo Castiglioni Politecnico di Milano, Italy Diodato Ferraioli Univeristà degli Studi di Salerno, Italy Vadim Malvone Institut Polytechnique de Paris, France.
Organizing Committees Preface
Planning Safe Collaborative Behaviors through Risk-Aware Heuristic Search
Alex Bonini, Marta Cialdea Mayer, Amedeo Cesta, Andrea Orlandini, Alessandro Umbrico Tabular Model Learning in Monte Carlo Tree Search
Alberto Castellini, Davide Bragantini, Davide Rossignolo, Federico Segala, Alessandro Farinelli Goal Recognition with Deep Learning and Embedded Representation of State Traces
Mattia Chiari, Alfonso Emilio Gerevini, Luca Putelli, Ivan Serina Investigating Domain-oriented Approaches to Optimization in Timeline-Based Planning
Riccardo De Benedictis, Gloria Beraldo, Gabriella Cortellessa, Amedeo Cesta Heuristic Planning for Hybrid Dynamical Systems with Constraint Logic Programming
Mikhail Soutchanski, Shaun Mathew
Characterizing Nexus of Similarity between Entities
Giuseppe Agresta, Giovanni Amendola, Pietro Cofone, Marco Manna, Aldo Ricioppo Forward LTLf Synthesis: DPLL At Work
Marco Favorito A simple proof-theoretic characterization of Stable Models
Enrico Giunchiglia, Marco Maratea, Marco Mochi Experimenting an approach to Neuro-Symbolic RL
Andrea Rafanelli, Stefania Costantini, Giovanni De Gasperis vi i 1 1 8 19 30 40 65 65 80 96 Planning as Theorem Proving with Heuristics
Mikhail Soutchanski, Ryan Young
Learning Augmented Online Learning Algorithms - The Adversarial Bandit with Knapsacks framework
Davide Drago, Andrea Celli, Marek Eliáš Optimal Rates for Online Bayesian Persuasion (Extended Abstract) Martino Bernasconi, Matteo Castiglioni, Andrea Celli, Alberto Marchesi, Francesco Trovò, Nicola Gatti Reasoning About Dynamic Game Models Using Obstruction Logic
Davide Catta, Jean Leneutre, Vadim Malvone A multi-agent game for sentiment analysis
Davide Catta, Aniello Murano, Mimmo Parente, Silvia Stranieri On the Impact of Social Media Recommendations on Consensus of Discrete Opinions (Short Version)
Vincenzo Auletta, Antonio Coppola, Diodato Ferraioli The economic agent’s Meta-Brain: a biological-economic complex agent-based model
Daniela Cialfi Utility-Sharing Games: How to Improve the Eficiency with Limited Subsidies (short paper)
Vittorio Bilò, Lucaleonardo Bove, Cosimo Vinci Distance Polymatrix Coordination Games
Alessandro Aloisio, Michele Flammini, Bojana Kodric, Cosimo Vinci On approximate strategyproof mechanisms for Hedonic Games and the Group Activity Selection Problem
Giovanna Varricchio Verification of Bayesian Mechanisms with Strategy Logic
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel Towards a Coalition Refinement Approach in the Strategic Verification of MultiAgent Systems Angelo Ferrando iii IPS 2023 papers not included here and published elsewhere
Diego Aineto, Alessandro Gaudenzi, Alfonso Gerevini, Alberto Rovetta, Enrico Scala, Ivan Serina; in Proceedings of the 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland.
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala; in Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic.
Diego Aineto, Enrico Scala, Eva Onaindia, Ivan Serina; in Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic.
Matteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati
Mattia Chiari, Alfonso Emilio Gerevini, Francesco Percassi, Luca Putelli, Ivan Serina, Matteo Olivato; in Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic.
Leonardo Lamanna, Mohamadreza Faridghasemnia, Alfonso Gerevini, Alessandro Saetti, Alessandro Safiotti, Luciano Serafini, Paolo Traverso; in Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China.
RCRA 2023 papers not included here and published elsewhere Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued
Mario Alviano, Laura Giordano, Daniele Theseider Dupré; in Proceedings of the 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023.
Gianluca Apriceno, Luca Erculiani, Andrea Passerini; in Proceedings of the 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland. Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set
Alessandro Bertagnon, Marco Gavanelli; in Proceedings of the International Conference on Logic Programming 2023 – Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), London, United Kingdom, July 9th and 10th, 2023.