Publications

S. Koenig, R. Stern, M. Vallati, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, ICAPS 2023, AAAI Press, 2023.

S. Parkinson, A. Nikitas, M. Vallati. Deception in Autonomous Transport Systems: Threats, Impacts and Mitigation Policies. Springer, 2024.

S. Nowaczyk, P. Biecek, N. C. Chung, M. Vallati et al., Artificial Intelligence. ECAI 2023 International Workshops, Springer, 2023.

M. Vallati, D. Kitchin, Springer, Knoweldge Engineering Tools and Techniques for AI Planning, Springer, 2020.

D. Harabor, M. Vallati, Proceedings of the Thirteenth International Symposium on Combinatorial Search, SOCS 2020, AAAI Press, 2020.

2024

R. Guo, M. Vallati, Y. Wang, H. Zhang, Y. Chen, FY. Wang, Sustainability Opportunities and Ethical Challenges of AI-Enabled Connected Autonomous Vehicles Routing in Urban Areas, In IEEE Transactions on Intelligent Vehicles, 2024.

S. Bernardi, M. Vallati, R. Gatta, Artificial Intelligence-based management of adult Chronic Myeloid Leukemia: where are we and where are we going?, In Cancers, 2024.

2023

F. Percassi, E. Scala, M. Vallati, A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning, In Journal of Artificial Intelligence Research, 2023.

R. Guo, S. Bhatnagar, G. Wei, S.S. Azadeh, M. Vallati, Operationalizing Modular Autonomous Customized Buses based on Different Demand Prediction Scenarios, In Transportmetrica A: Transport Science, 2023.

R. Guo, G. Wei, M. Vallati, W. Zhang, Modular Autonomous Electric Vehicle Scheduling for Customized On-demand Bus Services, In IEEE Transactions on Intelligent Transportation Systems, 2023.

X. Dai, M. Vallati, R. Guo, Y. Wang, S. Han, Y. Lin, The Road Ahead: DAO-Secured V2X Infrastructures for Safe and Smart Vehicular Management, In IEEE Transactions on Intelligent Vehicles, 2023.

D. Alarnaouti, G. Baryannis, M. Vallati, Reformulation Techniques for Automated Planning: A Systematic Review, In The Knowledge Engineering Review, 2023.

E. Tavazzi, R. Gatta, M. Vallati, S. Cotti Piccinelli, M. Filosto, A. Padovani, M. Castellano, B. Di Camillo, Leveraging Process Mining for Modeling Progression Trajectories in Amyotrophic Lateral Sclerosis, In BMC Medical Informatics and Decision Making, 2023.

2022

A. Nikitas, S. Parkinson, M. Vallati, The Deceitful Connected and Autonomous Vehicle: Defining the Concept, Contextualising its Dimensions and Proposing Mitigation Policies, In Transport Policy, 2022.

L. Chrpa, M. Vallati, Planning with Critical Section Macros: Theory and Practice, In Journal of Artificial Intelligence Research, 2022. 

C. Dodaro, M. Maratea, M. Vallati, On the Configuration of More and Less Expressive Logic Programs, In Theory and Practice of Logic Programming, 2022.

2021

F. Percassi, A.E. Gerevini, E. Scala, I. Serina, M. Vallati, Improving Domain-Independent Heuristic State-Space Planning via Plan Cost Predictions, In Journal of Experimental and Theoretical Artificial Intelligence, 2021. 

M. Vallati, L. Chrpa, T.L. McCluskey, F. Hutter, On the Importance of Domain Model Configuration for Automated Planning Engines, Journal of Automated Reasoning, 2021.

R. Bertolucci, A. Capitanelli, C. Dodaro, N. Leone, M. Maratea, F. Mastrogiovanni, M. Vallati, Manipulation of Articulated Objects using Dual-arm Robots via ASP, In Theory and Practice of Logic Programming, 21, 372-401, 2021.

D. Harabor, M. Vallati, Organising a Successful Online AI Conference: Lessons from the 13th Symposium on Combinatorial Search, AI Magazine, 2021.

E. Scala, M. Vallati, Effective Grounding for Hybrid Planning Problems Represented in PDDL+, The Knowledge Engineering Review, 36, e9, 2021.

A. Grassi, M. Vallati, An Exploratory Study on the Use of Artificial Intelligence to Initiate Legal Understanding for Business Development, IfCoLog Journal of Logics and their Applications, 1065-1082, 2021.

2020

A. Cohen, S. Gottifredi, M. Vallati, A. Garcia, G. Antoniou, Maximising Goals Achievement through Abstract Argumentation Frameworks: An Optimal Approach, In Expert Systems with Applications, 2020. 

F. Cerutti, M. Thimm, M. Vallati, An Experimental Analysis on the Similarity of Argumentation Semantics, In Argument & Computation, 2020.

R. Gatta, M. Vallati, C. Fernandez-Llatas, A. Martinez-Millana, et al., What Role can Process Mining play in recurrent Clinical Guidelines issues? A Position Paper, In International Journal of Environmental Research and Public Health, 2020.

2019

F. Cerutti, M. Giacomin, M. Vallati, How we designed winning algorithms for abstract argumentation and which insight we attained, In Artificial Intelligence, 2019.

M. Vallati, L. Chrpa, I. Serina, MEvo: A Framework for Effective Macro Sets Evolution, In Journal of Experimental and Theoretical Artificial Intelligence, 2019.

G. Antoniou, S. Batsakis, J. Davies, A. Duke, T.L. McCluskey, E. Peytchev, I. Tachmazidis, M. Vallati, Enabling the Use of a Planning Agent for Urban Traffic Management via Enriched and Integrated Urban Data, Transportation Research Part C: Emerging Technologies, 98, 284-297, 2019.

R. Gatta, M. Vallati, N. Dinapoli, C. Masciocchi, J. Lenkowicz, et al., Towards a Modular Decision Support System for Radiomics: A Case Study on Rectal Cancer, In Artificial Intelligence in Medicine, 96, 145-153, 2019.

L. Chrpa, M. Vallati, T.L. McCluskey, Inner Entanglements: Narrowing the Search in Classical Planning by Problem Reformulation, Computational Intelligence, 35, 395-429, 2019.

I. Cenamor, M. Vallati, L. Chrpa, On the Predictability of Domain-Independent Temporal Planners, Computational Intelligence, 2019.

M. Vallati, F. Cerutti, M. Giacomin, Predictive Models and Abstract Argumentation: the case of High-Complexity Semantics, In Knowledge Engineering Review, 34, 2019.

2018

M. Vallati, L. Chrpa, T.L. McCluskey, What You Always Wanted to Know about the Deterministic Part of IPC 2014 (But Were too Afraid to Ask), In Knowledge Engineering Review, 33, 1-36, 2018.

L. Chrpa, M. Vallati, T.L. McCluskey, Outer Entanglements: A General Heuristic Technique for Improving the Efficiency of Planning Algorithms, In Journal of Experimental & Theoretical Artificial Intelligence, 30(6), 831-856, 2018.

A. Capitanelli, M. Maratea, F. Mastrogiovanni, M. Vallati, On the Manipulation of Articulated Objects in Human-Robot Cooperation Scenarios, In Robotics and Autonomous Systems, 109, 139-155, 2018.

A. Bocchese, C. Fawcett, M. Vallati, A.E. Gerevini, H.H. Hoos, Performance Robustness of AI Planners in the 2014 International Planning Competition, In AI Communications, 31, 445-463,2018.

