An Automatically Configurable Portfolio-based Planner with Macro-actions: PbP. - Alfonso Gerevini; Alessandro Saetti; Mauro Vallati (ICAPS, 2009)

A Guide to Portfolio-Based Planning. - Mauro Vallati (MIWAI, 2012)

Underestimation vs. Overestimation in SAT-Based Planning. - Mauro Vallati; Lukás Chrpa; Andrew Crampton (AI*IA, 2013)

Learnability of Specific Structural Patterns of Planning Problems. - Lukás Chrpa; Mauro Vallati; Hugh Osborne (ICTAI, 2013)

An Automatic Algorithm Selection Approach for Planning. - Mauro Vallati; Lukás Chrpa; Diane E. Kitchin (ICTAI, 2013)

Autonomic System Architecture: An Automated Planning Perspective. - Falilat Jimoh; Lukás Chrpa; Mauro Vallati (AIAI, 2013)

Exploiting Machine Learning for Predicting Nodal Status in Prostate Cancer Patients. - Mauro Vallati; Berardino De Bari; Roberto Gatta; Michela Buglione; Stefano M. Magrini; Barbara Alicja Jereczek-Fossa; Filippo Bertoni (AIAI, 2013)

Exploring Knowledge Engineering Strategies in Designing and Modelling a Road Traffic Accident Management Domain. - Mohammad Munshi Shahin Shah; Lukás Chrpa; Diane E. Kitchin; Thomas Leo McCluskey; Mauro Vallati (IJCAI, 2013)

Clinical Similarities: An Innovative Approach for Supporting Medical Decisions. - Mauro Vallati; Roberto Gatta; Berardino De Bari; Stefano M. Magrini (MedInfo, 2013)

Determining Linearity of Optimal Plans by Operator Schema Analysis. - Lukás Chrpa; Mauro Vallati; Thomas Leo McCluskey (SARA, 2013)

Generating Macro-Operators by Exploiting Inner Entanglements. - Lukás Chrpa; Mauro Vallati; Thomas Leo McCluskey; Diane E. Kitchin (SARA, 2013)

Revisiting Inner Entanglements in Classical Planning. - Lukás Chrpa; Mauro Vallati (SCAI, 2013)

Automatic Generation of Efficient Domain-Optimized Planners from Generic Parametrized Planners. - Mauro Vallati; Chris Fawcett; Alfonso Gerevini; Holger H. Hoos; Alessandro Saetti (SOCS, 2013)

Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach. - Federico Cerutti 001; Paul E. Dunne; Massimiliano Giacomin; Mauro Vallati (TAFA, 2013)

Efficient planning through automatic configuration and machine learning. - Mauro Vallati (AI Commun., 2013)

MUM: A Technique for Maximising the Utility of Macro-operators by Constrained Generation and Use. - Lukás Chrpa; Mauro Vallati; Thomas Leo McCluskey (ICAPS, 2014)

Improved Features for Runtime Prediction of Domain-Independent Planners. - Chris Fawcett; Mauro Vallati; Frank Hutter; Jörg Hoffmann 001; Holger H. Hoos; Kevin Leyton-Brown (ICAPS, 2014)

Information Retrieval in Medicine - An Extensive Experimental Study. - Roberto Gatta; Mauro Vallati; Berardino De Bari; Nadia Pasinetti; Carlo Cappelli; Ilenia Pirola; Massimo Salvetti; Michela Buglione; Maria Lorenza Muiesan; Stefano M. Magrini; Maurizio Castellano (HEALTHINF, 2014)

Algorithm Selection for Preferred Extensions Enumeration. - Federico Cerutti 001; Massimiliano Giacomin; Mauro Vallati (COMMA, 2014)

ArgSemSAT: Solving Argumentation Problems Using SAT. - Federico Cerutti 001; Massimiliano Giacomin; Mauro Vallati (COMMA, 2014)

Generating Challenging Benchmark AFs. - Federico Cerutti 001; Massimiliano Giacomin; Mauro Vallati (COMMA, 2014)

A Benchmark Framework for a Computational Argumentation Competition. - Federico Cerutti 001; Nir Oren; Hannes Strass; Matthias Thimm; Mauro Vallati (COMMA, 2014)

The impact of different training sets on medical documents classification. - Roberto Gatta; Mauro Vallati; Berardino De Bari; Mahmut Ozsahin (AI-AM/NetMed@ECAI, 2014)

Argumentation Frameworks Features: an Initial Study. - Mauro Vallati; Federico Cerutti 001; Massimiliano Giacomin (ECAI, 2014)

Argumentation Extensions Enumeration as a Constraint Satisfaction Problem: a Performance Overview. - Mauro Vallati; Federico Cerutti 001; Massimiliano Giacomin (DARe@ECAI, 2014)

GenoMeMeMusic: a Memetic-based Framework for Discovering the Musical Genome. - Valerio Velardo; Mauro Vallati (ICMC, 2014)

