| The 2014 international planning competition: Progress and trends M Vallati, L Chrpa, M Grześ, TL McCluskey, M Roberts, S Sanner Ai Magazine 36 (3), 90-98, 2015 | 105 | 2015 |
| An automatically configurable portfolio-based planner with macro-actions: PbP A Gerevini, A Saetti, M Vallati Nineteenth International Conference on Automated Planning and Scheduling, 2009 | 71 | 2009 |
| Summary report of the first international competition on computational models of argumentation M Thimm, S Villata, F Cerutti, N Oren, H Strass, M Vallati AI magazine 37 (1), 102-102, 2016 | 60 | 2016 |
| Computing preferred extensions in abstract argumentation: A SAT-based approach F Cerutti, PE Dunne, M Giacomin, M Vallati International Workshop on Theorie and Applications of Formal Argumentation …, 2013 | 60 | 2013 |
| Efficient Macroscopic Urban Traffic Models for Reducing Congestion: a PDDL+ Planning Approach M Vallati, D Magazzeni, B De Schutter, L Chrpa, TL McCluskey AAAI, 2016 | 47 | 2016 |
| ArgSemSAT: Solving Argumentation Problems Using SAT. F Cerutti, M Giacomin, M Vallati COMMA 266, 455-456, 2014 | 46 | 2014 |
| Improved features for runtime prediction of domain-independent planners C Fawcett, M Vallati, F Hutter, J Hoffmann, HH Hoos, K Leyton-Brown Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014 | 44 | 2014 |
| A SCC recursive meta-algorithm for computing preferred labellings in abstract argumentation F Cerutti, M Giacomin, M Vallati, M Zanella KR, 2014 | 36 | 2014 |
| On the effective configuration of planning domain models M Vallati, F Hutter, L Chrpa, TL McCluskey Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 28 | 2015 |
| MUM: A technique for maximising the utility of macro-operators by constrained generation and use L Chrpa, M Vallati, TL McCluskey Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014 | 25 | 2014 |
| Knowledge engineering tools in planning: State-of-the-art and future challenges M Shah, L Chrpa, F Jimoh, D Kitchin, T McCluskey, S Parkinson, M Vallati Knowledge engineering for planning and scheduling 53, 53, 2013 | 25 | 2013 |
| Automatic generation of efficient domain-optimized planners from generic parametrized planners M Vallati, C Fawcett, AE Gerevini, H Hoos, A Saetti Sixth Annual Symposium on Combinatorial Search, 2013 | 24 | 2013 |
| Embedding Automated Planning within Urban Traffic Management Operations TL McCluskey, M Vallati ICAPS, 2017 | 23 | 2017 |
| A Benchmark Framework for a Computational Argumentation Competition. F Cerutti, N Oren, H Strass, M Thimm, M Vallati COMMA, 459-460, 2014 | 22 | 2014 |
| Planning through automatic portfolio configuration: The pbp approach A Gerevini, A Saetti, M Vallati Journal of Artificial Intelligence Research 50, 639-696, 2014 | 22 | 2014 |
| Exploring knowledge engineering strategies in designing and modelling a road traffic accident management domain MMS Shah, L Chrpa, D Kitchin, TL McCluskey, M Vallati Twenty-Third International Joint Conference on Artificial Intelligence, 2013 | 20 | 2013 |
| Symbolic melodic similarity: State of the art and future challenges V Velardo, M Vallati, S Jan Computer Music Journal 40 (2), 70-83, 2016 | 19 | 2016 |
| Distributed learning to protect privacy in multi-centric clinical studies A Damiani, M Vallati, R Gatta, N Dinapoli, A Jochems, T Deist, ... Conference on artificial intelligence in medicine in europe, 65-75, 2015 | 18 | 2015 |
| Ascol: A tool for improving automatic planning domain model acquisition R Jilani, A Crampton, D Kitchin, M Vallati Congress of the Italian association for artificial intelligence, 438-451, 2015 | 17 | 2015 |
| Where Are We Now? State of the Art and Future Trends of Solvers for Hard Argumentation Problems. F Cerutti, M Vallati, M Giacomin COMMA, 207-218, 2016 | 16 | 2016 |
Lukas ChrpaAssistant Professor at Czech Technical University; Research Fellow at Charles University in PragueVerified email at fel.cvut.cz
