Publications

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

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.
  • 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.
  • 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, 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, to appear 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
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:
  • 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.