An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation. - Federico Cerutti 001; Massimiliano Giacomin; Mauro Vallati; Marina Zanella (KR, 2014)

Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report. - Federico Cerutti 001; Ilias Tachmazidis; Mauro Vallati; Sotiris Batsakis; Massimiliano Giacomin; Grigoris Antoniou (CoRR, 2014)

ASAP: An Automatic Algorithm Selection Approach for Planning. - Mauro Vallati; Lukás Chrpa; Diane E. Kitchin (Int. J. Artif. Intell. Tools, 2014)

Planning through Automatic Portfolio Configuration: The PbP Approach. - Alfonso Gerevini; Alessandro Saetti; Mauro Vallati (J. Artif. Intell. Res., 2014)

Exploiting Parallelism for Hard Problems in Abstract Argumentation. - Federico Cerutti 001; Ilias Tachmazidis; Mauro Vallati; Sotirios Batsakis; Massimiliano Giacomin; Grigoris Antoniou (AAAI, 2015)

ASCoL: A Tool for Improving Automatic Planning Domain Model Acquisition. - Rabia Jilani; Andrew Crampton; Diane E. Kitchin; Mauro Vallati (AI*IA, 2015)

Distributed Learning to Protect Privacy in Multi-centric Clinical Studies. - Andrea Damiani; Mauro Vallati; Roberto Gatta; Nicola Dinapoli; Arthur Jochems; Timo Deist; Johan van Soest; Andre Dekker; Vincenzo Valentini (AIME, 2015)

Moddicom: a complete and easily accessible library for prognostic evaluations relying on image features. - Nicola Dinapoli; Anna Rita Alitto; Mauro Vallati; Roberto Gatta; Rosa Autorino; Luca Boldrini; Andrea Damiani; Vincenzo Valentini (EMBC, 2015)

On the Efficient Allocation of Diagnostic Activities in Modern Imaging Departments. - Roberto Gatta; Mauro Vallati; Nicola Mazzini; Diane E. Kitchin; Andrea Bonisoli; Alfonso Gerevini; Vincenzo Valentini (EPIA, 2015)

Discovering Interesting Trends in Real Medical Data: A Study in Diabetic Retinopathy. - Vassiliki Somaraki; Mauro Vallati; Thomas Leo McCluskey (EPIA, 2015)

On the Stylistic Evolution of a Society of Virtual Melody Composers. - Valerio Velardo; Mauro Vallati (EvoMUSART, 2015)

Portfolio Methods for Optimal Planning: An Empirical Analysis. - Mattia Rizzini; Chris Fawcett; Mauro Vallati; Alfonso Emilio Gerevini; Holger H. Hoos (ICTAI, 2015)

On the Online Generation of Effective Macro-Operators. - Lukás Chrpa; Mauro Vallati; Thomas Leo McCluskey (IJCAI, 2015)

On the Effective Configuration of Planning Domain Models. - Mauro Vallati; Frank Hutter; Lukás Chrpa; Thomas Leo McCluskey (IJCAI, 2015)

Towards a Reformulation Based Approach for Efficient Numeric Planning: Numeric Outer Entanglements. - Lukás Chrpa; Enrico Scala; Mauro Vallati (SOCS, 2015)

Exploring the Synergy between Two Modular Learning Techniques for Automated Planning. - Raquel Fuentetaja 001; Lukás Chrpa; Thomas Leo McCluskey; Mauro Vallati (SOCS, 2015)

Exploiting macro-actions and predicting plan length in planning as satisfiability. - Alfonso Emilio Gerevini; Alessandro Saetti; Mauro Vallati (AI Commun., 2015)

Portfolio-based planning: State of the art, common practice and open challenges. - Mauro Vallati; Lukás Chrpa; Diane E. Kitchin (AI Commun., 2015)

The 2014 International Planning Competition: Progress and Trends. - Mauro Vallati; Lukás Chrpa; Marek Grzes; Thomas Leo McCluskey; Mark Roberts; Scott Sanner (AI Mag., 2015)

Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach. - Mauro Vallati; Daniele Magazzeni; Bart De Schutter; Lukás Chrpa; Thomas Leo McCluskey (AAAI, 2016)

RadioBio data: A Moddicom Module to Predict Tumor Control Probability and Normal Tissue Complication Probability in Radiotherapy. - Nicola Dinapoli; Anna Rita Alitto; Mauro Vallati; Rosa Autorino; Roberto Gatta; Luca Boldrini; Andrea Damiani; Giovanna Mantini; Vincenzo Valentini (HEALTHINF, 2016)

Bridging the Gap between Knowledge Representation and Electronic Health Records. - Roberto Gatta; Mauro Vallati; Carlo Cappelli; Berardino De Bari; Massimo Salvetti; Silvio Finardi; Maria Lorenza Muiesan; Vincenzo Valentini; Maurizio Castellano (HEALTHINF, 2016)

On the exploitation of Automated Planning for efficient decision making in road traffic accident management. - Lukás Chrpa; Mauro Vallati (CDC, 2016)

Generating Structured Argumentation Frameworks: AFBenchGen2. - Federico Cerutti 001; Massimiliano Giacomin; Mauro Vallati (COMMA, 2016)