S. Parkinson, A. Crampton, M. Vallati, S. Shorabi, GraphBAD: A General Technique for Anomaly Detection in Security Information and Event Management, In Concurrency and Computation: Practice and Experience, 30(16), 2018.

F. Cerutti, A. Grassi, M. Vallati, Unveiling the Oracle: Artificial Intelligence for the XXI Century, In Intelligent Decision Technologies: An International Journal, 12, 371-379, 2018.

F. Cerutti, M. Vallati, M. Giacomin, On the Impact of Configuration on Abstract Argumentation Automated Reasoning, International Journal of Approximate Reasoning, 92, 120-138, 2017.

2017

F. Cerutti, M. Vallati, M. Giacomin, An Efficient Java-Based Solver for Abstract Argumentation Frameworks: jArgSemSAT, International Journal on Artificial Intelligence Tools, 26(2), 2017.

M. Rizzini, C. Fawcett, M. Vallati, A.E. Gerevini, H. Hoos, Static and Dynamic Portfolio Methods for Optimal Planning: An Empirical Analysis, International Journal on Artificial Intelligence Tools, 26(1), 2017.

L. Chrpa, T.L. McCluskey, M. Vallati, T. Vaquero, The Fifth International Competition on Knowledge Engineering for Planning and Scheduling: Summary and Trends, AI Magazine, 38(1), 2017.

AR. Alitto, R. Gatta, BGL. Vaneste, M. Vallati, et al., PRODIGE: PRediction models in prOstate cancer for personalized meDIcine challenGE, Future Oncology, 13(24), 2017.

2016

M. Vallati, I. Serina, A. Saetti, A.E. Gerevini, Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning, Fundamenta Informaticae, 148, 1-32, 2016.

M. Thimm, S. Villata, F. Cerutti, N. Oren, H. Strass, M. Vallati, Summary Report of The First International Competition on Computational Models of Argumentation, AI Magazine, 37(1), 102, 2016.

L. Chrpa, D. Magazzeni, K. McCabe, T.L. McCluskey, M. Vallati, Automated Planning for Urban Traffic Control: Strategic Vehicle Routing to Respect Air Quality Limitations, Intelligenza Artificiale, 10(2), 113-128, 2016.

V. Velardo, M. Vallati, S. Jan, Symbolic Melodic Similarity: State of the Art and Future Challenges, Computer Music Journal, 40(2), 2016.

B. De Bari, M. Vallati, R. Gatta, L. Lestrade, C. Carrie, V. Valentini, Development and validation of a Machine Learning-based Predictive Model to Improve the Prediction of Inguinal Status of Anal Cancer Patients - A Preliminary Report, Oncotarget, 2016.

2015

M. Vallati, L. Chrpa, M. Grześ, T.L. McCluskey, M. Roberts, S. Sanner, The 2014 International Planning Competition: Progress and Trends, AI Magazine, 36(3), 90--98, 2015.

A.E. Gerevini, A. Saetti, M. Vallati, Exploiting Macro-actions and Predicting Plan Length in Planning as Satisfiability, In AI Communications, 28(2), 323-344. 

M. Vallati, L. Chrpa, D. Kitchin, Portfolio-based Planning: State of the Art, Common Practice and Open Challenges, In AI Communications, to appear, 2015.

B. de Bari, M. Vallati, R. Gatta, et al., Could Machine Learning improve the prediction of pelvic nodal status of prostate cancer patients? Preliminary results of a pilot study, In Cancer Investigation, 2015.

2014

A.E. Gerevini, A. Saetti, M. Vallati, Planning through Automatic Portfolio Configuration: The PbP Approach, In Journal of Artificial Intelligence Research (JAIR), Volume 50, 639--696. 

M. Vallati, L. Chrpa, D. Kitchin, An Automatic Algorithm Selection Approach for Planning, International Journal on Artificial Intelligence Tools, Volume 23, 2014.

2013

Mauro Vallati, Efficient Planning through Automatic Configuration and Machine Learning, AI Communications, IOS Press, 26(3); 319-321, 2013.

2024

A. El Kouaiti, F. Percassi, A. Saetti, T.L. McCluskey, M. Vallati, PDDL+ Models for Deployable yet Effective Traffic Signal Optimisation, In Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS-24), 2024.

M. Cardellini, M. Maratea,  F. Percassi, E. Scala, M. Vallati, Taming Discretised PDDL+ through Multiple Discretisations, In Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS-24), 2024.

B. Gottardelli, R. Gatta, L. Nucciarelli, A.M. Tudor, M. Savino, M. Vallati, A. Damiani, GEN-RWD Sandbox ecosystem for privacy-preserving data sharing in healthcare research: the Processor module, In Proceedings of the 12th IEEE International Conference on Healthcare Informatics  (ICHI-24), 2024.

A. El Kouaiti, F. Percassi, A. Saetti, M. Vallati, The Impact of PDDL+ Language Features on Planning Performance: An Empirical Analysis On a Real-World Case Study, In Proceedings of the 37th International Conference of the Florida AI Research Society (FLAIRS-24), 2024.

A. El Kouaiti, F. Percassi, A. Saetti, T.L. McCluskey, M. Vallati, Deployable yet Effective Traffic Signal Optimisation via Automated Planning, In Proceedings of the 17th Annual Symposium on Combinatorial Search (SoCS-24), 2024.

M. Cardellini, M. Maratea,  F. Percassi, E. Scala, M. Vallati, Taming Discretised PDDL+ through Multiple Discretisations, In Proceedings of the 17th Annual Symposium on Combinatorial Search (SoCS-24), 2024.

A. El Kouaiti, F. Percassi, A. Saetti, M. Vallati, Shall You Use that PDDL+ Language Feature? An Empirical Analysis on a Real-world Case Study,  In Proceedings of The Knowledge Engineering for Planning and Scheduling Workshop (KEPS-24), 2024.

2023

F. Percassi, E. Scala, M. Vallati, Fixing Plans for PDDL+ Problems: Theoretical and Practical Implications, In Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS-23), 2023.

S. Bhatnagar, R. Guo, K. McCabe, T.L. McCluskey, F.Percassi, M. Vallati, Automated Planning for Generating and Simulating Traffic Signal Strategies, In Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI-23), 2023.

L. Chrpa, C. Dodaro, M. Maratea, M. Mochi, M. Vallati, Comparing Planning Domain Models using Answer Set Programming, In Proceedings of the 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA-23), 2023.

M. Vallati, L. Chrpa, In Defence of Good-Old Fashioned Artificial Intelligence Approaches in Intelligent Transportation Systems, In Proceedings of the 26th IEEE International Conference on Intelligent Transportation Systems (ITSC-23), 2023.

R. Guo, X. Liu, S. Bhatnagar, M. Vallati, Real-time Routing and Scheduling of On-demand Autonomous Customized Bus Systems, In Proceedings of the 26th IEEE International Conference on Intelligent Transportation Systems (ITSC-23), 2023.

R. Guo, A. Nikitas, S. Parkinson, M. Vallati, One Bus is All it Takes: The Impact of Cyber Attacks in Customised Bus Services, In Proceedings of the 26th IEEE International Conference on Intelligent Transportation Systems (ITSC-23), 2023.

M. Cardellini, C. Dodaro, M. Maratea, M. Vallati, A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence, In Proceedings of the 26th IEEE International Conference on Intelligent Transportation Systems (ITSC-23), 2023.

