Proceedings of the the 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) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy - researchr publication

researchr

You are not signed in
Sign in
Sign up

Riccardo De Benedictis, Matteo Castiglioni, Diodato Ferraioli, Vadim Malvone, Marco Maratea, Enrico Scala, Luciano Serafini, Ivan Serina, Elisa Tosello, Alessandro Umbrico, Mauro Vallati, editors, Proceedings of the the 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) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy. Volume 3585 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]

Conference: aiia2023

Abstract is missing.

Heuristic Planning for Hybrid Dynamical Systems with Constraint Logic ProgrammingShaun Mathew, Mikhail Soutchanski. [doi]

Forward LTLf Synthesis: DPLL At WorkMarco Favorito. [doi]

On the Impact of Social Media Recommendations on Consensus of Discrete Opinions (Short Version)Vincenzo Auletta, Antonio Coppola, Diodato Ferraioli. [doi]

Experimenting an Approach to Neuro-Symbolic RLAndrea Rafanelli, Stefania Costantini, Giovanni De Gasperis. [doi]

Tabular Model Learning in Monte Carlo Tree SearchAlberto Castellini, Davide Bragantini, Davide Rossignolo, Federico Segala, Alessandro Farinelli. [doi]

Planning as Theorem Proving with HeuristicsMikhail Soutchanski, Ryan Young. [doi]

A Simple Proof-Theoretic Characterization of Stable ModelsEnrico Giunchiglia, Marco Maratea, Marco Mochi. [doi]

Investigating Domain-oriented Approaches to Optimization in Timeline-Based PlanningRiccardo De Benedictis, Gloria Beraldo, Amedeo Cesta, Gabriella Cortellessa. [doi]

Distance Polymatrix Coordination Games (short paper)Alessandro Aloisio, Michele Flammini, Bojana Kodric, Cosimo Vinci. [doi]

The Economic Agent's Meta-Brain: a Biological-Economic Complex Agent-Based model (short paper)Daniela Cialfi. [doi]

Characterizing Nexus of Similarity between EntitiesGiuseppe Agresta, Giovanni Amendola, Pietro Cofone, Marco Manna, Aldo Ricioppo. [doi]

Goal Recognition with Deep Learning and Embedded Representation of State TracesMattia Chiari, Alfonso Emilio Gerevini, Luca Putelli, Ivan Serina. [doi]

Towards a Coalition Refinement Approach in the Strategic Verification of Multi-Agent SystemsAngelo Ferrando 0001. [doi]

On Approximate Strategyproof Mechanisms for Hedonic Games and the Group Activity Selection Problem (short paper)Giovanna Varricchio. [doi]

Reasoning About Dynamic Game Models Using Obstruction Logic (short paper)Davide Catta, Jean Leneutre, Vadim Malvone. [doi]

Utility-Sharing Games: How to Improve the Efficiency with Limited Subsidies (short paper) Vittorio Bilò, Lucaleonardo Bove, Cosimo Vinci. [doi]

A Multi-Agent Game for Sentiment Analysis (short paper)Aniello Murano, Mimmo Parente, Silvia Stranieri. [doi]

runs on WebDSL