On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning. - Federico Cerutti 001; Mauro Vallati; Massimiliano Giacomin (COMMA, 2016)

Where Are We Now? State of the Art and Future Trends of Solvers for Hard Argumentation Problems. - Federico Cerutti 001; Mauro Vallati; Massimiliano Giacomin (COMMA, 2016)

Efficient and Off-The-Shelf Solver: jArgSemSAT. - Federico Cerutti 001; Mauro Vallati; Massimiliano Giacomin (COMMA, 2016)

Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation. - Wolfgang Faber 001; Mauro Vallati; Federico Cerutti 001; Massimiliano Giacomin (ECAI, 2016)

jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks. - Federico Cerutti 001; Mauro Vallati; Massimiliano Giacomin (KR, 2016)

Have a Little Patience: Let Planners Play Cards. - Rabia Jilani; Andrew Crampton; Diane E. Kitchin; Mauro Vallati (PlanSIG, 2016)

The SimplyfAI Project: Using AI Planning in Urban Traffic Management or If at First the Representation Does not Work, Try, Try and Try and Again. - Thomas Leo McCluskey; Mauro Vallati (PlanSIG, 2016)

Summary Report of The First International Competition on Computational Models of Argumentation. - Matthias Thimm; Serena Villata; Federico Cerutti 001; Nir Oren; Hannes Strass; Mauro Vallati (AI Mag., 2016)

Symbolic Melodic Similarity: State of the Art and Future Challenges. - Valerio Velardo; Mauro Vallati; Steven Jan (Comput. Music. J., 2016)

Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation. - Wolfgang Faber 001; Mauro Vallati; Federico Cerutti 001; Massimiliano Giacomin (CoRR, 2016)

A General Framework for Describing Creative Agents. - Valerio Velardo; Mauro Vallati (CoRR, 2016)

Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning. - Mauro Vallati; Ivan Serina; Alessandro Saetti; Alfonso Emilio Gerevini (Fundam. Informaticae, 2016)

Automated planning for Urban traffic control: Strategic vehicle routing to respect air quality limitations. - Lukás Chrpa; Daniele Magazzeni; Keith McCabe; Thomas Leo McCluskey; Mauro Vallati (Intelligenza Artificiale, 2016)

Automated Planning Techniques for Robot Manipulation Tasks Involving Articulated Objects. - Alessio Capitanelli; Marco Maratea; Fulvio Mastrogiovanni; Mauro Vallati (AI*IA, 2017)

On the Evolution of Planner-Specific Macro Sets. - Mauro Vallati; Lukás Chrpa; Ivan Serina (AI*IA, 2017)

pMineR: An Innovative R Library for Performing Process Mining in Medicine. - Roberto Gatta; Jacopo Lenkowicz; Mauro Vallati; Eric Rojas 001; Andrea Damiani; Lucia Sacchi; Berardino De Bari; Arianna Dagliati; Carlos Fernández-Llatas; Matteo Montesi; Antonio Marchetti; Maurizio Castellano; et al. (AIME, 2017)

Embedding Automated Planning within Urban Traffic Management Operations. - Thomas Leo McCluskey; Mauro Vallati (ICAPS, 2017)

On the Exploitation of Automated Planning for Reducing Machine Tools Energy Consumption between Manufacturing Operations. - Simon Parkinson; Andrew Longstaff; Simon Fletcher; Mauro Vallati; Lukás Chrpa (ICAPS, 2017)

On the Combination of Argumentation Solvers into Parallel Portfolios. - Mauro Vallati; Federico Cerutti 001; Massimiliano Giacomin (Australasian Conference on Artificial Intelligence, 2017)

A Hypercat-Enabled Semantic Internet of Things Data Hub. - Ilias Tachmazidis; Sotiris Batsakis; John Davies; Alistair Duke; Mauro Vallati; Grigoris Antoniou; Sandra Stincic Clarke (ESWC (2), 2017)

Automated Planning for Urban Traffic Management. - Thomas Leo McCluskey; Mauro Vallati; Santiago Franco (IJCAI, 2017)

Security auditing in the fog. - Simon Parkinson; Yongrui Qin; Saad Khan 001; Mauro Vallati (ICC, 2017)

Generating and Comparing Knowledge Graphs of Medical Processes Using pMineR. - Roberto Gatta; Mauro Vallati; Jacopo Lenkowicz; Eric Rojas 001; Andrea Damiani; Lucia Sacchi; Berardino De Bari; Arianna Dagliati; Carlos Fernández-Llatas; Matteo Montesi; Antonio Marchetti; Maurizio Castellano; et al. (K-CAP, 2017)

Engineering Knowledge for Automated Planning: Towards a Notion of Quality. - Thomas Leo McCluskey; Tiago Stegun Vaquero; Mauro Vallati (K-CAP, 2017)

Improving a Planner's Performance through Online Heuristic Configuration of Domain Models. - Mauro Vallati; Lukás Chrpa; Thomas Leo McCluskey (SOCS, 2017)