L. Chrpa, M. Vallati, Centralised Vehicle Routing for Optimising Urban Traffic: A Scalability Perspective, In Proceedings of IEEE Intelligent Vehicles Symposium (IV-23), 2023.

M. Vallati, S. Orini, M. Lorusso, M. Savino, R. Gatta, M. Filosto, On the Comparison of Markov Chains-based Models in Process Mining for Healthcare: A Case Study, In Proceedings of the 36th International Conference of the Florida AI Research Society (FLAIRS-23), 2023.

M. Svadlenka, L. Chrpa, M. Vallati, Improving the Scalability of Automated Planning- based Vehicle Routing via Smart Routes Identification, In Proceedings of 8th International IEEE Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS-23), 2023. 

F. Percassi, S. Bhatnagar, R. Guo, K. McCabe, T.L. McCluskey, M. Vallati, An Efficient Heuristic for AI-based Urban Traffic Control, In Proceedings of 8th International IEEE Conference on Models and Technologies for Intelligent Transportation Systems (MT- ITS-23), 2023.

F. Percassi, E. Scala, M. Vallati, On the Notion of Fixability of PDDL+ Plans, In Proceedings of the 16th International Symposium on Combinatorial Search (SoCS-23), 2023.

F. Percassi, E. Scala, M. Vallati, A Structure-Sensitive Translation from Hybrid to Numeric Planning, In Proceedings of the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA-23), 2023.

S. Bhatnagar, R. Guo, J. Ma, M. Vallati, Prediction of Passengers Demand for Customized Bus Systems (Abstract), In 11th Symposium of the European Association for Research in Transportation (hEART-23), 2023.

M. Vallati, The Power of Good Old-Fashioned AI for Urban Traffic Control, In Proceedings of the 18th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI-23), 2023.

M. Cardellini, M. Maratea, F. Percassi, E. Scala, M. Vallati, Taming Discretised PDDL+ through Multiple Discretisations, In Proceedings of The Knowledge Engineering for Planning and Scheduling Workshop (KEPS-23), 2023.

M. Cardellini, M. Maratea, F. Percassi, E. Scala, M. Vallati, Taming Discretised PDDL+ through Multiple Discretisations, In Proceedings of The 11th Italian Workshop on Planning and Scheduling (IPS-23), 2023.

C. Fawcett, M. Vallati, HH Hoos, AE Gerevini, Competitions in AI--Robustly Ranking Solvers Using Statistical Resampling, arXiv.

2022

F. Percassi, E. Scala, M. Vallati, The Power of Reformulation: PDDL+ Validation Through Planning, In Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS-22), 2022.

F. Percassi, E. Scala, M. Vallati, On the Reformulation of Discretised PDDL+ to Numeric Planning, In Proceedings of the 15th International Symposium on Combinatorial Search (SoCS-22), 2022.

F. Ivankovic, M. Vallati, L. Chrpa, M. Roveri, Urban Traffic Control via Planning with Global State Constraints, In Proceedings of the 15th International Symposium on Combinatorial Search (SoCS-22), 2022. 

R. Guo, W. Guan, S. Bhatnagar, M. Vallati, A Two-phase Optimization Model for Autonomous Electric Customized Bus Service Design, In Proceedings of The 25th IEEE International Conference on Intelligent Transportation Systems (ITSC-22), 2022.

S. Bhatnagar, R. Guo, K. McCabe, T.L. McCluskey, E. Scala, M. Vallati, Leveraging Artificial Intelligence for Simulating Traffic Signal Strategies, In Proceedings of The 25h IEEE International Conference on Intelligent Transportation Systems (ITSC-22), 2022.

R. Alford, L. Chrpa, M. Vallati, A. Applebaum, Knowledge Reformulation and Deception as a Defense Against Automated Cyber Adversaries, In Proceedings of the 35th International Conference of the Florida AI Research Society (FLAIRS-22), 2022.

S. Bhatnagar, S. Mund, E. Scala, K. McCabe, T.L. McCluskey, M. Vallati, On-the-fly Knowledge Acquisition for Automated Planning Applications: Challenges and Lessons Learnt, In Proceedings of 14th International Conference on Agents and Artificial Intelligence (ICAART-22), 2022.

E. Scala, T.L. McCluskey, M. Vallati, Verification of Numeric Planning Problems through Domain Dynamic Consistency, In Proceedings of the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA-22), 2022. (Best Paper Award)

R. Gatta, S. Orini, M. Vallati, Process Mining in Healthcare: Challenges and Promising Directions, Artificial Intelligence in Healthcare, Springer, 2022. 

F. Percassi, E. Scala, M. Vallati, On Translation-Based Approaches from Discrete PDDL+ to Numeric Planning, In Proceedings of The Knowledge Engineering for Planning and Scheduling Workshop (KEPS-22), 2022.

F. Percassi, E. Scala, M. Vallati, The Power of Reformulation: From Validation To Planning in PDDL+, Proceedings of the 29th RCRA International Workshop on Experimental Evaluation of Algorithms for solving problems with combinatorial explosion (RCRA-22), 2022.

R. Alford, L. Chrpa, M. Vallati, A. Applebaum, Knowledge Reformulation and Deception as a Defense Against Automated Cyber Adversaries, In Proceedings of the Workshop on Deception Against Planning Systems and Planning in Adversarial Conditions (DAPSPAC-22), 2022.

M. Vallati, L. Chrpa, On the Robustness of Domain-Independent Planning Engines: The Impact of Poorly-Engineered Knowledge, In Proceedings of the Workshop on Deception Against Planning Systems and Planning in Adversarial Conditions (DAPSPAC-22), 2022. 

M. Vallati, L. Chrpa, Effective Real-Time Urban Traffic Routing: An Automated Planning Approach, In Proceedings of The 10th Italian Workshop on Planning and Scheduling (IPS-22), 2022.

M. Lorusso, A. Dagliati, L. Sacchi, E. Tavazzi, S. Orini, M. Vallati, R. Gatta. pMinShiny: A Graphical User Interface for Process Mining in Healthcare (Abstract), In Proceedings of 5th International Workshop on Process-Oriented Data Science for Healthcare (PODS4H-22), 2022.

2021

M. Thimm, F. Cerutti, M. Vallati, Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions, In Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI-21), 2021.

F. Percassi, E. Scala, M. Vallati, Translations from Discretised PDDL+ to Numeric Planning, In Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS-21), 2021.

M. Cardellini, M. Maratea, M. Vallati, G. Boleto, L. Oneto, In-Station Train Dispatching: A PDDL+ Planning Approach, In Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS-21), 2021.

M. Vallati, E. Scala, L. Chrpa, A Hybrid Automated Planning Approach for Urban Real-time Routing of Connected Vehicles, In Proceedings of The 24th IEEE International Conference on Intelligent Transportation Systems (ITSC-21), 2021.

G. Boleto, L. Oneto, M. Cardellini, M. Maratea, M. Vallati, R. Canepa, D. Anguita, In-Station Train Movements Prediction: from Shallow to Deep Multi Scale Models, In Proceedings of the 29th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning (ESANN-21), 2021.

M. Vallati, L. Chrpa, Effective Real-Time Urban Traffic Routing: An Automated Planning Approach, In Proceedings of the 7th International IEEE Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS), 2021.

F. Percassi, E. Scala, M. Vallati, A Sound (but Incomplete) Polynomial Translation from Discretised PDDL+ to Numeric Planning, In Proceedings of the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA-21), 2021.

