Find Research Outputs

Search concepts
Selected filters

Publication Year

  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011

Author

  • Mauro Vallati
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 proceedingConference contribution

4 Citations (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 proceedingConference contribution

1 Citation (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 proceedingConference contribution

2 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 proceedingConference contribution

Open Access
1 Citation (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 proceedingConference contribution

2 Citations (Scopus)

Efficient planning through automatic configuration and machine learning

Vallati, M., 30 Sep 2013, In : AI Communications. 26, 3, p. 319-321 3 p.

Research output: Contribution to journalArticle

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 proceedingConference contribution

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 proceedingConference contribution

8 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 proceedingConference contribution

2 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 proceedingConference contribution

3 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 proceedingConference contribution

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 proceedingConference contribution

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 proceedingConference contribution

15 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 proceedingConference contribution

10 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 proceedingConference contribution

Open Access
21 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 proceedingConference contribution

34 Citations (Scopus)

Argumentation Extensions Enumeration as a Constraint Satisfaction Problem: A Performance Overview

Vallati, M., Cerutti, F. & Giacomin, M., 18 Aug 2014, In : CEUR Workshop Proceedings. 1212, 13 p.

Research output: Contribution to journalConference article

Open Access
1 Citation (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 proceedingConference contribution

Open Access
4 Citations (Scopus)

ASAP: An automatic algorithm selection approach for planning

Vallati, M., Chrpa, L. & Kitchin, D., 29 Dec 2014, In : International Journal on Artificial Intelligence Tools. 23, 6, 1460032.

Research output: Contribution to journalArticle

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 proceedingConference contribution

Open Access
43 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 proceedingConference contribution

5 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 proceedingConference contribution

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 proceedingConference contribution

Open Access
25 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 proceedingConference contribution

2 Citations (Scopus)
11 Citations (Scopus)

Planning through Automatic Portfolio Configuration: The PbP Approach

Gerevini, A. E., Saetti, A. & Vallati, M., Jul 2014, In : Journal of Artificial Intelligence Research. 50, p. 639-696 58 p.

Research output: Contribution to journalArticle

Open Access
16 Citations (Scopus)

The Impact of Different Training Sets on Medical Documents Classification

Gatta, R., Vallati, M., De Bari, B. & Ozsahin, M., 17 Aug 2014, In : CEUR Workshop Proceedings. 1213, p. 1-5 5 p.

Research output: Contribution to journalConference article

Open Access
1 Citation (Scopus)
2015

Ascol: A tool for improving automatic planning domain model acquisition

Jilani, R., Crampton, A., Kitchin, D. & Vallati, M., 2015, AIIA 2015 - Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Proceedings. Springer Verlag, Vol. 9336. p. 438-451 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9336).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)

Automated planning for urban traffic control: Strategic vehicle routing to respect air quality limitations

Chrpa, L., Magazzeni, D., McCabe, K., McCluskey, T. L. & Vallati, M., 2015, In : CEUR Workshop Proceedings. 1493, p. 65-79 15 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Could Machine Learning Improve the Prediction of Pelvic Nodal Status of Prostate Cancer Patients? Preliminary Results of a Pilot Study

De Bari, B., Vallati, M., Gatta, R., Simeone, C., Girelli, G., Ricardi, U., Meattini, I., Gabriele, P., Bellavita, R., Krengli, M., Cafaro, I., Cagna, E., Bunkheila, F., Borghesi, S., Signor, M., Di Marco, A., Bertoni, F., Stefanacci, M., Pasinetti, N., Buglione, M. & 1 others, Magrini, S. M., 2015, In : Cancer Investigation. 33, 6, p. 232-240 9 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Discovering interesting trends in real medical data: A study in diabetic retinopathy

Somaraki, V., Vallati, M. & McCluskey, T. L., 1 Jan 2015, In : Lecture Notes in Computer Science. 9273, p. 134-140 7 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Distributed Learning to Protect Privacy in Multi-centric Clinical Studies

Damiani, A., Vallati, M., Gatta, R., Dinapoli, N., Jochems, A., Deist, T., van Soest, J., Dekker, A. & Valentini, V., 2015, Artificial Intelligence in Medicine: 15th Conference on Artificial Intelligence in Medicine, AIME 2015, Pavia, Italy, June 17-20, 2015. Proceedings. Holmes, J. H., Bellazzi, R., Sacchi, L. & Peek, N. (eds.). Springer, Cham, Vol. 9105. p. 65-75 11 p. (Lecture Notes in Computer Science; vol. 9105).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Exploiting macro-actions and predicting plan length in planning as satisfiability

Gerevini, A. E., Saetti, A. & Vallati, M., Apr 2015, In : AI Communications. 28, 2, p. 323-344 22 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Exploiting parallelism for hard problems in abstract argumentation

Cerutti, F., Tachmazidis, I., Vallati, M., Batsakis, S., Giacomin, M. & Antoniou, G., 1 Jun 2015, Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. AI Access Foundation, Vol. 2. p. 1475-1481 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Exploring the Synergy between Two Modular Learning Techniques for Automated Planning

Fuentetaja, R., Chrpa, L., McCluskey, T. L. & Vallati, M., 13 May 2015, Proceedings of the 8th Annual Symposium on Combinatorial Search, SoCS 2015. AAAI press, p. 35-43 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Identifying and exploiting features for effective plan retrieval in case-based planning

Vallati, M., Serina, I., Saetti, A. & Gerevini, A. E., Apr 2015, Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015). Brafman, R., Domshlak, C., Haslum, P. & Zilberstein, S. (eds.). AAAI press, p. 239-243 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
2 Citations (Scopus)

Moddicom: A complete and easily accessible library for prognostic evaluations relying on image features

Dinapoli, N., Alitto, A. R., Vallati, M., Gatta, R., Autorino, R., Boldrini, L., Damiani, A. & Valentini, V., 5 Nov 2015, 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society : EMBC. p. 771-774 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Citations (Scopus)

On the effective configuration of planning domain models

Vallati, M., Hutter, F., Chrpa, L. & McCluskey, T. L., 2015, IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, Vol. 2015-January. p. 1704-1711 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

18 Citations (Scopus)

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 proceedingConference contribution

On the online generation of effective macro-operators

Chrpa, L., Vallati, M. & McCluskey, T. L., 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 proceedingConference contribution

7 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 proceedingConference contribution

1 Citation (Scopus)

Portfolio-based planning: State of the art, common practice and open challenges

Vallati, M., Chrpa, L. & Kitchin, D., 18 Sep 2015, In : AI Communications. 28, 4, p. 717-733 17 p.

Research output: Contribution to journalArticle

6 Citations (Scopus)

The 2014 International Planning Competition: Progress and Trends

Vallati, M., Chrpa, L., Grzes, M., McCluskey, T. L., Roberts, M. & Sanner, S., 28 Sep 2015, In : AI Magazine. 36, 3, p. 90-98 9 p.

Research output: Contribution to journalReview article

57 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 proceedingConference 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 proceedingConference contribution

Open Access
4 Citations (Scopus)
2016

Bridging the Gap Between Knowledge Representation and Electronic Health Records

Gatta, R., Vallati, M., Cappelli, C., De Bari, B., Salvetti, M., Finardi, S., Muiesan, M. L., Valentini, V. & Castellano, M., 2016, Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies. Portugal: Science and Technology Publications, p. 159-165 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Efficient macroscopic urban traffic models for reducing congestion: A PDDL+ planning approach

Vallati, M., Magazzeni, D., Schutter, B. D., Chrpa, L. & McCluskey, T. L., 2016, 30th AAAI Conference on Artificial Intelligence, AAAI 2016. AAAI press, p. 3188-3194 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
28 Citations (Scopus)

Generating structured argumentation frameworks: Afbenchgen2

Cerutti, F., Giacomin, M. & Vallati, M., 1 Jan 2016, Computational Models of Argument : Proceedings of COMMA 2016 . Baroni, P., Gordon, T. F., Scheffler, T. & Stede, M. (eds.). Vol. 287. p. 467-468 2 p. (Frontiers in Artificial Intelligence and Applications).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
4 Citations (Scopus)

Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning

Vallati, M., Serina, I., Saetti, A. & Gerevini, A. E., 24 Dec 2016, In : Fundamenta Informaticae. 149, 1-2, p. 209-240 32 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

jArgSemSAT: An Efficient Off-The-Shelf Solver for Abstract Argumentation Frameworks

Cerutti, F., Vallati, M. & Giacomin, M., 2016, Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning. AAAI press, p. 541-544 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)