The Fifth International Competition on Knowledge Engineering for Planning and Scheduling: Summary and Trends. - Lukás Chrpa; Thomas Leo McCluskey; Mauro Vallati; Tiago Vaquero (AI Mag., 2017)

A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report. - Ilias Tachmazidis; Sotiris Batsakis; John Davies; Alistair Duke; Mauro Vallati; Grigoris Antoniou; Sandra Stincic Clarke (CoRR, 2017)

An Efficient Java-Based Solver for Abstract Argumentation Frameworks: jArgSemSAT. - Federico Cerutti 001; Mauro Vallati; Massimiliano Giacomin (Int. J. Artif. Intell. Tools, 2017)

Static and Dynamic Portfolio Methods for Optimal Planning: An Empirical Analysis. - Mattia Rizzini; Chris Fawcett; Mauro Vallati; Alfonso Emilio Gerevini; Holger H. Hoos (Int. J. Artif. Intell. Tools, 2017)

KR&R Approaches for Robot Manipulation Tasks with Articulated Objects. - Riccardo Bertolucci; Alessio Capitanelli; Carmine Dodaro; Marco Maratea; Fulvio Mastrogiovanni; Mauro Vallati (RiCeRcA@AI*IA, 2018)

A General Approach for Configuring PDDL Problem Models. - Mauro Vallati; Ivan Serina (ICAPS, 2018)

Enumerating Preferred Extensions Using ASP Domain Heuristics: The ASPrMin Solver. - Wolfgang Faber 001; Mauro Vallati; Federico Cerutti 001; Massimiliano Giacomin (COMMA, 2018)

An Innovative Heuristic for Planning-Based Urban Traffic Control. - Santiago Franco; Alan Lindsay; Mauro Vallati; Thomas Lee McCluskey (ICCS (1), 2018)

On the Configuration of Robust Static Parallel Portfolios for Efficient Plan Generation. - Mauro Vallati; Lukás Chrpa; Diane E. Kitchin (ICCS (1), 2018)

Determining Representativeness of Training Plans: A Case of Macro-Operators. - Lukás Chrpa; Mauro Vallati (ICTAI, 2018)

A Framework for Event Log Generation and Knowledge Representation for Process Mining in Healthcare. - Roberto Gatta; Mauro Vallati; Jacopo Lenkowicz; Calogero Casà; Francesco Cellini; Andrea Damiani; Vincenzo Valentini (ICTAI, 2018)

A Principled Analysis of the Interrelation between Vehicular Communication and Reasoning Capabilities of Autonomous Vehicles. - Mauro Vallati; Lukás Chrpa (ITSC, 2018)

Automated Training Plan Generation for Athletes. - Tomás Skerík; Lukás Chrpa; Wolfgang Faber 001; Mauro Vallati (SMC, 2018)

Performance robustness of AI planners in the 2014 International Planning Competition. - Andrea F. Bocchese; Chris Fawcett; Mauro Vallati; Alfonso Emilio Gerevini; Holger H. Hoos (AI Commun., 2018)

GraphBAD: A general technique for anomaly detection in security information and event management. - Simon Parkinson; Mauro Vallati; Andrew Crampton; Shirin Sohrabi (Concurr. Comput. Pract. Exp., 2018)

Unveiling the oracle: Artificial intelligence for the 21st century. - Federico Cerutti 001; Alessia Grassi; Mauro Vallati (Intell. Decis. Technol., 2018)

On the impact of configuration on abstract argumentation automated reasoning. - Federico Cerutti 001; Mauro Vallati; Massimiliano Giacomin (Int. J. Approx. Reason., 2018)

Outer entanglements: a general heuristic technique for improving the efficiency of planning algorithms. - Lukás Chrpa; Mauro Vallati; Thomas Leo McCluskey (J. Exp. Theor. Artif. Intell., 2018)

What you always wanted to know about the deterministic part of the International Planning Competition (IPC) 2014 (but were too afraid to ask). - Mauro Vallati; Lukás Chrpa; Thomas Leo McCluskey (Knowl. Eng. Rev., 2018)

On the manipulation of articulated objects in human-robot cooperation scenarios. - Alessio Capitanelli; Marco Maratea; Fulvio Mastrogiovanni; Mauro Vallati (Robotics Auton. Syst., 2018)

Improving Domain-Independent Planning via Critical Section Macro-Operators. - Lukás Chrpa; Mauro Vallati (AAAI, 2019)

Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity. - Riccardo Bertolucci; Alessio Capitanelli; Marco Maratea; Fulvio Mastrogiovanni; Mauro Vallati (AI*IA, 2019)

On the Configuration of SAT Formulae. - Mauro Vallati; Marco Maratea (AI*IA, 2019)

Clinical Guidelines: A Crossroad of Many Research Areas. Challenges and Opportunities in Process Mining for Healthcare. - Roberto Gatta; Mauro Vallati; Carlos Fernández-Llatas; Antonio Martinez-Millana; Stefania Orini; Lucia Sacchi; Jacopo Lenkowicz; Mar Marcos; Jorge Munoz-Gama; Michel A. Cuendet; Berardino De Bari; Luis Marco-Ruiz; et al. (Business Process Management Workshops, 2019)