M. Vallati, T.L. McCluskey, A Quality Framework for Automated Planning Knowledge Models, In Proceedings of 13th International Conference on Agents and Artificial Intelligence (ICAART-21), 2021. 

M. Cardellini, M. Maratea, M. Vallati, G. Boleto, L. Oneto, An Efficient Hybrid Planning Framework for In-Station Train Dispatching, In Proceedings of The International Conference on Computational Science (ICCS-21), 2021.

M. Cardellini, M. Maratea, M. Vallati, G. Boleto, L. Oneto, A Planning-based Approach for In-Station Train Dispatching (Abstract), In Proceedings of the 14th International Symposium on Combinatorial Search (SoCS-21), 2021.

E. Tavazzi, R. Gatta, M. Vallati, S. Cotti Piccinelli, M. Filosto, M. Castellano, B. Di Camillo, Inspecting Progression Trajectories in Amyotrophic Lateral Sclerosis using Process Mining, In Proceedings of the 17th International Conference on Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB-21), 2021.

F. Percassi, E. Scala, M. Vallati, A Sound (but not Complete) Polynomial Transla- tion from Discretised PDDL+ to Numeric Planning, In Proceedings of The Knowledge Engineering for Planning and Scheduling Workshop (KEPS-21), 2021.

S. Bhatnagar, S. Mund, E. Scala, K. McCabe, T.L. McCluskey, M. Vallati, On the Challenges of on-the-fly Knowledge Acquisition for Automated Planning Applications, In Proceedings of The Knowledge Engineering for Planning and Scheduling Workshop (KEPS-21), 2021.

F. Percassi, E. Scala, M. Vallati, On Translation-Based Approaches from Discrete PDDL+ to Numeric Planning, In Proceedings of The 9th Italian Workshop on Planning and Scheduling (IPS-21), 2021.

I. Serina, M. Vallati, Configurable Heuristic Adaptation for Improving Best First Search in AI Planning, In Proceedings of The 28th RCRA International Workshop on Experimental Evaluation of Algorithms for solving problems with combinatorial explosion (RCRA-21), 2021.

2020

F. Percassi, A.E. Gerevini, E. Scala, I. Serina, M. Vallati, Generating and Exploiting Cost Predictions in Heuristic State-Space Planning, In Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS-20), 2020.

R. Gatta, M. Vallati, I. Pirola, J. Lenkowicz, L. Tagliaferri, C. Cappelli, M. Castellano, An Empirical Analysis of Predictors for Workload Estimation in Healthcare, In Proceedings of The International Conference on Computational Science (ICCS-20), 2020.

M. Thimm, F. Cerutti, M. Vallati, On Computing the Set of Acceptable Arguments in Abstract Argumentation, In Proceedings of The 8th International Conference on Computational Models of Argument (COMMA-20), 2020.

M. Vallati, Centralised versus Decentralised Traffic Optimisation of Urban Road Networks: A Simulation Study, In Proceedings of IEEE International Conference on Intelligent Transportation Engineering (ICITE-20), 2020.

M. Vallati, Z. Saigol, A Centralised Framework for Maximising the Utilisation of Urban Road Networks By Leveraging on Connected Vehicles, In Proceedings of the 27th Intelligent Transportation Systems World Congress (ITS-20), 2020.

E. Scala, M. Vallati, Exploiting Classical Planning Grounding in Hybrid PDDL+ Planning Engines, In Proceedings of The 32th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-20), 2020.

I. Serina, M. Vallati, Configurable Heuristic Adaptation for Improving Best First Search in AI Planning, In Proceedings of The 32th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-20), 2020.

R. Bertolucci, A. Capitanelli, M. Maratea, F. Mastrogiovanni, M. Vallati, Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity, In Proceedings of The 32th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-20), 2020.

M. Vallati, L. Chrpa, Reducing Traffic Congestion in Urban Areas via Real-Time Re-Routing: A Simulation Study, In Proceedings of 33rd Australasian Joint Conference on Artificial Intelligence (AJCAI-20), 2020.

M. Vallati, L. Chrpa, A Mixed-Integer Programming Approach for Scheduling Roadworks in Urban Regions, In Proceedings of 33rd Australasian Joint Conference on Artificial Intelligence (AJCAI-20), 2020.

F. Cerutti, M. Giacomin, M. Vallati, T. Zanetti, An Efficient Algorithm for Semi-Stable Extensions, In Proceedings of AIxIA 2020 (reboot) - The 19th International Conference of the Italian Association for Artificial Intelligence, 2020.

M. Vallati, T.L. McCluskey, In Defence of Design Patterns for AI Planning Knowledge Models, In Proceedings of AIxIA 2020 (reboot) - The 19th International Conference of the Italian Association for Artificial Intelligence, 2020.

M. Vallati, L. Chrpa, On the Robustness of Domain-Independent Planning Engines: The Impact of Poorly-Engineered Knowledge, In Proceedings of The Knowledge Engineering for Planning and Scheduling Workshop (KEPS-20), 2020.

E. Scala, M. Vallati, PDDL+ Grounding: Can We Take Advantage of Classical Planning Approaches?, In Proceedings of The Knowledge Engineering for Planning and Scheduling Workshop (KEPS-20), 2020.

T. Zanetti, M. Giacomin, M. Vallati, F. Cerutti, An Efficient Algorithm for Admissible Argumentation Stages, In Proceedings of Workshop on Advances In Argumentation In Artificial Intelligence (AI-3 2020), 2020.

M. Vallati, T.L. McCluskey, In Defence of Design Patterns for AI Planning Knowledge Models, In Proceedings of 8th Italian Workshop on Planning and Scheduling (IPS 2020), 2020.

F. Percassi, A.E. Gerevini, E. Scala, I. Serina, M. Vallati, Generating and Exploiting Cost Predictions in Heuristic State-Space Planning, In Proceedings of the 27th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2020), 2020.

I. Serina, M. Vallati, Configurable Heuristic Adaptation for Improving Best First Search in AI Planning, In Proceedings of 8th Italian Workshop on Planning and Scheduling (IPS 2020), 2020.

S. Mund, M. Vallati, T.L. McCluskey, An Exploration of the Use of AI Planning for Predicting Stock Market Movement, In Proceedings of the ICAPS 2020 Workshop on AI Planning for Financial Services (FinPlan), 2020.

2019

L. Chrpa, M. Vallati, Improving Domain-Independent Planning via Critical Section Macro-Operators, In Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAA-19), 2019.

R. Bertolucci, A. Capitanelli, C. Dodaro, N. Leone, M. Maratea, F. Mastrogiovanni, M. Vallati, An ASP-based Framework for the Manipulation of Articulated Objects using Dual-arm Robots, In Proceedings of The 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-19), 2019.

M. Vallati, L. Chrpa, On the Robustness of Domain-Independent Planning Engines: The Impact of Poorly-Engineered Knowledge, In Proceedings of the 10th ACM International Conference on Knowledge Capture (K-CAP 2019), 2019.

M. Vallati, L. Chrpa, D. Kitchin, How to Plan Roadworks in Urban Regions? A Principled Approach Based on AI Planning, In Proceedings of The International Conference on Computational Science (ICCS-19), 2019.

R.Gatta, M. Vallati, J. Lenkowicz, et al., On the Feasibility of Distributed Process Mining in Healthcare, In Proceedings of The International Conference on Computational Science (ICCS-19), 2019.

