Mauro Vallati

241 papers A* 31A 4B 28C 12Misc 10Journal 65Unranked 74
YearRankTypeTitle / Venue / Authors
2026 — conf
A Data-Driven Approach for Fibres Recognition via Spectrophotometry.
ICAART (3)
Megan Robinson, Saikat Ghosh, Chenyu Du, Parikshit Goswami, Mauro Vallati
2026 A* conf
A Domain-specific Heuristic for PDDL+-based Traffic Signal Optimisation.
AAAI
Francesco Doria, Francesco Percassi, Marco Maratea, Mauro Vallati
2026 J jnl
Cyberattack impacts and mitigation tradeoff in CAV-based fixed-route and demand-responsive transit systems.
Reliab. Eng. Syst. Saf.
Rongge Guo, Mauro Vallati, Simon Parkinson, Jihui Ma
2026 A* conf
PPS: An Efficient Java-based Simulator for Time-Discrete PDDL+.
AAAI
Enrico Scala, Francesco Percassi, Mauro Vallati
2026 — conf
The MACB Problem: Definitions, Variants, and a PDDL+ Approach.
ICAART (2)
Dani G. Papamaximou, Rongge Guo, Francesco Percassi, Mauro Vallati
2026 A* conf
Traffic Signal Plans Explorer: A General Framework for Visualising Traffic Evolution.
AAAI
Francesco Doria, Francesco Percassi, Marco Maratea, Mauro Vallati
2025 J jnl
A CASP-Based Solution for Traffic Signal Optimisation.
Theory Pract. Log. Program.
Alice Tarzariol, Marco Maratea, Mauro Vallati
2025 J jnl
A CASP-based Solution for Traffic Signal Optimisation.
CoRR
Alice Tarzariol, Marco Maratea, Mauro Vallati
2025 A* conf
A Survey on Model Repair in AI Planning.
IJCAI
Pascal Bercher, Sarath Sreedharan, Mauro Vallati
2025 J jnl
A Systematic Literature Review of Simulated Cyber Attacks on Vehicles and Urban Traffic Control.
IEEE Trans. Intell. Transp. Syst.
Christian Wellens-Miles, Rongge Guo, Na Liu, Simon Parkinson, Mauro Vallati
2025 — conf
AI-Enabled Connected Autonomous Vehicles Sustainable Routing in Urban Areas.
ITSC
Salvatore Fiorentino, Carmine Dodaro, Marco Maratea, Mauro Vallati
2025 — conf
ASP and PDDL+ Applications in Urban Traffic Distribution and Control.
ICLP Workshops
Mauro Vallati, Carmine Dodaro, Francesco Doria, Salvatore Fiorentino, Marco Maratea, Francesco Percassi, Alice Tarzariol
2025 J jnl
Algorithms for computing the set of acceptable arguments.
Int. J. Approx. Reason.
Lars Bengel, Matthias Thimm, Federico Cerutti, Mauro Vallati
2025 A* conf
An Approach to Quantify Plans Robustness in Real-world Applications.
IJCAI
Francesco Percassi, Sandra Castellanos-Paez, Romain Rombourg, Mauro Vallati
2025 Misc conf
Automated Planning for Urban Traffic Control with LLM-Generated Configurations.
FLAIRS
Francesco Percassi, Mauro Vallati
2025 A conf
Constraint-Based In-Station Train Dispatching.
CP
Andreas Schutt, Matteo Cardellini, Jip J. Dekker, Daniel Harabor, Marco Maratea, Mauro Vallati
2025 — conf
Decision-Making Under Deception at Intersections: A Bayesian Game Approach.
ITSC
Fatemeh Banaie, Esmaeil Babaei, Simon Parkinson, Mauro Vallati
2025 A ed.
ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy - Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025)
ECAI
Inês Lynce, Nello Murano, Mauro Vallati, Serena Villata, Federico Chesani, Michela Milano, Andrea Omicini, Mehdi Dastani
2025 — conf
Improved Models for Automated Planning-Based Urban Traffic Control.
MT-ITS
Sandra Castellanos-Paez, Francesco Percassi, Mauro Vallati
2025 — ed.
Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), Rende, Italy, September 9-13, 2025.
ICLP Workshops
Damiano Azzolini, Sotirios Batsakis, Manuel Alejandro Borroto Santana, Pierangela Bruno, Laura Andrea Cecchi, Jorge Fandinno, Markus Hecher, Marco Maratea, José F. Morales, Brais Muñiz, Emmanuel Papadakis, Livio Robaldo, Luciano Serafini, Fabrizio Lo Scudo, Ilias Tachmazidis, Alice Tarzariol, Mauro Vallati, Adam Wyner
2025 — conf
Privacy-by-design GEN-RWD Sandbox for Distributed Multicentric Data Analysis in Healthcare: The Proxy Module.
ICHI
Leonardo Nucciarelli, Benedetta Gottardelli, Andrada Mihaela Tudor, Mauro Vallati, Erica Tavazzi, Stefania Orini, Roberto Gatta, Giovanni Arcuri, Andrea Damiani
2025 — conf
Shall I Merge That Data? Assessing Consistency of Traffic Data Collected from Multiple Sources.
MT-ITS
Saumya Bhatnagar, Mauro Vallati
2025 — conf
Towards Distributed Process Discovery in Healthcare: Testing and Proving the Feasibility of the Federated Alpha+ Algorithm.
AIME (2)
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
2024 — conf
A Novel Methodology for AI-based Sorting of Post-Consumer Textile Using Spectrophotometer (short paper).
AI4CC-IPS-RCRA-SPIRIT@AI*IA
Megan Robinson, Saikat Ghosh, Parikshit Goswami, Mauro Vallati
2024 — conf
An Extensive Empirical Analysis of Macro-actions for Numeric Planning.
AI*IA
Diaeddin Alarnaouti, Francesco Percassi, Mauro Vallati
2024 — ed.
Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I
ECAI Workshops (1)
Slawomir Nowaczyk, Przemyslaw Biecek, Neo Christopher Chung, Mauro Vallati, Pawel Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomás Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova
2024 — ed.
Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II
ECAI Workshops (2)
Slawomir Nowaczyk, Przemyslaw Biecek, Neo Christopher Chung, Mauro Vallati, Pawel Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomás Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova
2024 B conf
Deployable Yet Effective Traffic Signal Optimisation via Automated Planning (Extended Abstract).
SOCS
Anas El Kouaiti, Francesco Percassi, Alessandro Saetti, Thomas Leo McCluskey, Mauro Vallati
2024 — conf
GEN-RWD Sandbox Ecosystem for Privacy-Preserving Data Sharing in Healthcare Research: The Processor Module.
ICHI
Benedetta Gottardelli, Roberto Gatta, Leonardo Nucciarelli, Mariachiara Savino, Andrada Mihaela Tudor, Mauro Vallati, Andrea Damiani
2024 J jnl
GEN-RWD Sandbox: bridging the gap between hospital data privacy and external research insights with distributed analytics.
BMC Medical Informatics Decis. Mak.
Benedetta Gottardelli, Roberto Gatta, Leonardo Nucciarelli, Andrada Mihaela Tudor, Erica Tavazzi, Mauro Vallati, Stefania Orini, Nicoletta Di Giorgi, Andrea Damiani
2024 — conf
Leveraging AI Planning in a What-If Analysis Framework for Assessing Traffic Signal Strategies.
ITSC
Francesco Percassi, Mauro Vallati
2024 J jnl
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming.
CoRR
Matteo Cardellini, Carmine Dodaro, Marco Maratea, Mauro Vallati
2024 J jnl
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming.
Theory Pract. Log. Program.
Matteo Cardellini, Carmine Dodaro, Marco Maratea, Mauro Vallati
2024 — conf
Optimising Traffic Flow Through Synchronised Signal Configurations Along Urban Corridors.
ITSC
Rongge Guo, Francesco Percassi, Mauro Vallati
2024 A* conf
PDDL+ Models for Deployable yet Effective Traffic Signal Optimisation.
ICAPS
Anas El Kouaiti, Francesco Percassi, Alessandro Saetti, Thomas Leo McCluskey, Mauro Vallati
2024 — ed.
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.
AI4CC-IPS-RCRA-SPIRIT@AI*IA
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
2024 J jnl
Sustainability Opportunities and Ethical Challenges of AI-Enabled Connected Autonomous Vehicles Routing in Urban Areas.
IEEE Trans. Intell. Veh.
Rongge Guo, Mauro Vallati, Yutong Wang, Hui Zhang, Yuanyuan Chen, Fei-Yue Wang
2024 B conf
Taming Discretised PDDL+ through Multiple Discretisations (Extended Abstract).
SOCS
Matteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati
2024 A* conf
Taming Discretised PDDL+ through Multiple Discretisations.
ICAPS
Matteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati
2024 Misc conf
The Impact of PDDL+ Language Features on Planning Performance: An Empirical Analysis on a Real-world Case Study.
FLAIRS
Anas El Kouaiti, Francesco Percassi, Alessandro Saetti, Mauro Vallati
2023 — conf
A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence.
ITSC
Matteo Cardellini, Carmine Dodaro, Marco Maratea, Mauro Vallati
2023 J jnl
A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning.
J. Artif. Intell. Res.
Francesco Percassi, Enrico Scala, Mauro Vallati
2023 — conf
A Structure-Sensitive Translation from Hybrid to Numeric Planning.
AI*IA
Francesco Percassi, Enrico Scala, Mauro Vallati
2023 — conf
An Efficient Heuristic for AI-based Urban Traffic Control.
MT-ITS
Francesco Percassi, Saumya Bhatnagar, Rongge Guo, Keith McCabe, Thomas Leo McCluskey, Mauro Vallati
2023 A* conf
Automated Planning for Generating and Simulating Traffic Signal Strategies.
IJCAI
Saumya Bhatnagar, Rongge Guo, Keith McCabe, Thomas L. McCluskey, Francesco Percassi, Mauro Vallati
2023 C conf
Centralised Vehicle Routing for Optimising Urban Traffic: A Scalability Perspective.
IV
Lukás Chrpa, Mauro Vallati
2023 B conf
Comparing Planning Domain Models Using Answer Set Programming.
JELIA
Lukás Chrpa, Carmine Dodaro, Marco Maratea, Marco Mochi, Mauro Vallati
2023 J jnl
Competitions in AI - Robustly Ranking Solvers Using Statistical Resampling.
CoRR
Chris Fawcett, Mauro Vallati, Holger H. Hoos, Alfonso Emilio Gerevini
2023 A* conf
Fixing Plans for PDDL+ Problems: Theoretical and Practical Implications.
ICAPS
Francesco Percassi, Enrico Scala, Mauro Vallati
2023 J jnl
Improving Domain-Independent Heuristic State-Space Planning via plan cost predictions.
J. Exp. Theor. Artif. Intell.
Francesco Percassi, Alfonso Emilio Gerevini, Enrico Scala, Ivan Serina, Mauro Vallati
2023 — conf
Improving the Scalability of Automated Planning-based Vehicle Routing via Smart Routes Identification.
MT-ITS
Matyás Svadlenka, Lukás Chrpa, Mauro Vallati
2023 — conf
In Defence of Good Old-Fashioned Artificial Intelligence Approaches in Intelligent Transportation Systems.
ITSC
Mauro Vallati, Lukás Chrpa
2023 J jnl
Modular Autonomous Electric Vehicle Scheduling for Customized On-Demand Bus Services.
IEEE Trans. Intell. Transp. Syst.
Rongge Guo, Wei Guan, Mauro Vallati, Wenyi Zhang
2023 Misc conf
On the Comparison of Markov Chains-based Models in Process Mining for Healthcare: A Case Study.
FLAIRS
Mauro Vallati, Stefania Orini, Mariagrazia Lorusso, Mariachiara Savino, Roberto Gatta, Massimiliano Filosto
2023 J jnl
On the Configuration of More and Less Expressive Logic Programs.
Theory Pract. Log. Program.
Carmine Dodaro, Marco Maratea, Mauro Vallati
2023 B conf
On the Notion of Fixability of PDDL+ Plans [Extended Abstract].
SOCS
Francesco Percassi, Enrico Scala, Mauro Vallati
2023 — conf
One Bus is All it Takes: The Impact of Cyber Attacks in Customised Bus Services.
ITSC
Rongge Guo, Alexandros Nikitas, Simon Parkinson, Mauro Vallati
2023 — ed.
Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy.
IPS/RiCeRcA/SPIRIT@AI*IA
Riccardo De Benedictis, Nicola Gatti, Marco Maratea, Andrea Micheli, Aniello Murano, Enrico Scala, Luciano Serafini, Ivan Serina, Alessandro Umbrico, Mauro Vallati
2023 A* ed.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, Prague, Czech Republic, July 8-13, 2023
ICAPS
Sven Koenig, Roni Stern, Mauro Vallati
2023 — ed.
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.
IPS-RCRA-SPIRIT@AI*IA
Riccardo De Benedictis, Matteo Castiglioni, Diodato Ferraioli, Vadim Malvone, Marco Maratea, Enrico Scala, Luciano Serafini, Ivan Serina, Elisa Tosello, Alessandro Umbrico, Mauro Vallati
2023 — conf
Real-time Routing and Scheduling of On-demand Autonomous Customized Bus Systems.
ITSC
Rongge Guo, Xiaoyu Liu, Saumya Bhatnagar, Mauro Vallati
2023 J jnl
Reformulation Techniques for Automated Planning: A Systematic Review.
CoRR
Diaeddin Alarnaouti, George Baryannis, Mauro Vallati
2023 J jnl
Reformulation techniques for automated planning: a systematic review.
Knowl. Eng. Rev.
Diaeddin Alarnaouti, George Baryannis, Mauro Vallati
2023 Misc conf
The Power of Good Old-Fashioned AI for Urban Traffic Control.
ICTERI
Mauro Vallati
2023 J jnl
The Road Ahead: DAO-Secured V2X Infrastructures for Safe and Smart Vehicular Management.
IEEE Trans. Intell. Veh.
Xingyuan Dai, Mauro Vallati, Rongge Guo, Yutong Wang, Shuangshuang Han, Yilun Lin
2022 — conf
A Two-Phase Optimization Model for Autonomous Electric Customized Bus Service Design.
ITSC
Rongge Guo, Wei Guan, Saumya Bhatnagar, Mauro Vallati
2022 — ed.
Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022.
HYDRA/RCRA@LPNMR
Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Marco Maratea, Giorgio Terracina, Mauro Vallati
2022 Misc conf
Knowledge Reformulation and Deception as a Defense Against Automated Cyber Adversaries.
FLAIRS
Ron Alford, Lukás Chrpa, Mauro Vallati, Andy Applebaum
2022 — conf
Leveraging Artificial Intelligence for Simulating Traffic Signal Strategies.
ITSC
Saumya Bhatnagar, Rongge Guo, Keith McCabe, Thomas L. McCluskey, Enrico Scala, Mauro Vallati
2022 J jnl
Leveraging process mining for modeling progression trajectories in amyotrophic lateral sclerosis.
BMC Medical Informatics Decis. Mak.
Erica Tavazzi, Roberto Gatta, Mauro Vallati, Stefano Cotti Piccinelli, Massimiliano Filosto, Alessandro Padovani, Maurizio Castellano, Barbara Di Camillo
2022 J jnl
On the Configuration of More and Less Expressive Logic Programs.
CoRR
Carmine Dodaro, Marco Maratea, Mauro Vallati
2022 B conf
On the Reformulation of Discretised PDDL+ to Numeric Planning (Extended Abstract).
SOCS
Francesco Percassi, Enrico Scala, Mauro Vallati
2022 — conf
On-the-Fly Knowledge Acquisition for Automated Planning Applications: Challenges and Lessons Learnt.
ICAART (2)
Saumya Bhatnagar, Sumit Mund, Enrico Scala, Keith McCabe, Thomas Leo McCluskey, Mauro Vallati
2022 J jnl
Planning with Critical Section Macros: Theory and Practice.
J. Artif. Intell. Res.
Lukás Chrpa, Mauro Vallati
2022 — ed.
Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy (virtual), November 29th-30th, 2021.
IPS-RCRA@AI*IA
Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Mauro Vallati, Alessandro Umbrico
2022 A* conf
The Power of Reformulation: From Validation to Planning in PDDL+.
ICAPS
Francesco Percassi, Enrico Scala, Mauro Vallati
2022 B conf
Urban Traffic Control via Planning with Global State Constraints (Extended Abstract).
SOCS
Franc Ivankovic, Mauro Vallati, Lukás Chrpa, Marco Roveri
2022 — conf
Verification of Numeric Planning Problems Through Domain Dynamic Consistency.
AI*IA
Enrico Scala, Thomas L. McCluskey, Mauro Vallati
2021 — conf
A Hybrid Automated Planning Approach for Urban Real-time Routing of Connected Vehicles.
ITSC
Mauro Vallati, Enrico Scala, Lukás Chrpa
2021 B conf
A Planning-based Approach for In-Station Train Dispatching.
SOCS
Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto, Luca Oneto
2021 — conf
A Quality Framework for Automated Planning Knowledge Models.
ICAART (2)
Mauro Vallati, Thomas Leo McCluskey
2021 — conf
A Sound (But Incomplete) Polynomial Translation from Discretised PDDL+ to Numeric Planning.
AI*IA
Francesco Percassi, Enrico Scala, Mauro Vallati
2021 — conf
An Efficient Hybrid Planning Framework for In-Station Train Dispatching.
ICCS (1)
Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto, Luca Oneto
2021 J jnl
An Exploratory Study on the Use of Artificial Intelligence to Initiate Legal Understanding for Business Development.
FLAP
Alessia Grassi, Mauro Vallati
2021 — conf
Effective Real-Time Urban Traffic Routing: An Automated Planning Approach.
MT-ITS
Mauro Vallati, Lukás Chrpa
2021 J jnl
Effective grounding for hybrid planning problems represented in PDDL+.
Knowl. Eng. Rev.
Enrico Scala, Mauro Vallati
2021 J jnl
Fudge: A light-weight solver for abstract argumentation based on SAT reductions.
CoRR
Matthias Thimm, Federico Cerutti, Mauro Vallati
2021 A* conf
In-Station Train Dispatching: A PDDL+ Planning Approach.
ICAPS
Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto, Luca Oneto
2021 B conf
In-Station Train Movements Prediction: from Shallow to Deep Multi Scale Models.
ESANN
Gianluca Boleto, Luca Oneto, Matteo Cardellini, Marco Maratea, Mauro Vallati, Renzo Canepa, Davide Anguita
2021 J jnl
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming.
Theory Pract. Log. Program.
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2021 J jnl
On the Importance of Domain Model Configuration for Automated Planning Engines.
J. Autom. Reason.
Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey, Frank Hutter
2021 J jnl
Organizing a Successful Artificial Intelligence Online Conference: Lessons from the 13th Symposium on Combinatorial Search.
AI Mag.
Daniel Harabor, Mauro Vallati
2021 A* conf
Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions.
IJCAI
Matthias Thimm, Federico Cerutti, Mauro Vallati
2021 A* conf
Translations from Discretised PDDL+ to Numeric Planning.
ICAPS
Francesco Percassi, Enrico Scala, Mauro Vallati
2020 — conf
A Mixed-Integer Programming Approach for Scheduling Roadworks in Urban Regions.
Australasian Conference on Artificial Intelligence
Mauro Vallati, Lukás Chrpa
2020 — conf
An Efficient Algorithm for Admissible Argumentation Stages.
AI³@AI*IA
Tobia Zanetti, Massimiliano Giacomin, Mauro Vallati, Federico Cerutti
2020 — conf
An Efficient Algorithm for Semi-stable Extensions.
AI*IA
Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, Tobia Zanetti
2020 — conf
An Empirical Analysis of Predictors for Workload Estimation in Healthcare.
ICCS (1)
Roberto Gatta, Mauro Vallati, Ilenia Pirola, Jacopo Lenkowicz, Luca Tagliaferri, Carlo Cappelli, Maurizio Castellano
2020 J jnl
An experimental analysis on the similarity of argumentation semantics.
Argument Comput.
Federico Cerutti, Matthias Thimm, Mauro Vallati
2020 — conf
Centralised Versus Decentralised Traffic Optimisation of Urban Road Networks: A Simulation Study.
ICITE
Mauro Vallati
2020 B conf
Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity.
ICTAI
Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2020 J jnl
Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity.
CoRR
Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2020 B conf
Configurable Heuristic Adaptation for Improving Best First Search in AI Planning.
ICTAI
Ivan Serina, Mauro Vallati
2020 B conf
Exploiting Classical Planning Grounding in Hybrid PDDL+ Planning Engines.
ICTAI
Enrico Scala, Mauro Vallati
2020 A* conf
Generating and Exploiting Cost Predictions in Heuristic State-Space Planning.
ICAPS
Francesco Percassi, Alfonso Emilio Gerevini, Enrico Scala, Ivan Serina, Mauro Vallati
2020 — conf
In Defence of Design Patterns for AI Planning Knowledge Models (short paper).
IPS-RCRA@AI*IA
Mauro Vallati, Thomas Leo McCluskey
2020 — conf
In Defence of Design Patterns for AI Planning Knowledge Models.
AI*IA
Mauro Vallati, Thomas Leo McCluskey
2020 — ed.
Joint Proceedings of the 8th Italian Workshop on Planning and Scheduling and the 27th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with AIxIA 2020, Online Event, November 25-27, 2020.
IPS-RCRA@AI*IA
Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Alessandro Umbrico, Mauro Vallati
2020 — ed.
Joint Proceedings of the RCRA International Workshop and of the RCRA Incontri e Confronti Workshop co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AIIA 2019), Rende, Italy, November 19-20, 2019.
RCRA/RiCeRcA@AIIA
Marco Maratea, Mauro Vallati
2020 — book
Knowledge Engineering Tools and Techniques for AI Planning
Mauro Vallati, Diane E. Kitchin
2020 J jnl
MEvo: a framework for effective macro sets evolution.
J. Exp. Theor. Artif. Intell.
Mauro Vallati, Lukás Chrpa, Ivan Serina
2020 J jnl
Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming.
CoRR
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2020 J jnl
Maximising goals achievement through abstract argumentation frameworks: An optimal approach.
Expert Syst. Appl.
Andrea Cohen, Sebastian Gottifredi, Mauro Vallati, Alejandro Javier García, Grigoris Antoniou
2020 C conf
On Computing the Set of Acceptable Arguments in Abstract Argumentation.
COMMA
Matthias Thimm, Federico Cerutti, Mauro Vallati
2020 J jnl
On the Importance of Domain Model Configuration for Automated Planning Engines.
CoRR
Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey, Frank Hutter
2020 J jnl
Organising a Successful AI Online Conference: Lessons from SoCS 2020.
CoRR
Daniel Harabor, Mauro Vallati
2020 J jnl
Preface.
Fundam. Informaticae
Thomas Eiter, Marco Maratea, Mauro Vallati
2020 — ed.
Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), September 8, 2020.
SAFA
Sarah Alice Gaggl, Matthias Thimm, Mauro Vallati
2020 B ed.
Proceedings of the Thirteenth International Symposium on Combinatorial Search, SOCS 2020, Online Conference [Vienna, Austria], 26-28 May 2020
SOCS
Daniel Harabor, Mauro Vallati
2020 — conf
Reducing Traffic Congestion in Urban Areas via Real-Time Re-Routing: A Simulation Study.
Australasian Conference on Artificial Intelligence
Mauro Vallati, Lukás Chrpa
2019 — conf
A General Approach to Exploit Model Predictive Control for Guiding Automated Planning Search in Hybrid Domains.
SGAI Conf.
Faizan Bhatti, Diane E. Kitchin, Mauro Vallati
2019 B conf
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots.
LPNMR
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2019 — conf
Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity.
AI*IA
Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2019 — conf
Clinical Guidelines: A Crossroad of Many Research Areas. Challenges and Opportunities in Process Mining for Healthcare.
Business Process Management Workshops
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, Alessandro Stefanini, Maurizio Castellano
2019 Misc conf
Exploiting automated planning for efficient centralized vehicle routing and mitigating congestion in urban road networks.
SAC
Lukás Chrpa, Mauro Vallati, Simon Parkinson
2019 — conf
How to Plan Roadworks in Urban Regions? A Principled Approach Based on AI Planning.
ICCS (5)
Mauro Vallati, Lukás Chrpa, Diane E. Kitchin
2019 J jnl
How we designed winning algorithms for abstract argumentation and which insight we attained.
Artif. Intell.
Federico Cerutti, Massimiliano Giacomin, Mauro Vallati
2019 A* conf
Improving Domain-Independent Planning via Critical Section Macro-Operators.
AAAI
Lukás Chrpa, Mauro Vallati
2019 — conf
Improving Planning Performance in PDDL+ Domains via Automated Predicate Reformulation.
ICCS (5)
Santiago Franco, Mauro Vallati, Alan Lindsay, Thomas Lee McCluskey
2019 J jnl
Inner entanglements: Narrowing the search in classical planning by problem reformulation.
Comput. Intell.
Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey
2019 — conf
On the Configuration of SAT Formulae.
AI*IA
Mauro Vallati, Marco Maratea
2019 — conf
On the Feasibility of Distributed Process Mining in Healthcare.
ICCS (5)
Roberto Gatta, Mauro Vallati, Jacopo Lenkowicz, Carlotta Masciocchi, Francesco Cellini, Luca Boldrini, Carlos Fernández-Llatas, Vincenzo Valentini, Andrea Damiani
2019 B conf
On the Robustness of Domain-Independent Planning Engines: The Impact of Poorly-Engineered Knowledge.
K-CAP
Mauro Vallati, Lukás Chrpa
2019 J jnl
On the predictability of domain-independent temporal planners.
Comput. Intell.
Isabel Cenamor, Mauro Vallati, Lukás Chrpa
2019 J jnl
Predictive models and abstract argumentation: the case of high-complexity semantics.
Knowl. Eng. Rev.
Mauro Vallati, Federico Cerutti, Massimiliano Giacomin
2019 J jnl
Towards a modular decision support system for radiomics: A case study on rectal cancer.
Artif. Intell. Medicine
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
2018 B conf
A Framework for Event Log Generation and Knowledge Representation for Process Mining in Healthcare.
ICTAI
Roberto Gatta, Mauro Vallati, Jacopo Lenkowicz, Calogero Casà, Francesco Cellini, Andrea Damiani, Vincenzo Valentini
2018 A* conf
A General Approach for Configuring PDDL Problem Models.
ICAPS
Mauro Vallati, Ivan Serina
2018 — conf
A Principled Analysis of the Interrelation between Vehicular Communication and Reasoning Capabilities of Autonomous Vehicles.
ITSC
Mauro Vallati, Lukás Chrpa
2018 — conf
An Innovative Heuristic for Planning-Based Urban Traffic Control.
ICCS (1)
Santiago Franco, Alan Lindsay, Mauro Vallati, Thomas Lee McCluskey
2018 B conf
Automated Training Plan Generation for Athletes.
SMC
Tomás Skerík, Lukás Chrpa, Wolfgang Faber, Mauro Vallati
2018 B conf
Determining Representativeness of Training Plans: A Case of Macro-Operators.
ICTAI
Lukás Chrpa, Mauro Vallati
2018 C conf
Enumerating Preferred Extensions Using ASP Domain Heuristics: The ASPrMin Solver.
COMMA
Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin
2018 J jnl
GraphBAD: A general technique for anomaly detection in security information and event management.
Concurr. Comput. Pract. Exp.
Simon Parkinson, Mauro Vallati, Andrew Crampton, Shirin Sohrabi
2018 — conf
KR&R Approaches for Robot Manipulation Tasks with Articulated Objects.
RiCeRcA@AI*IA
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2018 — conf
On the Configuration of Robust Static Parallel Portfolios for Efficient Plan Generation.
ICCS (1)
Mauro Vallati, Lukás Chrpa, Diane E. Kitchin
2018 J jnl
On the impact of configuration on abstract argumentation automated reasoning.
Int. J. Approx. Reason.
Federico Cerutti, Mauro Vallati, Massimiliano Giacomin
2018 J jnl
On the manipulation of articulated objects in human-robot cooperation scenarios.
CoRR
Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2018 J jnl
On the manipulation of articulated objects in human-robot cooperation scenarios.
Robotics Auton. Syst.
Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2018 J jnl
Outer entanglements: a general heuristic technique for improving the efficiency of planning algorithms.
J. Exp. Theor. Artif. Intell.
Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey
2018 J jnl
Performance robustness of AI planners in the 2014 International Planning Competition.
AI Commun.
Andrea F. Bocchese, Chris Fawcett, Mauro Vallati, Alfonso Emilio Gerevini, Holger H. Hoos
2018 — ed.
Proceedings of the RiCeRcA Workshop co-located with the 17th International Conference of the Italian Association for Artificial Intelligence, RiCeRcA@Ai*iA 2018, Trento, Italy, November 22, 2018.
RiCeRcA@Ai*iA
Marco Maratea, Mauro Vallati
2018 — ed.
Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), Warsaw, Poland, September 11, 2018.
SAFA
Matthias Thimm, Federico Cerutti, Mauro Vallati
2018 — ed.
Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom, July 13, 2018.
RCRA@FLoC
Marco Maratea, Mauro Vallati
2018 J jnl
Unveiling the oracle: Artificial intelligence for the 21st century.
Intell. Decis. Technol.
Federico Cerutti, Alessia Grassi, Mauro Vallati
2018 J jnl
What you always wanted to know about the deterministic part of the International Planning Competition (IPC) 2014 (but were too afraid to ask).
Knowl. Eng. Rev.
Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey
2017 — conf
A Hypercat-Enabled Semantic Internet of Things Data Hub.
ESWC (2)
Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, Sandra Stincic Clarke
2017 J jnl
A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report.
CoRR
Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, Sandra Stincic Clarke
2017 J jnl
An Efficient Java-Based Solver for Abstract Argumentation Frameworks: jArgSemSAT.
Int. J. Artif. Intell. Tools
Federico Cerutti, Mauro Vallati, Massimiliano Giacomin
2017 — conf
Automated Planning Techniques for Robot Manipulation Tasks Involving Articulated Objects.
AI*IA
Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2017 A* conf
Automated Planning for Urban Traffic Management.
IJCAI
Thomas Leo McCluskey, Mauro Vallati, Santiago Franco
2017 A* conf
Embedding Automated Planning within Urban Traffic Management Operations.
ICAPS
Thomas Leo McCluskey, Mauro Vallati
2017 B conf
Engineering Knowledge for Automated Planning: Towards a Notion of Quality.
K-CAP
Thomas Leo McCluskey, Tiago Stegun Vaquero, Mauro Vallati
2017 B conf
Generating and Comparing Knowledge Graphs of Medical Processes Using pMineR.
K-CAP
Roberto Gatta, Mauro Vallati, Jacopo Lenkowicz, Eric Rojas, Andrea Damiani, Lucia Sacchi, Berardino De Bari, Arianna Dagliati, Carlos Fernández-Llatas, Matteo Montesi, Antonio Marchetti, Maurizio Castellano, Vincenzo Valentini
2017 B conf
Improving a Planner's Performance through Online Heuristic Configuration of Domain Models.
SOCS
Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey
2017 — conf
On the Combination of Argumentation Solvers into Parallel Portfolios.
Australasian Conference on Artificial Intelligence
Mauro Vallati, Federico Cerutti, Massimiliano Giacomin
2017 — conf
On the Evolution of Planner-Specific Macro Sets.
AI*IA
Mauro Vallati, Lukás Chrpa, Ivan Serina
2017 A* conf
On the Exploitation of Automated Planning for Reducing Machine Tools Energy Consumption between Manufacturing Operations.
ICAPS
Simon Parkinson, Andrew Longstaff, Simon Fletcher, Mauro Vallati, Lukás Chrpa
2017 — ed.
Proceedings of the 34th Workshop of the UK Planning and Scheduling Special Interest Group, PlanSIG 2016, Huddersfield, UK, December 15-16, 2016.
PlanSIG
Lukás Chrpa, Simon Parkinson, Mauro Vallati
2017 — conf
Security auditing in the fog.
ICC
Simon Parkinson, Yongrui Qin, Saad Khan, Mauro Vallati
2017 J jnl
Static and Dynamic Portfolio Methods for Optimal Planning: An Empirical Analysis.
Int. J. Artif. Intell. Tools
Mattia Rizzini, Chris Fawcett, Mauro Vallati, Alfonso Emilio Gerevini, Holger H. Hoos
2017 J jnl
The Fifth International Competition on Knowledge Engineering for Planning and Scheduling: Summary and Trends.
AI Mag.
Lukás Chrpa, Thomas Leo McCluskey, Mauro Vallati, Tiago Vaquero
2017 B conf
pMineR: An Innovative R Library for Performing Process Mining in Medicine.
AIME
Roberto Gatta, Jacopo Lenkowicz, Mauro Vallati, Eric Rojas, Andrea Damiani, Lucia Sacchi, Berardino De Bari, Arianna Dagliati, Carlos Fernández-Llatas, Matteo Montesi, Antonio Marchetti, Maurizio Castellano, Vincenzo Valentini
2016 J jnl
A General Framework for Describing Creative Agents.
CoRR
Valerio Velardo, Mauro Vallati
2016 J jnl
Automated planning for Urban traffic control: Strategic vehicle routing to respect air quality limitations.
Intelligenza Artificiale
Lukás Chrpa, Daniele Magazzeni, Keith McCabe, Thomas Leo McCluskey, Mauro Vallati
2016 — conf
Bridging the Gap between Knowledge Representation and Electronic Health Records.
HEALTHINF
Roberto Gatta, Mauro Vallati, Carlo Cappelli, Berardino De Bari, Massimo Salvetti, Silvio Finardi, Maria Lorenza Muiesan, Vincenzo Valentini, Maurizio Castellano
2016 A* conf
Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach.
AAAI
Mauro Vallati, Daniele Magazzeni, Bart De Schutter, Lukás Chrpa, Thomas Leo McCluskey
2016 C conf
Efficient and Off-The-Shelf Solver: jArgSemSAT.
COMMA
Federico Cerutti, Mauro Vallati, Massimiliano Giacomin
2016 C conf
Generating Structured Argumentation Frameworks: AFBenchGen2.
COMMA
Federico Cerutti, Massimiliano Giacomin, Mauro Vallati
2016 — conf
Have a Little Patience: Let Planners Play Cards.
PlanSIG
Rabia Jilani, Andrew Crampton, Diane E. Kitchin, Mauro Vallati
2016 J jnl
Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning.
Fundam. Informaticae
Mauro Vallati, Ivan Serina, Alessandro Saetti, Alfonso Emilio Gerevini
2016 C conf
On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning.
COMMA
Federico Cerutti, Mauro Vallati, Massimiliano Giacomin
2016 — conf
On the exploitation of Automated Planning for efficient decision making in road traffic accident management.
CDC
Lukás Chrpa, Mauro Vallati
2016 — ed.
Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, September 13, 2016.
SAFA
Matthias Thimm, Federico Cerutti, Hannes Strass, Mauro Vallati
2016 — conf
RadioBio data: A Moddicom Module to Predict Tumor Control Probability and Normal Tissue Complication Probability in Radiotherapy.
HEALTHINF
Nicola Dinapoli, Anna Rita Alitto, Mauro Vallati, Rosa Autorino, Roberto Gatta, Luca Boldrini, Andrea Damiani, Giovanna Mantini, Vincenzo Valentini
2016 J jnl
Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation.
CoRR
Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin
2016 A conf
Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation.
ECAI
Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin
2016 J jnl
Summary Report of The First International Competition on Computational Models of Argumentation.
AI Mag.
Matthias Thimm, Serena Villata, Federico Cerutti, Nir Oren, Hannes Strass, Mauro Vallati
2016 J jnl
Symbolic Melodic Similarity: State of the Art and Future Challenges.
Comput. Music. J.
Valerio Velardo, Mauro Vallati, Steven Jan
2016 — conf
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.
PlanSIG
Thomas Leo McCluskey, Mauro Vallati
2016 C conf
Where Are We Now? State of the Art and Future Trends of Solvers for Hard Argumentation Problems.
COMMA
Federico Cerutti, Mauro Vallati, Massimiliano Giacomin
2016 A* conf
jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks.
KR
Federico Cerutti, Mauro Vallati, Massimiliano Giacomin
2015 — conf
ASCoL: A Tool for Improving Automatic Planning Domain Model Acquisition.
AI*IA
Rabia Jilani, Andrew Crampton, Diane E. Kitchin, Mauro Vallati
2015 — conf
Automated Planning for Urban Traffic Control: Strategic Vehicle Routing to Respect Air Quality Limitations.
IPS@AI*IA
Lukás Chrpa, Daniele Magazzeni, Keith McCabe, Thomas Leo McCluskey, Mauro Vallati
2015 Misc conf
Discovering Interesting Trends in Real Medical Data: A Study in Diabetic Retinopathy.
EPIA
Vassiliki Somaraki, Mauro Vallati, Thomas Leo McCluskey
2015 B conf
Distributed Learning to Protect Privacy in Multi-centric Clinical Studies.
AIME
Andrea Damiani, Mauro Vallati, Roberto Gatta, Nicola Dinapoli, Arthur Jochems, Timo Deist, Johan van Soest, Andre Dekker, Vincenzo Valentini
2015 A* conf
Exploiting Parallelism for Hard Problems in Abstract Argumentation.
AAAI
Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotirios Batsakis, Massimiliano Giacomin, Grigoris Antoniou
2015 J jnl
Exploiting macro-actions and predicting plan length in planning as satisfiability.
AI Commun.
Alfonso Emilio Gerevini, Alessandro Saetti, Mauro Vallati
2015 B conf
Exploring the Synergy between Two Modular Learning Techniques for Automated Planning.
SOCS
Raquel Fuentetaja, Lukás Chrpa, Thomas Leo McCluskey, Mauro Vallati
2015 A* conf
Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning.
ICAPS
Mauro Vallati, Ivan Serina, Alessandro Saetti, Alfonso Emilio Gerevini
2015 — conf
Moddicom: a complete and easily accessible library for prognostic evaluations relying on image features.
EMBC
Nicola Dinapoli, Anna Rita Alitto, Mauro Vallati, Roberto Gatta, Rosa Autorino, Luca Boldrini, Andrea Damiani, Vincenzo Valentini
2015 A* conf
On the Effective Configuration of Planning Domain Models.
IJCAI
Mauro Vallati, Frank Hutter, Lukás Chrpa, Thomas Leo McCluskey
2015 Misc conf
On the Efficient Allocation of Diagnostic Activities in Modern Imaging Departments.
EPIA
Roberto Gatta, Mauro Vallati, Nicola Mazzini, Diane E. Kitchin, Andrea Bonisoli, Alfonso Gerevini, Vincenzo Valentini
2015 A* conf
On the Online Generation of Effective Macro-Operators.
IJCAI
Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey
2015 C conf
On the Stylistic Evolution of a Society of Virtual Melody Composers.
EvoMUSART
Valerio Velardo, Mauro Vallati
2015 B conf
Portfolio Methods for Optimal Planning: An Empirical Analysis.
ICTAI
Mattia Rizzini, Chris Fawcett, Mauro Vallati, Alfonso Emilio Gerevini, Holger H. Hoos
2015 J jnl
Portfolio-based planning: State of the art, common practice and open challenges.
AI Commun.
Mauro Vallati, Lukás Chrpa, Diane E. Kitchin
2015 J jnl
The 2014 International Planning Competition: Progress and Trends.
AI Mag.
Mauro Vallati, Lukás Chrpa, Marek Grzes, Thomas Leo McCluskey, Mark Roberts, Scott Sanner
2015 B conf
Towards a Reformulation Based Approach for Efficient Numeric Planning: Numeric Outer Entanglements.
SOCS
Lukás Chrpa, Enrico Scala, Mauro Vallati
2014 C conf
A Benchmark Framework for a Computational Argumentation Competition.
COMMA
Federico Cerutti, Nir Oren, Hannes Strass, Matthias Thimm, Mauro Vallati
2014 J jnl
ASAP: An Automatic Algorithm Selection Approach for Planning.
Int. J. Artif. Intell. Tools
Mauro Vallati, Lukás Chrpa, Diane E. Kitchin
2014 C conf
Algorithm Selection for Preferred Extensions Enumeration.
COMMA
Federico Cerutti, Massimiliano Giacomin, Mauro Vallati
2014 A* conf
An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation.
KR
Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, Marina Zanella
2014 C conf
ArgSemSAT: Solving Argumentation Problems Using SAT.
COMMA
Federico Cerutti, Massimiliano Giacomin, Mauro Vallati
2014 — conf
Argumentation Extensions Enumeration as a Constraint Satisfaction Problem: a Performance Overview.
DARe@ECAI
Mauro Vallati, Federico Cerutti, Massimiliano Giacomin
2014 A conf
Argumentation Frameworks Features: an Initial Study.
ECAI
Mauro Vallati, Federico Cerutti, Massimiliano Giacomin
2014 J jnl
Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report.
CoRR
Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotiris Batsakis, Massimiliano Giacomin, Grigoris Antoniou
2014 C conf
Generating Challenging Benchmark AFs.
COMMA
Federico Cerutti, Massimiliano Giacomin, Mauro Vallati
2014 — conf
GenoMeMeMusic: a Memetic-based Framework for Discovering the Musical Genome.
ICMC
Valerio Velardo, Mauro Vallati
2014 A* conf
Improved Features for Runtime Prediction of Domain-Independent Planners.
ICAPS
Chris Fawcett, Mauro Vallati, Frank Hutter, Jörg Hoffmann, Holger H. Hoos, Kevin Leyton-Brown
2014 — conf
Information Retrieval in Medicine - An Extensive Experimental Study.
HEALTHINF
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
2014 A* conf
MUM: A Technique for Maximising the Utility of Macro-operators by Constrained Generation and Use.
ICAPS
Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey
2014 J jnl
Planning through Automatic Portfolio Configuration: The PbP Approach.
J. Artif. Intell. Res.
Alfonso Gerevini, Alessandro Saetti, Mauro Vallati
2014 — conf
The impact of different training sets on medical documents classification.
AI-AM/NetMed@ECAI
Roberto Gatta, Mauro Vallati, Berardino De Bari, Mahmut Ozsahin
2013 B conf
An Automatic Algorithm Selection Approach for Planning.
ICTAI
Mauro Vallati, Lukás Chrpa, Diane E. Kitchin
2013 B conf
Automatic Generation of Efficient Domain-Optimized Planners from Generic Parametrized Planners.
SOCS
Mauro Vallati, Chris Fawcett, Alfonso Gerevini, Holger H. Hoos, Alessandro Saetti
2013 Misc conf
Autonomic System Architecture: An Automated Planning Perspective.
AIAI
Falilat Jimoh, Lukás Chrpa, Mauro Vallati
2013 — conf
Clinical Similarities: An Innovative Approach for Supporting Medical Decisions.
MedInfo
Mauro Vallati, Roberto Gatta, Berardino De Bari, Stefano M. Magrini
2013 — conf
Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach.
TAFA
Federico Cerutti, Paul E. Dunne, Massimiliano Giacomin, Mauro Vallati
2013 J jnl
Computing Preferred Extensions in Abstract Argumentation: a SAT-based Approach.
CoRR
Federico Cerutti, Paul E. Dunne, Massimiliano Giacomin, Mauro Vallati
2013 — conf
Determining Linearity of Optimal Plans by Operator Schema Analysis.
SARA
Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey
2013 J jnl
Efficient planning through automatic configuration and machine learning.
AI Commun.
Mauro Vallati
2013 Misc conf
Exploiting Machine Learning for Predicting Nodal Status in Prostate Cancer Patients.
AIAI
Mauro Vallati, Berardino De Bari, Roberto Gatta, Michela Buglione, Stefano M. Magrini, Barbara Alicja Jereczek-Fossa, Filippo Bertoni
2013 A* conf
Exploring Knowledge Engineering Strategies in Designing and Modelling a Road Traffic Accident Management Domain.
IJCAI
Mohammad Munshi Shahin Shah, Lukás Chrpa, Diane E. Kitchin, Thomas Leo McCluskey, Mauro Vallati
2013 — conf
Generating Macro-Operators by Exploiting Inner Entanglements.
SARA
Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey, Diane E. Kitchin
2013 B conf
Learnability of Specific Structural Patterns of Planning Problems.
ICTAI
Lukás Chrpa, Mauro Vallati, Hugh Osborne
2013 — conf
Revisiting Inner Entanglements in Classical Planning.
SCAI
Lukás Chrpa, Mauro Vallati
2013 — conf
Underestimation vs. Overestimation in SAT-Based Planning.
AI*IA
Mauro Vallati, Lukás Chrpa, Andrew Crampton
2012 — conf
A Guide to Portfolio-Based Planning.
MIWAI
Mauro Vallati
2011 — conf
Exploiting Macro-actions and Predicting Plan Length in Planning as Satisfiability.
AI*IA
Alfonso Gerevini, Alessandro Saetti, Mauro Vallati
2009 A* conf
An Automatically Configurable Portfolio-based Planner with Macro-actions: PbP.
ICAPS
Alfonso Gerevini, Alessandro Saetti, Mauro Vallati