Improving Planning Performance in PDDL+ Domains via Automated Predicate Reformulation. - Santiago Franco; Mauro Vallati; Alan Lindsay; Thomas Lee McCluskey (ICCS (5), 2019)

On the Feasibility of Distributed Process Mining in Healthcare. - Roberto Gatta; Mauro Vallati; Jacopo Lenkowicz; Carlotta Masciocchi; Francesco Cellini; Luca Boldrini; Carlos Fernández-Llatas; Vincenzo Valentini; Andrea Damiani (ICCS (5), 2019)

How to Plan Roadworks in Urban Regions? A Principled Approach Based on AI Planning. - Mauro Vallati; Lukás Chrpa; Diane E. Kitchin (ICCS (5), 2019)

On the Robustness of Domain-Independent Planning Engines: The Impact of Poorly-Engineered Knowledge. - Mauro Vallati; Lukás Chrpa (K-CAP, 2019)

An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots. - Riccardo Bertolucci; Alessio Capitanelli; Carmine Dodaro; Nicola Leone; Marco Maratea; Fulvio Mastrogiovanni; Mauro Vallati (LPNMR, 2019)

Exploiting automated planning for efficient centralized vehicle routing and mitigating congestion in urban road networks. - Lukás Chrpa; Mauro Vallati; Simon Parkinson (SAC, 2019)

A General Approach to Exploit Model Predictive Control for Guiding Automated Planning Search in Hybrid Domains. - Faizan Bhatti; Diane E. Kitchin; Mauro Vallati (SGAI Conf., 2019)

How we designed winning algorithms for abstract argumentation and which insight we attained. - Federico Cerutti 001; Massimiliano Giacomin; Mauro Vallati (Artif. Intell., 2019)

Towards a modular decision support system for radiomics: A case study on rectal cancer. - Roberto Gatta; Mauro Vallati; Nicola Dinapoli; Carlotta Masciocchi; Jacopo Lenkowicz; Davide Cusumano; Calogero Casà; Alessandra Farchione; Andrea Damiani; Johan van Soest; Andre Dekker; Vincenzo Valentini (Artif. Intell. Medicine, 2019)

On the predictability of domain-independent temporal planners. - Isabel Cenamor; Mauro Vallati; Lukás Chrpa (Comput. Intell., 2019)

Inner entanglements: Narrowing the search in classical planning by problem reformulation. - Lukás Chrpa; Mauro Vallati; Thomas Leo McCluskey (Comput. Intell., 2019)

Predictive models and abstract argumentation: the case of high-complexity semantics. - Mauro Vallati; Federico Cerutti 001; Massimiliano Giacomin (Knowl. Eng. Rev., 2019)

An Efficient Algorithm for Semi-stable Extensions. - Federico Cerutti 001; Massimiliano Giacomin; Mauro Vallati; Tobia Zanetti (AI*IA, 2020)

In Defence of Design Patterns for AI Planning Knowledge Models (short paper). - Mauro Vallati; Thomas Leo McCluskey (IPS-RCRA@AI*IA, 2020)

In Defence of Design Patterns for AI Planning Knowledge Models. - Mauro Vallati; Thomas Leo McCluskey (AI*IA, 2020)

An Efficient Algorithm for Admissible Argumentation Stages. - Tobia Zanetti; Massimiliano Giacomin; Mauro Vallati; Federico Cerutti 001 (AI³@AI*IA, 2020)

Generating and Exploiting Cost Predictions in Heuristic State-Space Planning. - Francesco Percassi; Alfonso Emilio Gerevini; Enrico Scala; Ivan Serina; Mauro Vallati (ICAPS, 2020)

Reducing Traffic Congestion in Urban Areas via Real-Time Re-Routing: A Simulation Study. - Mauro Vallati; Lukás Chrpa (Australasian Conference on Artificial Intelligence, 2020)

A Mixed-Integer Programming Approach for Scheduling Roadworks in Urban Regions. - Mauro Vallati; Lukás Chrpa (Australasian Conference on Artificial Intelligence, 2020)

On Computing the Set of Acceptable Arguments in Abstract Argumentation. - Matthias Thimm; Federico Cerutti 001; Mauro Vallati (COMMA, 2020)

An Empirical Analysis of Predictors for Workload Estimation in Healthcare. - Roberto Gatta; Mauro Vallati; Ilenia Pirola; Jacopo Lenkowicz; Luca Tagliaferri; Carlo Cappelli; Maurizio Castellano (ICCS (1), 2020)

Centralised Versus Decentralised Traffic Optimisation of Urban Road Networks: A Simulation Study. - Mauro Vallati (ICITE, 2020)

Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity. - Riccardo Bertolucci; Alessio Capitanelli; Marco Maratea; Fulvio Mastrogiovanni; Mauro Vallati (ICTAI, 2020)