S. Franco, M. Vallati, A. Lindsay, T.L. McCluskey, Improving Planning Performance in PDDL+ Domains via Automated Predicate Reformulation, In Proceedings of The International Conference on Computational Science (ICCS-19), 2019.

M. Vallati, M. Maratea, On the Configuration of SAT Formulae, In Proceedings of the 18th International Conference of the Italian Association for Artificial Intelligence (AIIA-19), 2019.

R. Bertolucci, A. Capitanelli, M. Maratea, F. Mastrogiovanni, M. Vallati, Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity, In Proceedings of the 18th International Conference of the Italian Association for Artificial Intelligence (AIIA-19), 2019.

L. Chrpa, M. Vallati, S. Parkinson, Exploiting Automated Planning for Efficient Centralized Vehicle Routing and Mitigating Congestion in Urban Road Networks, In Proceedings of The 34th ACM/SIGAPP Symposium on Applied Computing (SAC-19), 2019.

M. Vallati, A. Grassi, AI to Facilitate Legal Analysis in the PESTLE Context, In Proceedings of The IET Emerging Technology Conference (EMiT-19), 2019.

C. Fawcett, M. Vallati, A.E. Gerevini, H.H. Hoos, Performance Robustness of AI Planners to Changes in Software Environment, In Proceedings of The Workshop of the International Planning Competition (WIPC-19), 2019.

M. Vallati, L. Chrpa, The International Competition on Knowledge Engineering for Planning and Scheduling: Food for Thoughts (and Call to Action), In Proceedings of The Knowledge Engineering for Planning and Scheduling Workshop (KEPS-19), 2019.

F. Percassi, M. Vallati, E. Scala, A.E. Gerevini, A. Saetti, I. Serina, On the Usefulness of Plan’s Quality Predictions for Improving Domain-Independent Planning, In Proceedings of The 7th Italian Workshop on Planning and Scheduling (IPS 2019), 2019.

R. Gatta, M. Vallati, C. Fernandez-Llatas, A. Martinez-Millana, et al., Clinical Guidelines: a crossroad of many research areas. Challenges and opportunities in Process Mining for Healthcare, In Proceedings of The Workshop on Process-Oriented Data Science for Healthcare (PODS4H-19), 2019.

2018

M. Vallati, I. Serina, A General Approach for Configuring PDDL Problem Models, In Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS-18), 2018.

M. Vallati, L. Chrpa, D. Kitchin, On the Configuration of Robust Static Parallel Portfolios for Efficient Plan Generation, In Proceedings of The International Conference on Computational Science (ICCS-18), 2018.

S. Franco, A. Lindsay, M. Vallati, T.L. McCluskey, An Innovative Heuristic for Planning-based Urban Traffic Control, In Proceedings of The International Conference on Computational Science (ICCS-18), 2018.

M. Vallati, L. Chrpa, A Principled Analysis of the Interrelation Between Vehicular Communication and Reasoning Capabilities of Autonomous Vehicles, In Proceedings of The 21st IEEE International Conference on Intelligent Transportation Systems (ITSC-18), 2018.

L. Chrpa, M. Vallati, Determining Representativeness of Training Plans: A Case of Macro-operators, In Proceedings of The 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-18), 2018.

R. Gatta, M. Vallati, J. Lenkowicz, et al., A Framework for Event Log Generation and Knowledge Representation for Process Mining in Healthcare, In Proceedings of The 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-18), 2018.

W. Faber, M. Vallati, F. Cerutti, M. Giacomin, Enumerating Preferred Extensions Using ASP Domain Heuristics: The ASPrMin Solver, In Proceedings of the 7th International Conference on Computational Models of Argument (COMMA-18), 2018.

T. Skerik, L. Chrpa, W. Faber, M. Vallati, Automated Training Plan Generation For Athletes, In Proceedings of The 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC-18), 2018.

M. Vallati, T.L. McCluskey, L. Chrpa, Towards Explanation-Supportive Knowledge Engineering for Planning, In The EXplainable AI Planning Workshop (XAIP-18), 2018.

R. Bertolucci, A. Capitanelli, C. Dodaro, M. Maratea, F. Mastrogiovanni, M. Vallati, KR&R Approaches for Robot Manipulation Tasks with Articulated Objects, In Proceedings of The RiCeRCa workshop, 2018.

S. Franco, M. Vallati, A. Lindsay, Improving Planning Performance in PDDL+ Domains via Automatic Predicates Reformulation, In Proceedings of The Knowledge Engineering for Planning and Scheduling Workshop (KEPS-18), 2018.

M. Vallati, T.L. McCluskey, Towards a Framework for Understanding and Assessing Quality Aspects of Automated Planning Models, In Proceedings of The Knowledge Engineering for Planning and Scheduling Workshop (KEPS-18), 2018.

2017

T.L. McCluskey, M. Vallati, Embedding Automated Planning within Urban Traffic Management Operations, In Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS-17), 2017.

S. Parkinson, A. Longstaff, S. Fletcher, M. Vallati, L. Chrpa, On the Exploitation of Automated Planning for Reducing Machine Tools Energy Consumption Between Manufacturing Operations, In Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS-17), 2017. 

R. Gatta, J. Lenkowicz, M. Vallati, E. Rojas, et al., pMineR: An Innovative R Library for Performing Process Mining in Medicine, In Proceedings of the 16th Conference on Artificial Intelligence in Medicine (AIME-17), 2017.

I. Tachmazidis, S. Batsakis, J. Davies, A. Duke, M. Vallati, G. Antoniou and S. Clarke, A Hypercat-enabled Semantic Internet of Things Data Hub, In Proceedings of the 14th European Semantic Web Conference (ESWC-17), 2017.

T.L. McCluskey, T.S. Vaquero, M. Vallati, Engineering Knowledge for Automated Planning: Towards a Notion of Quality, In Proceedings of the 9th International Conference on Knowledge Capture (K-CAP-17), 2017.

R. Gatta, M. Vallati, J. Lenkowicz, E. Rojas, et al., Generating and Comparing Knowledge Graphs of Medical Processes Using pMineR, In Proceedings of the 9th International Conference on Knowledge Capture (K-CAP-17), 2017.

T.L. McCluskey, M. Vallati, S. Franco, Automated Planning for Urban Traffic Management, In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI): System demo, 2017.

M. Vallati, L. Chrpa, T.L. McCluskey, Improving a Planner’s Performance through Online Heuristic Configuration of Domain Models, Proceedings of the 10th International Symposium on Combinatorial Search (SoCS-17), 2017.

M. Vallati, L. Chrpa, I. Serina, On the Evolution of Planner-Specific Macro Sets, In Proceedings of the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA-17), 2017.

A. Capitanelli, M. Maratea, F. Mastrogiovanni, M. Vallati, Automated Planning Techniques for Robot Manipulation Tasks Involving Articulated Objects, In Proceedings of the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA-17), 2017.

M. Vallati, F. Cerutti, M. Giacomin, On the Combination of Argumentation Solvers into Parallel Portfolios, In Proceedings of the 30th Australasian Joint Conference on Artificial Intelligence (AI’17), 2017.

S. Parkinson, Y. Qin, S. Khan, M. Vallati, Security Auditing in the Fog, In Proceedings of the 2nd International Conference on Internet of Things and Cloud Computing, 2017.

2016

