Mauro Vallati

View Scopus Profile

Mauro Vallati

Prof

 https://orcid.org/0000-0002-8429-3570

Accepting PhD Students

PhD projects

Click on the Fingerprint icon below to learn more about the research topics, expertise and interests of this academic.

Calculated based on number of publications stored in Pure and citations from Scopus
20092024

Research activity per year

Filter
Conference contribution

Search results

  • 2015

    On the efficient allocation of diagnostic activities in modern imaging departments

    Gatta, R., Vallati, M., Mazzini, N., Kitchin, D., Bonisoli, A., Gerevini, A. E. & Valentini, V., 2015, Progress in Artificial Intelligence - 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Proceedings. Springer Verlag, Vol. 9273. p. 103-109 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9273).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (Scopus)

  • On the online generation of effective macro-operators

    Chrpa, L., Vallati, M. & McCluskey, T. L., 25 Jul 2015, IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, Vol. 2015-January. p. 1544-1550 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    13 Citations (Scopus)

  • On the Stylistic Evolution of a Society of Virtual Melody Composers

    Velardo, V. & Vallati, M., 15 Mar 2015, Evolutionary and Biologically Inspired Music, Sound, Art and Design: Proceedings of the 4th International Conference, EvoMUSART 2015. Johnson, C., Carballal, A. & Correia, J. (eds.). Switzerland: Springer International Publishing AG, p. 249-260 12 p. (Lecture notes in Computer Science; vol. 9027).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (Scopus)

  • The Effect of Repetition and Expertise on Liking and Complexity in Contemporary Music

    Velardo, V. & Vallati, M., 2015, Proceedings of the Ninth Triennial Conference of the European Society for the Cognitive Sciences of Music. Ginsborg, J., Lamont, A. & Bramleu, S. (eds.). p. 810-815 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Towards a Reformulation Based Approach for Efficient Numeric Planning: Numeric Outer Entanglements

    Chrpa, L., Scala, E. & Vallati, M., 14 May 2015, Proceedings of the 8th Annual Symposium on Combinatorial Search, SoCS 2015. AAAI press, p. 166-170 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    6 Citations (Scopus)
  • 2014

    A Benchmark Framework for a Computational Argumentation Competition

    Cerutti, F., Oren, N., Strass, H., Thimm, M. & Vallati, M., 2014, Computational Models of Argument: Proceedings of COMMA 2014. IOS Press, Vol. 266. p. 459-460 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 266).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    22 Citations (Scopus)

  • Algorithm selection for preferred extensions enumeration

    Giacomin, M., Cerutti, F. & Vallati, M., 2014, Computational Models of Argument: Proceedings of COMMA 2014. IOS Press, Vol. 266. p. 221-232 12 p. (Frontiers in Artificial Intelligence and Applications; vol. 266).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    13 Citations (Scopus)

  • An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation

    Cerutti, F., Giacomin, M., Vallati, M. & Zanella, M., 4 May 2014, 14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014. AAAI press, p. 42-51 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    37 Citations (Scopus)

  • ArgSemSAT: Solving argumentation problems using SAT

    Giacomin, M., Cerutti, F. & Vallati, M., 2014, Computational Models of Argument: Proceedings of COMMA 2014. IOS Press, Vol. 266. p. 455-456 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 266).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    39 Citations (Scopus)

  • Argumentation Frameworks Features: an Initial Study

    Vallati, M., Cerutti, F. & Giacomin, M., 1 Jan 2014, ECAI 2014: 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings. Schaub, T., Friedrich, G. & O'Sullivan, B. (eds.). IOS Press, p. 1117-1118 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 263).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    6 Citations (Scopus)

  • Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach

    Cerutti, F., Dunne, P. E., Giacomin, M. & Vallati, M., 2014, Theory and Applications of Formal Argumentation: Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers. Black, E., Modgil, S. & Oren, N. (eds.). Berlin: Springer Verlag, p. 176-193 18 p. Chapter 12. (Theory and Applications of Formal Argumentation; vol. 8306).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    51 Citations (Scopus)

  • Generating challenging benchmark AFs

    Giacomin, M., Cerutti, F. & Vallati, M., 2014, Computational Models of Argument: Proceedings of COMMA 2014. IOS Press, Vol. 266. p. 457-458 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 266).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Citations (Scopus)

  • GenoMeMeMusic: A Memetic-based Framework for Discovering the Musical Genome

    Velardo, V. & Vallati, M., 2014, Proceedings ICMC 2014. Schaub, T., Friedrich, G. & O'Sullivan, B. (eds.). IOS Press, Vol. 2014. p. 1558-1564 7 p. ( Frontiers in artificial intelligence and applications; vol. 263).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Improved Features for Runtime Prediction of Domain-Independent Planners

    Fawcett, C., Vallati, M., Hutter, F., Hoffmann, J., Hoos, H. H. & Leyton-Brown, K., Aug 2014, Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014). Chien, S., Fern, A., Ruml, W. & Do, M. (eds.). AAAI press, p. 355-359 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    37 Citations (Scopus)

  • Information Retrieval in Medicine: An Extensive Experimental Study

    Gatta, R., Vallati, M., De Bari, B., Pasinetti, N., Cappelli, C., Pirola, I., Salvetti, M., Buglione, M., Muiesan, M. L., Magrini, S. & Castellano, M., 2014, Proceedings of the International Conference on Health Informatics. Angers, France, Vol. 1. p. 447-452 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (Scopus)

  • MUM: A technique for maximising the utility of macro-operators by constrained generation and use

    Chrpa, L., Vallati, M. & McCluskey, T. L., 10 May 2014, Proceedings Of The Twenty-Fourth International Conference On Automated Planning And Scheduling: ICAPS 2014. Chien, S., Do, M., Fern, A. & Ruml, W. (eds.). AAAI press, p. 65-73 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    26 Citations (Scopus)
  • 2013

    Autonomic system architecture: An automated planning perspective

    Jimoh, F., Chrpa, L. & Vallati, M., 2013, Artificial Intelligence Applications and Innovations - 9th IFIPWG 12.5 International Conference, AIAI 2013, Proceedings. Vol. 412. p. 121-130 10 p. (IFIP Advances in Information and Communication Technology; vol. 412).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Citations (Scopus)

  • Clinical Similarities: An Innovative Approach for Supporting Medical Decisions

    Vallati, M., Gatta, R., De Bari, B. & Magrini, S. M., 1 Dec 2013, MEDINFO 2013: Proceedings of the 14th World Congress on Medical and Health Informatics. Ulrich Lehmann, C., Ammenwerth, E. & Nøhr, C. (eds.). IOS Press, p. 1114-1114 1 p. (Studies in Health Technology and Informatics; vol. 192).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    2 Citations (Scopus)

  • Determining linearity of optimal plans by operator schema analysis

    Chrpa, L., Vallati, M. & McCluskey, T. L., 2013, Proceedings of the 10th Symposium on Abstraction, Reformulation, and Approximation, SARA 2013. p. 34-41 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (Scopus)

  • Exploiting Machine Learning for Predicting Nodal Status in Prostate Cancer Patients

    Vallati, M., De Bari, B., Gatta, R., Buglione, M., Magrini, S. M., Jereczek-Fossa, B. A. & Bertoni, F., 1 Dec 2013, Artificial Intelligence Applications and Innovations: 9th IFIPWG 12.5 International Conference, AIAI 2013, Proceedings. Papadopoulos, H., Andreou, A. S., Iliadis, L. & Maglogiannis, I. (eds.). Springer Verlag, p. 61-70 10 p. (IFIP Advances in Information and Communication Technology; vol. 412).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)

  • Exploring knowledge engineering strategies in designing and modelling a road traffic accident management domain

    Shah, M. M., Chrpa, L., Kitchin, D., McCluskey, T. L. & Vallati, M., 2013, IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence. p. 2373-2379 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    14 Citations (Scopus)

  • Generating macro-operators by exploiting inner entanglements

    Chrpa, L., Vallati, M., McCluskey, T. L. & Kitchin, D., 2013, Proceedings of the 10th Symposium on Abstraction, Reformulation, and Approximation, SARA 2013. p. 42-49 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Citations (Scopus)

  • Learnability of specific structural patterns of planning problems

    Chrpa, L., Vallati, M. & Osborne, H., 2013, Proceedings - 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013. p. 18-23 6 p. 6735225

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Citations (Scopus)

  • Revisiting inner entanglements in classical planning

    Chrpa, L. & Vallati, M., 2013, Twelfth Scandinavian Conference on Artificial Intelligence. SCAI 2013. Vol. 257. p. 75-84 10 p. (Frontiers in Artificial Intelligence and Applications; vol. 257).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Underestimation vs. overestimation in SAT-based planning

    Vallati, M., Chrpa, L. & Crampton, A., 2013, AI*IA 2013: Advances in Artificial Intelligence - XIIIth International Conference of the Italian Association for Artificial Intelligence, Proceedings. Vol. 8249 LNAI. p. 276-287 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8249 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)
  • 2012

    A Guide to Portfolio-Based Planning

    Vallati, M., 1 Dec 2012, Multi-Disciplinary Trends in Artificial Intelligence: 6th International Workshop, MIWAI 2012, Proceedings. Springer Verlag, p. 57-68 12 p. (Lecture Notes in Computer Science; vol. 7694).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Citations (Scopus)
  • 2011

    Exploiting Macro-actions and Predicting Plan Length in Planning as Satisfiability

    Gerevini, A. E., Saetti, A. & Vallati, M., 26 Sep 2011, AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth International Conference of the Italian Association for Artificial Intelligence, Proceedings. Pirrone, R. & Sorbello, F. (eds.). Springer Verlag, p. 189-200 12 p. (Lecture Notes in Computer Science; vol. 6934).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Citations (Scopus)
  • 2009

    An Automatically Configurable Portfolio-based Planner with Macro-actions: PbP

    Gerevini, A. E., Saetti, A. & Vallati, M., 16 Oct 2009, ICAPS 2009 - Proceedings of the 19th International Conference on Automated Planning and Scheduling. AAAI press, p. 350-353 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    38 Citations (Scopus)