Exploiting Classical Planning Grounding in Hybrid PDDL+ Planning Engines. - Enrico Scala; Mauro Vallati (ICTAI, 2020)

Configurable Heuristic Adaptation for Improving Best First Search in AI Planning. - Ivan Serina; Mauro Vallati (ICTAI, 2020)

An experimental analysis on the similarity of argumentation semantics. - Federico Cerutti 001; Matthias Thimm; Mauro Vallati (Argument Comput., 2020)

Organising a Successful AI Online Conference: Lessons from SoCS 2020. - Daniel Harabor; Mauro Vallati (CoRR, 2020)

Maximising goals achievement through abstract argumentation frameworks: An optimal approach. - Andrea Cohen; Sebastian Gottifredi; Mauro Vallati; Alejandro Javier García; Grigoris Antoniou (Expert Syst. Appl., 2020)

Preface. - Thomas Eiter; Marco Maratea; Mauro Vallati (Fundam. Informaticae, 2020)

MEvo: a framework for effective macro sets evolution. - Mauro Vallati; Lukás Chrpa; Ivan Serina (J. Exp. Theor. Artif. Intell., 2020)

A Sound (But Incomplete) Polynomial Translation from Discretised PDDL+ to Numeric Planning. - Francesco Percassi; Enrico Scala; Mauro Vallati (AI*IA, 2021)

In-Station Train Dispatching: A PDDL+ Planning Approach. - Matteo Cardellini; Marco Maratea; Mauro Vallati; Gianluca Boleto; Luca Oneto (ICAPS, 2021)

Translations from Discretised PDDL+ to Numeric Planning. - Francesco Percassi; Enrico Scala; Mauro Vallati (ICAPS, 2021)

In-Station Train Movements Prediction: from Shallow to Deep Multi Scale Models. - Gianluca Boleto; Luca Oneto; Matteo Cardellini; Marco Maratea; Mauro Vallati; Renzo Canepa; Davide Anguita (ESANN, 2021)

A Quality Framework for Automated Planning Knowledge Models. - Mauro Vallati; Thomas Leo McCluskey (ICAART (2), 2021)

An Efficient Hybrid Planning Framework for In-Station Train Dispatching. - Matteo Cardellini; Marco Maratea; Mauro Vallati; Gianluca Boleto; Luca Oneto (ICCS (1), 2021)

Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions. - Matthias Thimm; Federico Cerutti 001; Mauro Vallati (IJCAI, 2021)

A Hybrid Automated Planning Approach for Urban Real-time Routing of Connected Vehicles. - Mauro Vallati; Enrico Scala; Lukás Chrpa (ITSC, 2021)

Effective Real-Time Urban Traffic Routing: An Automated Planning Approach. - Mauro Vallati; Lukás Chrpa (MT-ITS, 2021)

A Planning-based Approach for In-Station Train Dispatching. - Matteo Cardellini; Marco Maratea; Mauro Vallati; Gianluca Boleto; Luca Oneto (SOCS, 2021)

Organizing a Successful Artificial Intelligence Online Conference: Lessons from the 13th Symposium on Combinatorial Search. - Daniel Harabor; Mauro Vallati (AI Mag., 2021)

Fudge: A light-weight solver for abstract argumentation based on SAT reductions. - Matthias Thimm; Federico Cerutti 001; Mauro Vallati (CoRR, 2021)

An Exploratory Study on the Use of Artificial Intelligence to Initiate Legal Understanding for Business Development. - Alessia Grassi; Mauro Vallati (FLAP, 2021)

On the Importance of Domain Model Configuration for Automated Planning Engines. - Mauro Vallati; Lukás Chrpa; Thomas Leo McCluskey; Frank Hutter (J. Autom. Reason., 2021)

Effective grounding for hybrid planning problems represented in PDDL+. - Enrico Scala; Mauro Vallati (Knowl. Eng. Rev., 2021)

Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming. - Riccardo Bertolucci; Alessio Capitanelli; Carmine Dodaro; Nicola Leone; Marco Maratea; Fulvio Mastrogiovanni; Mauro Vallati (Theory Pract. Log. Program., 2021)

Verification of Numeric Planning Problems Through Domain Dynamic Consistency. - Enrico Scala; Thomas L. McCluskey; Mauro Vallati (AI*IA, 2022)

The Power of Reformulation: From Validation to Planning in PDDL+. - Francesco Percassi; Enrico Scala; Mauro Vallati (ICAPS, 2022)

Knowledge Reformulation and Deception as a Defense Against Automated Cyber Adversaries. - Ron Alford; Lukás Chrpa; Mauro Vallati; Andy Applebaum (FLAIRS, 2022)

On-the-Fly Knowledge Acquisition for Automated Planning Applications: Challenges and Lessons Learnt. - Saumya Bhatnagar; Sumit Mund; Enrico Scala; Keith McCabe; Thomas Leo McCluskey; Mauro Vallati (ICAART (2), 2022)