M. Vallati, D. Magazzeni, B. De Schutter, L. Chrpa, T.L. McCluskey, Efficient Macroscopic Urban Traffic Models for Reducing Congestion: a PDDL+ Planning Approach, In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16 ), 2016.

F. Cerutti, M. Vallati, M. Giacomin, jArgSemSAT: an Efficient Off-The-Shelf Solver for Abstract Argumentation Frameworks, In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR-16), 2016.

W. Faber, M.Vallati, F. Cerutti, M. Giacomin, Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation, In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-16), 2016.

L.Chrpa, M. Vallati, On the Exploitation of Automated Planning for Efficient Decision Making in Road Traffic Accident Management, In Proceedings of the 55th IEEE Conference on Decision and Control (CDC-16), 2016.

F. Cerutti, M. Vallati, M. Giacomin, Where Are We Now? State of the Art and Future Trends of Solvers for Hard Argumentation Problems, In Proceedings of the 6th International Conference on Computational Models of Argument (COMMA-16), 2016.

F. Cerutti, M. Vallati, M. Giacomin, On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning, In Proceedings of the 6th International Conference on Computational Models of Argument (COMMA-16), 2016.

F. Cerutti, M. Vallati, M. Giacomin, Generating Structured Argumentation Frameworks: AFBenchGen2, In Proceedings of the 6th International Conference on Computational Models of Argument (COMMA-16), 2016.

F. Cerutti, M. Vallati, M. Giacomin, Efficient and Off-The-Shelf Solver: jArgSemSAT, In Proceedings of the 6th International Conference on Computational Models of Argument (COMMA-16), 2016.

R. Gatta, M. Vallati, C. Cappelli, B. De Bari, M. Salvetti, S. Finardi, M.L. Muiesan, V. Valentini, M. Castellano, Bridging the Gap Between Knowledge Representation and Electronic Health Records, In Proceedings of the 9th International Conference on Health Informatics (HealthInf-16), 2016.

N. Dinapoli, A.R. Alitto, M. Vallati, R. Autorino, R. Gatta, L. Boldrini, A. Damiani, G. Mantini, V. Valentini, RadioBio data: a Moddicom Module to Predict Tumor Control Probability and Normal Tissue Complication Probability in Radiotherapy, In Proceedings of the 9th International Conference on Health Informatics (HealthInf-16), 2016.

T.L. McCluskey, M. Vallati, L. Chrpa, I. Tachmazidis, An AI Planning Tool for Region Wide Urban Traffic Control, System Demonstration of The 26th International Conference on Automated Planning and Scheduling (ICAPS), 2016.

W. Faber, M.Vallati, F. Cerutti, M. Giacomin, Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation, In Proceedings of the 1st Workshop on Trends and Applications of Answer Set Programming (TAASP-16), 2016.

M. Vallati, L. Chrpa, T.L. McCluskey, B. De Schutter, D. Magazzeni, Efficient Macroscopic Urban Traffic Models for Reducing Congestion: a PDDL+ Planning Approach, In Proceedings of the AAAI-16 Workshop on Planning for Hybrid Systems (PlanHS-16), 2016.

R. Jilani, A. Cramption, D. Kitchin, M. Vallati, Have a Little Patience: Let Planners Play Cards, In Workshop of the UK Planning and Scheduling Special Interest Group (PLANSIG-16), 2016.

T.L. McCluskey, M. Vallati, 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, In Workshop of the UK Planning and Scheduling Special Interest Group (PLANSIG-16), 2016.

T.L. McCluskey, T.S. Vaquero, M. Vallati, Issues in Planning Domain Model Engineering, In Workshop of the UK Planning and Scheduling Special Interest Group (PLANSIG-15), 2016.

S. Parkinson, A. Longstaff, S. Fletcher, M. Vallati, L. Chrpa, Planning Machine Activity Between Manufacturing Operations: Maintaining Accuracy While Reducing Energy Consumption, In Proceedings of the ICAPS Scheduling and Planning Applications woRKshop (SPARK-16), 2016.

V. Velardo, M. Vallati, A General Framework for Describing Creative Agents, arXiv cs.AI.

2015

M. Vallati, F. Hutter, L. Chrpa, T.L. McCluskey, On the Effective Configuration of Planning Domain Models, In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-15), 2015.

L.Chrpa, M. Vallati, T.L. McCluskey, On the Online Generation of Effective Macro-operators, In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-15), 2015.

F. Cerutti, I. Tachmazidis, M. Vallati, S. Batsakis, M. Giacomin, and G. Antoniou, Exploiting Parallelism for Hard Problems in Abstract Argumentation, In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-15), 2015. 

M. Vallati, I. Serina, A. Saetti, A.E. Gerevini, Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning, In Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS-15), 2015.

A. Damiani, M. Vallati, R. Gatta, N. Dinapoli, A. Jochems, T. Deist, J. van Soest, A. Dekker, V. Valentini, Distributed Learning to Protect Privacy in Multi-centric Clinical Studies, In Proceedings of the 15th Conference on Artificial Intelligence in Medicine (AIME-15), 2015.

R. Fuentetaja, L. Chrpa, T.L. McCluskey, M. Vallati, Exploring the synergy between two modular learning techniques for Automated Planning, In Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS-15), 2015.

L. Chrpa, E. Scala, M. Vallati, Towards a Reformulation Based Approach for Efficient Numeric Planning: Numeric Outer Entanglements, In Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS-15), 2015.

R. Jilani, A. Crampton, D. Kitchin, M. Vallati, ASCoL: a Tool for Improving Automatic Planning Domain Model Acquisition, In Proceedings of the Conference of the Italian Association of Artificial Intelligence (AI*IA-15), 2015.

M. Rizzini, C. Fawcett, M. Vallati, A.E. Gerevini, H. Hoos, Portfolio Methods for Optimal Planning: an Empirical Analysis, In Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-15), 2015.

V. Velardo, M. Vallati, A Planning-based Approach for Music Composition, In Proceedings of the 11th International Symposium on Computer Music Multidisciplinary Research (CMMR-15), 2015.

V. Velardo, M. Vallati, On the Stylistic Evolution of a Society of Virtual Melody Composers, In Proceedings of the 4th International Conference on Evolutionary and Biologically Inspired Music, Sound, Art and Design (EvoMusArt-15), 2015.

V. Velardo, M. Vallati, The Effect of Repetition and Expertise on Liking and Complexity in Contemporary Music, In Proceedings of the 9th Triennial Conference of the European Society for the Cognitive Sciences of Music (ESCOM-15), 2015.

V. Somaraki, M. Vallati, T.L. McCluskey, Discovering Interesting Trends in Real Medical Data: A study in Diabetic Retinopathy, In Artificial Intelligence in Medicine Track – The 17th Portuguese Conference on Artificial Intelligence (EPIA-15), 2015.

R. Gatta, M. Vallati, N. Mazzini, D. Kitchin, A. Bonisoli, A.E. Gerevini, V. Valentini, On the Efficient Allocation of Diagnostic Activities in Modern Imaging Departments, In Artificial Intelligence in Medicine Track – The 17th Portuguese Conference on Artificial Intelligence (EPIA-15), 2015.

N. Dinapoli, A.R. Alitto, M. Vallati, R. Gatta, R. Autorino, L. Boldrini, A. Damiani, V. Valentini, Moddicom: a Complete and Easily Accessible Library for Prognostic Evaluations Relying on Image Features, In Proceedings of the The 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC-15), 2015.

