Publications

Something interesting? Send me an email! :)
You can also check dblp and Google Scholar.

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.
  • 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, 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, to appear.
  • M. Vallati, F. Cerutti, M. Giacomin, Predictive Models and Abstract Argumentation: the case of High-Complexity Semantics, In Knowledge Engineering Review, 34, 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, 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.
  • 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
  • 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.
  • 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
2015
2014
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 Working notes of the 21st International Conference on Automated Planning & Scheduling (ICAPS-11) - 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 Working notes of the 21st International Conference on Automated Planning & Scheduling (ICAPS-11) - Doctoral Consortium of the 21st International Conference on Automated Planning & Scheduling (ICAPS-11), 2011.
2010
  • Mauro Vallati, MacroSatPlan: Combining macro and SAT planning, In Working notes of the 20th International Conference on Automated Planning & Scheduling (ICAPS-10) - 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

Other Publications:
  • 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.