Leveraging Artificial Intelligence for Simulating Traffic Signal Strategies. - Saumya Bhatnagar; Rongge Guo; Keith McCabe; Thomas L. McCluskey; Enrico Scala; Mauro Vallati (ITSC, 2022)

A Two-Phase Optimization Model for Autonomous Electric Customized Bus Service Design. - Rongge Guo; Wei Guan; Saumya Bhatnagar; Mauro Vallati (ITSC, 2022)

Urban Traffic Control via Planning with Global State Constraints (Extended Abstract). - Franc Ivankovic; Mauro Vallati; Lukás Chrpa; Marco Roveri (SOCS, 2022)

On the Reformulation of Discretised PDDL+ to Numeric Planning (Extended Abstract). - Francesco Percassi; Enrico Scala; Mauro Vallati (SOCS, 2022)

Planning with Critical Section Macros: Theory and Practice. - Lukás Chrpa; Mauro Vallati (J. Artif. Intell. Res., 2022)

Leveraging process mining for modeling progression trajectories in amyotrophic lateral sclerosis. - Erica Tavazzi; Roberto Gatta; Mauro Vallati; Stefano Cotti Piccinelli; Massimiliano Filosto; Alessandro Padovani; Maurizio Castellano; Barbara Di Camillo (BMC Medical Informatics Decis. Mak., 2022)

A Structure-Sensitive Translation from Hybrid to Numeric Planning. - Francesco Percassi; Enrico Scala; Mauro Vallati (AI*IA, 2023)

Fixing Plans for PDDL+ Problems: Theoretical and Practical Implications. - Francesco Percassi; Enrico Scala; Mauro Vallati (ICAPS, 2023)

On the Comparison of Markov Chains-based Models in Process Mining for Healthcare: A Case Study. - Mauro Vallati; Stefania Orini; Mariagrazia Lorusso; Mariachiara Savino; Roberto Gatta; Massimiliano Filosto (FLAIRS, 2023)

The Power of Good Old-Fashioned AI for Urban Traffic Control. - Mauro Vallati (ICTERI, 2023)

Automated Planning for Generating and Simulating Traffic Signal Strategies. - Saumya Bhatnagar; Rongge Guo; Keith McCabe; Thomas L. McCluskey; Francesco Percassi; Mauro Vallati (IJCAI, 2023)

A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence. - Matteo Cardellini; Carmine Dodaro; Marco Maratea; Mauro Vallati (ITSC, 2023)

Real-time Routing and Scheduling of On-demand Autonomous Customized Bus Systems. - Rongge Guo; Xiaoyu Liu; Saumya Bhatnagar; Mauro Vallati (ITSC, 2023)

One Bus is All it Takes: The Impact of Cyber Attacks in Customised Bus Services. - Rongge Guo; Alexandros Nikitas; Simon Parkinson; Mauro Vallati (ITSC, 2023)

In Defence of Good Old-Fashioned Artificial Intelligence Approaches in Intelligent Transportation Systems. - Mauro Vallati; Lukás Chrpa (ITSC, 2023)

Centralised Vehicle Routing for Optimising Urban Traffic: A Scalability Perspective. - Lukás Chrpa; Mauro Vallati (IV, 2023)

Comparing Planning Domain Models Using Answer Set Programming. - Lukás Chrpa; Carmine Dodaro; Marco Maratea; Marco Mochi; Mauro Vallati (JELIA, 2023)

An Efficient Heuristic for AI-based Urban Traffic Control. - Francesco Percassi; Saumya Bhatnagar; Rongge Guo; Keith McCabe; Thomas Leo McCluskey; Mauro Vallati (MT-ITS, 2023)

Improving the Scalability of Automated Planning-based Vehicle Routing via Smart Routes Identification. - Matyás Svadlenka; Lukás Chrpa; Mauro Vallati (MT-ITS, 2023)

On the Notion of Fixability of PDDL+ Plans [Extended Abstract]. - Francesco Percassi; Enrico Scala; Mauro Vallati (SOCS, 2023)

Competitions in AI - Robustly Ranking Solvers Using Statistical Resampling. - Chris Fawcett; Mauro Vallati; Holger H. Hoos; Alfonso Emilio Gerevini (CoRR, 2023)

A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning. - Francesco Percassi; Enrico Scala; Mauro Vallati (J. Artif. Intell. Res., 2023)

Reformulation techniques for automated planning: a systematic review. - Diaeddin Alarnaouti; George Baryannis; Mauro Vallati (Knowl. Eng. Rev., 2023)

On the Configuration of More and Less Expressive Logic Programs. - Carmine Dodaro; Marco Maratea; Mauro Vallati (Theory Pract. Log. Program., 2023)

Improving Domain-Independent Heuristic State-Space Planning via plan cost predictions. - Francesco Percassi; Alfonso Emilio Gerevini; Enrico Scala; Ivan Serina; Mauro Vallati (J. Exp. Theor. Artif. Intell., 2023)

Modular Autonomous Electric Vehicle Scheduling for Customized On-Demand Bus Services. - Rongge Guo; Wei Guan; Mauro Vallati; Wenyi Zhang (IEEE Trans. Intell. Transp. Syst., 2023)