M. Vallati, T. Vaquero, Towards a Protocol for Benchmark Selection in IPC, Workshop on the International Planning Competition (WIPC), 2015.

L. Chrpa, D. Magazzeni, K. McCabe, T.L. McCluskey, M. Vallati, Automated Planning for Urban Traffic Control: Strategic Vehicle Routing to Respect Air Quality Limitations, 6th Italian Workshop on Planning and Scheduling (IPS), 2015.

M. Vallati, I. Serina, A. Saetti, A.E. Gerevini, Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning, In Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for solving problems with combinatorial explosion, 2015.

R. Jilani, A. Crampton, D. Kitchin, M. Vallati, ASCoL: a Tool for Improving Automatic Planning Domain Model Acquisition, In Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for solving problems with combinatorial explosion, 2015.

2014

M. Vallati, F. Cerutti, M. Giacomin, Argumentation Frameworks Features: an Initial Study, In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI- 14), 2014.

M. Vallati, L. Chrpa, T.L. McCluskey, (eds.) The Eighth International Planning Competition. Description of Participant Planners of the Deterministic Track, 8th International Planning Competition, 2014.

L. Chrpa, M. Vallati, T.L. McCluskey, MUM: A Technique for Maximising the Utility of Macro-operators by Constrained Generation and Use, In Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS-14), 2014.

C. Fawcett, M. Vallati, F. Hutter, J. Hoffmann, H.H. Hoos, K. Leyton-Brown, Improved Features for Runtime Prediction of Domain-Independent Planners, In Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS-14), 2014.

F. Cerutti, M. Giacomin, M. Vallati, M. Zanella, A SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation, In Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR-14), 2014.

F. Cerutti, M. Giacomin, M. Vallati, Algorithm Selection for Preferred Extensions Enumeration, In Proceedings of the 5th International Conference on Computational Models of Argument (COMMA-14), 2014.

F. Cerutti, M. Giacomin, M. Vallati, Generating Challenging Benchmark AFs, In Proceedings of the 5th International Conference on Computational Models of Argument (COMMA-14), 2014.

F. Cerutti, M. Giacomin, M. Vallati, ArgSemSAT: Solving Argumentation Problems Using SAT, In Proceedings of the 5th International Conference on Computational Models of Argument (COMMA-14), 2014.

F. Cerutti, N. Oren, H. Strass, M. Thimm, M. Vallati, A Benchmark Framework for a Computational Argumentation Competition, In Proceedings of the 5th International Conference on Computational Models of Argument (COMMA-14), 2014.

R. Gatta, M. Vallati, B. De Bari, N. Pasinetti, C. Cappelli, I. Pirola, M. Salvetti, M. Buglione, M.L. Muiesan, S.M. Magrini, M. Castellano, Information Retrieval in Medicine: an Extensive Experimental Study, In Proceedings of the 7th International Conference on Health Informatics (HealthInf-14), 2014.

V. Velardo, M. Vallati, GenoMeMeMusic: a Memetic-based Framework for Discovering the Musical Genome, In Proceedings of the 40th International Computer Music Conference (ICMC-14), 2014.

V. Velardo, M. Vallati, Automatic Melody Composition and Evolution: a Cognitive-based Approach, In Proceedings of the 9th Conference on Interdisciplinary Musicology (CIM-14)), 2014.

M. Vallati, F. Cerutti, M. Giacomin, Argumentation Extensions Enumeration as a Constraint Satisfaction Problem: a Performance Overview, In International Workshop on Defeasible  and Ampliative Reasoning (DARe), 2014.

R. Gatta, M. Vallati, B. De Bari, M. Ozsahin, The Impact of Different Training Sets on Medical Documents Classification, In 3rd International Workshop on Artificial Intelligence and Assistive Medicine (AI-AM/NETMED), 2014.

R. Jilani, A. Crampton, D. Kitchin, M. Vallati, Automated Knowledge Engineering Tools in Planning: State-of-the-art and Future Challenges, In the Workshop on Knowledge Engineering for Planning and Scheduling (KEPS), 2014.

I. Cenamor, L. Chrpa, F. Jimoh, T.L. McCluskey, M. Vallati, Planning & Scheduling Applications in Urban Traffic Management, In The 32nd Workshop of the UK Planning and Scheduling Special Interest Group (PLANSIG-14), 2014.

R. Jilani, A. Crampton, D. Kitchin, M. Vallati, ASCoL: Automated Acquisition of Domain Specific Static Constraints from Plan Traces, In The 32nd Workshop of the UK Planning and Scheduling Special Interest Group (PLANSIG-14), 2014.

2013

M. Shah, L. Chrpa, D. Kitchin, T. L. McCluskey, M. Vallati, Exploring Knowledge Engineering Strategies in Designing & Modelling Road Traffic Accident Management, In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-13), 2013.

M. Vallati, R. Gatta, B. De Bari, S. Magrini, Clinical Similarities: an innovative approach for supporting Medical Decisions, In Proceedings of the 14th World Congress on Medical and Health Informatics (MedInfo-13), IOS Press, 2013.

M. Vallati, L. Chrpa, D. Kitchin, An Automatic Algorithm Selection Approach for Planning, In Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-13), 2013.

M. Vallati, L. Chrpa, A. Crampton, Underestimation vs Overestimation in SAT-based Planning, In Proceedings of the XIII Conference of the Italian Association of Artificial Intelligence (AI*IA-13), 2013.

M. Vallati, B. De Bari, R. Gatta, M. Buglione, S.M. Magrini, B.A. Jereczek-Fossa, F. Bertoni, Exploiting Machine Learning for Predicting Nodal Status in Prostate Cancer Patients, In Proceedings of the 9th International Conference on Artificial Intelligence Applications and Innovations (AIAI-13), 2013.

M. Vallati, C. Fawcett, A.E. Gerevini, H.H. Hoos, A. Saetti, Automatic Generation of Efficient Domain-Specific Planners from Generic Parametrized Planners, In Proceedings of the 6th Annual Symposium on Combinatorial Search (SoCS-13), 2013.

L. Chrpa, M. Vallati, T.L. McCluskey, Determining Linearity of Optimal Plans by Operator Schema Analysis, In Proceedings of the 10th Symposium on Abstraction, Reformulation, and Approximation (SARA-13), 2013.

L. Chrpa, M. Vallati, T.L. McCluskey, D. Kitchin, Generating Macro-operators by Exploiting Inner Entanglements, In Proceedings of the 10th Symposium on Abstraction, Reformulation, and Approximation (SARA-13), 2013.

L. Chrpa, M. Vallati, H. Osborne, Learnability of Specific Structural Patterns of Planning Problems, In Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-13), 2013.

L. Chrpa, M. Vallati, Revisiting Inner Entanglements in Classical Planning, In Proceedings of the 12th Scandinavian AI Conference (SCAI-13), 2013.

F. Jimoh, L. Chrpa, M. Vallati, Autonomic System Architecture: an Automated Planning Perspective, In Proceedings of the 9th International Conference on Artificial Intelligence Applications and Innovations (AIAI-13), 2013.

F. Cerutti, P.E. Dunne, M. Giacomin, M. Vallati, Computing Preferred Extensions in Abstract Argumentation: a SAT-based Approach, In Theory and Applications of Formal Argumentation, Lecture Notes in Computer Science, Springer, 2013.