The Road Ahead: DAO-Secured V2X Infrastructures for Safe and Smart Vehicular Management. - Xingyuan Dai; Mauro Vallati; Rongge Guo; Yutong Wang 001; Shuangshuang Han; Yilun Lin 002 (IEEE Trans. Intell. Veh., 2023)

An Extensive Empirical Analysis of Macro-actions for Numeric Planning. - Diaeddin Alarnaouti; Francesco Percassi; Mauro Vallati (AI*IA, 2024)

The Impact of PDDL+ Language Features on Planning Performance: An Empirical Analysis on a Real-world Case Study. - Anas El Kouaiti; Francesco Percassi; Alessandro Saetti; Mauro Vallati (FLAIRS, 2024)

Taming Discretised PDDL+ through Multiple Discretisations. - Matteo Cardellini; Marco Maratea; Francesco Percassi; Enrico Scala; Mauro Vallati (ICAPS, 2024)

PDDL+ Models for Deployable yet Effective Traffic Signal Optimisation. - Anas El Kouaiti; Francesco Percassi; Alessandro Saetti; Thomas Leo McCluskey; Mauro Vallati (ICAPS, 2024)

GEN-RWD Sandbox Ecosystem for Privacy-Preserving Data Sharing in Healthcare Research: The Processor Module. - Benedetta Gottardelli; Roberto Gatta; Leonardo Nucciarelli; Mariachiara Savino; Andrada Mihaela Tudor; Mauro Vallati; Andrea Damiani (ICHI, 2024)

Optimising Traffic Flow Through Synchronised Signal Configurations Along Urban Corridors. - Rongge Guo; Francesco Percassi; Mauro Vallati (ITSC, 2024)

Leveraging AI Planning in a What-If Analysis Framework for Assessing Traffic Signal Strategies. - Francesco Percassi; Mauro Vallati (ITSC, 2024)

A Novel Methodology for AI-based Sorting of Post-Consumer Textile Using Spectrophotometer (short paper). - Megan Robinson; Saikat Ghosh; Parikshit Goswami; Mauro Vallati (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Taming Discretised PDDL+ through Multiple Discretisations (Extended Abstract). - Matteo Cardellini; Marco Maratea; Francesco Percassi; Enrico Scala; Mauro Vallati (SOCS, 2024)

Deployable Yet Effective Traffic Signal Optimisation via Automated Planning (Extended Abstract). - Anas El Kouaiti; Francesco Percassi; Alessandro Saetti; Thomas Leo McCluskey; Mauro Vallati (SOCS, 2024)

Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming. - Matteo Cardellini; Carmine Dodaro; Marco Maratea; Mauro Vallati (Theory Pract. Log. Program., 2024)

Sustainability Opportunities and Ethical Challenges of AI-Enabled Connected Autonomous Vehicles Routing in Urban Areas. - Rongge Guo; Mauro Vallati; Yutong Wang 001; Hui Zhang 019; Yuanyuan Chen; Fei-Yue Wang 001 (IEEE Trans. Intell. Veh., 2024)

GEN-RWD Sandbox: bridging the gap between hospital data privacy and external research insights with distributed analytics. - Benedetta Gottardelli; Roberto Gatta; Leonardo Nucciarelli; Andrada Mihaela Tudor; Erica Tavazzi; Mauro Vallati; Stefania Orini; Nicoletta Di Giorgi; Andrea Damiani (BMC Medical Informatics Decis. Mak., 2024)

Towards Distributed Process Discovery in Healthcare: Testing and Proving the Feasibility of the Federated Alpha+ Algorithm. - Leonardo Nucciarelli; Roberto Gatta; Andrada Mihaela Tudor; Erica Tavazzi; Giovanni Arcuri; Mauro Vallati; Gema Ibáñez-Sánchez; Zoe Valero-Ramon; Carlos Fernández-Llatas; Andrea Damiani (AIME (2), 2025)

Constraint-Based In-Station Train Dispatching. - Andreas Schutt; Matteo Cardellini; Jip J. Dekker; Daniel Harabor; Marco Maratea; Mauro Vallati (CP, 2025)

Automated Planning for Urban Traffic Control with LLM-Generated Configurations. - Francesco Percassi; Mauro Vallati (FLAIRS, 2025)

Privacy-by-design GEN-RWD Sandbox for Distributed Multicentric Data Analysis in Healthcare: The Proxy Module. - Leonardo Nucciarelli; Benedetta Gottardelli; Andrada Mihaela Tudor; Mauro Vallati; Erica Tavazzi; Stefania Orini; Roberto Gatta; Giovanni Arcuri; Andrea Damiani (ICHI, 2025)

Algorithms for computing the set of acceptable arguments. - Lars Bengel; Matthias Thimm; Federico Cerutti 001; Mauro Vallati (Int. J. Approx. Reason., 2025)

A CASP-based Solution for Traffic Signal Optimisation. - Alice Tarzariol; Marco Maratea; Mauro Vallati (CoRR, 2025)