M. Vallati, L. Chrpa, F. Cerutti, Towards Automated Planning Domain Models Generation, In 5th Italian Workshop on Planning and Scheduling (IPS), 2013.

F. Cerutti, P. Dunne, M. Giacomin, M. Vallati, A SAT-based Approach for Computing Extensions in Abstract Argumentation, In the 2nd International Workshop on Theory and Applications of Formal Argumentation (TAFA-13), 2013.

M. Shah, L. Chrpa, F. Jimoh, D. Kitchin, T. L. McCluskey, S. Parkinson, M. Vallati, Knowledge Engineering Tools in Planning: State-of-the-art and Future Challenges, Workshop on Knowledge Engineering for Planning and Scheduling  (KEPS), 2013.

B. De Bari, M. Vallati, R. Gatta, M. Buglione, G. Girelli, F. Munoz, I. Meattini, E. Cagna, L. Pegurri, S.M. Magrini, To predict nodal status using Artificial Intelligence approaches in prostate cancer: beyond the Roach formula?, (abstract accepted as poster and for poster discussion session), In the 2nd Forum of the European Society for Radiotherapy and Oncology (ESTRO-13), 2013.

2012

Mauro Vallati, Configuration and Learning Techniques for Efficient Automated Planning Systems (in Italian), Ph.D. Thesis, University of Brescia: Department of Information Engineering, 2012.

F. Cerutti, M. Vallati, On Practical Reasoning and Automated Planning,  The 30th Workshop of the UK Planning and Scheduling Special Interest Group (PLANSIG-12), 2012.

M. Vallati, D. Kitchin, Challenges of Portfolio-based Planning, The 30th Workshop of the UK Planning and Scheduling Special Interest Group (PLANSIG-12), 2012.

Mauro Vallati, A Guide to Portfolio-based Planning, In Proceedings of the 6th MultiDisciplinary International Workshop on Artificial Intelligence (MIWAI-12), Lecture Notes in Computer Science, 7694/2012, 57-68, Springer, 2012.

A. E. Gerevini, A. Saetti, M. Vallati, Exploiting Macro-actions and Predicting Plan Length in Planning as Satisfiability, In Proceedings of the 19th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2012.

B. De Bari, M. Vallati, R. Gatta, N. Pasinetti , G. Girelli, F. Munoz, L. Livi, R. Bellavita, M. Krengli, E. Cagna, F. Bunkhelia, M. Signor, S.M. Magrini, An innovative method to predict Nodal (N) status using an Artificial Intelligence approach in the low risk prostate cancer patients (pts): beyond the Roach formula?, (abstract for oral presentation), The 22nd conference of the Italian Association of Radiotherapy Oncology (AIRO-12), 2012.

2011

A. E. Gerevini, A. Saetti, M. Vallati, Exploiting Macro-actions and Predicting Plan Length in Planning as Satisfiability, In Proceedings of the XII Italian Association of Artificial Intelligence (AI*IA-11), Lecture Notes in Computer Science, 6934/2011, 189–200, Springer, 2011.

M. Vallati, C. Fawcett, A. E. Gerevini, H. H. Hoos, A. Saetti, Generating Fast Domain-Specific Planners by Automatically Configuring a Generic Parameterised Planner, In Workshop on Planning and Learning, 2011.

M. Vallati, C. Fawcett, A. E. Gerevini, H. H. Hoos, A. Saetti, Automatic Generation of Efficient Domain-Specific Planners from Generic Parametrized Planners, In Proceedings of the 18th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2011.

Mauro Vallati, Configuration and Learning Techniques for Efficient Automated Planning Systems, In Doctoral Consortium of the 21st International Conference on Automated Planning & Scheduling (ICAPS-11), 2011.

2010

Mauro Vallati, MacroSatPlan: Combining macro and SAT planning, In Doctoral Consortium of the 20th International Conference on Automated Planning &  Scheduling (ICAPS-10), 2010.

Mauro Vallati, Combining macro and SAT planning, In Doctoral Consortium of the 11th Italian Association of Artificial Intelligence (AI*IA-10), 2010.

A. E. Gerevini, A. Saetti, M. Vallati, Optimal SAT-based Planning with Macro-actions and Learned Horizons, In The 28th Workshop of the UK Planning and Scheduling Special Interest Group and the 4th Italian Workshop on Planning  and Scheduling (PLANSIG-10), 2010.

2009

A.E. Gerevini, A. Saetti, M. Vallati, An Automatically Configurable Portfolio-based Planner with Macro-actions: PbP, In Proceedings of the 19th International Conference on Automated Planning & Scheduling (ICAPS-09), 19–23, AAAI Press, 2009. 

A.E. Gerevini, A. Saetti, M. Vallati, Learning and Exploiting Configuration Knowledge for a Portfolio-based Planner, In Workshop on Planning and Learning (PAL), 2009.

I. Cenamor, M. Vallati, L. Chrpa, T. de la Rosa, F. Fernandez, TemPoRal: Temporal Portfolio Algorithm, In 9th International Planning Competition, 2018.

F. Cerutti, M. Vallati, M. Giacomin, T. Zanetti, ArgSemSAT-2017, 2nd International Competition on Computational Models of Argumentation (ICCMA), 2017.

M. Vallati, F. Cerutti, M. Giacomin, Chimaerarg: Configuring Static Portfolios for Solving Argumentation Problems, 2nd International Competition on Computational Models of Argumentation (ICCMA), 2017.

W. Faber, M. Vallati, F. Cerutti, M. Giacomin, The ASPrMin Solver-Enumerating Preferred Extensions Using ASP Domain Heuristics, 2nd International Competition on Computational Models of Argumentation (ICCMA), 2017.

M. Vallati, D. Magazzeni, B. De Schutter, Automated Planning for Urban Traffic Control: Moving from Objects to Flows, the 2nd International Competition of the EU COST Action “ARTS: Towards Autonomic Road Transport Support Systems”, 2015.

F. Cerutti, M. Vallati, M. Giacomin, ArgSemSAT-1.0: Exploiting SAT Solvers in Abstract Argumentation, 1st International Competition on Computational Models of Argumentation (ICCMA), 2015. 

M. Vallati, F. Cerutti, W. Faber, M. Giacomin, prefMaxSAT: Exploiting MaxSAT for Enumerating Preferred Extensions, 1st International Competition on Computational Models of Argumentation (ICCMA), 2015.

F. Cerutti, P.E. Dunne, M. Giacomin, M. Vallati, Computing Preferred Extensions in Abstract Argumentation: a SAT-based Approach, Technical Report arXiv:1310.4986, 2013.

B. Galvani, A.E. Gerevini, A. Saetti, M. Vallati, A Planner Based on an Automatically Configurable Portfolio of Domain-independent Planners  with Macro-actions: PbP, In Working notes of the 18th International Conference on Automated Planning & Scheduling (ICAPS-08) - 6th International Planning Competition, 2008.

A.E. Gerevini, A. Saetti, M. Vallati, PbP2: Automatic Configuration of a Portfolio-based MultiPlanner, In Working notes of the 21st International Conference on Automated Planning & Scheduling (ICAPS-11) - 7th International Planning Competition, 2011.

M. Vallati, C. Fawcett, A.E. Gerevini, H.H. Holger, A. Saetti, ParLPG: Generating Domain-Specific Planners through Automatic Parameter Configuration in LPG, In Working notes of the 21st International Conference on Automated Planning & Scheduling (ICAPS-11) - 7th International Planning Competition, 2011.