Find Research Outputs

Search concepts
Selected filters

Publication Year

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

Author

  • Mauro Vallati
2017

On the Combination of Argumentation Solvers into Parallel Portfolios

Vallati, M., Cerutti, F. & Giacomin, M., 9 Jul 2017, AI 2017: Advances in Artificial Intelligence: 30th Australasian Joint Conference, Melbourne, VIC, Australia, August 19–20, 2017, Proceedings. Peng, W., Alahakoon, D. & Li, X. (eds.). 1st ed. Springer Verlag, p. 315-327 13 p. (Lecture Notes in Artificial Intelligence).

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

1 Citation (Scopus)

On the Evolution of Planner-Specific Macro Sets

Vallati, M., Chrpa, L. & Serina, I., 7 Nov 2017, AI*AI 2017 Advances in Artificial Intelligence: XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings. Esposito, F., Basili, R., Ferilli, S. & Lisi, F. A. (eds.). Springer Verlag, p. 443-454 12 p. (Lecture Notes in Artificial Intelligence (LNAI); vol. 10640).

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

1 Citation (Scopus)

On the Exploitation of Automated Planning for Reducing Machine Tools Energy Consumption Between Manufacturing Operations

Parkinson, S., Longstaff, A., Fletcher, S., Vallati, M. & Chrpa, L., 2017, 27th International Conference on Automated Planning and Scheduling: (ICAPS 2017). Barbulescu, L., Frank, J., M. & Smith, S. F. (eds.). Association for the Advancement of Artificial Intelligence, 9 p.

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

Open Access
1 Citation (Scopus)

pMineR: An Innovative R Library for Performing Process Mining in Medicine

Gatta, R., Lenkowicz[, J., Vallati, M., Rojas, E., Damiani, A., Sacchi, L., De Bari, B., Dagliati, A., Fernandez-Llatas, C., Montesi, M., Marchetti, A., Castellano, M. & Valentini, V., Jun 2017, Artificial Intelligence in Medicine: Proceedings of the 16th Conference on Artificial Intelligence in Medicine. Springer International Publishing AG, p. 351-355 5 p. (Lecture Notes in Artificial Intelligence).

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

Open Access
10 Citations (Scopus)

Preface

Chrpa, L., Parkinson, S. & Vallati, M., 2017, Proceedings of the 34th Workshop of the UK Planning and Scheduling Special Interest Group : PlanSIG 2016. Vol. 1782. 3 p.

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

Open Access

PRODIGE: PRediction models in prOstate cancer for personalized meDIcine challenGE

Alitto, A. R., Gatta, R., Vanneste, B. G. L., Vallati, M., Meldolesi, E., Damiani, A., Lanzotti, V., Mattiucci, G. C., Frascino, V., Masciocchi, C., Catucci, F., Dekker, A., Lambin, P., Valentini, V. & Mantini, G., 1 Oct 2017, In : Future Oncology. 13, 24

Research output: Contribution to journalArticle

Open Access
1 Citation (Scopus)

Security Auditing in the Fog

Parkinson, S., Qin, Y., Khan, S. & Vallati, M., 2017, Proceedings of the Second International Conference on Internet of Things: Data and Cloud Computing (ICC 2017). New York: Association for Computing Machinery (ACM), 9 p. a191

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

1 Citation (Scopus)

Static and Dynamic Portfolio Methods for Optimal Planning: An Empirical Analysis

Rizzini, M., Fawcett, C., Vallati, M., Gerevini, A. E. & Hoos, H. H., 23 Feb 2017, In : International Journal on Artificial Intelligence Tools. 26, 01, 27 p., 1760006.

Research output: Contribution to journalArticle

Open Access
6 Citations (Scopus)

The Fifth International competition on knowledge engineering for planning and scheduling: Summary and trends

Chrpa, L., McCluskey, T. L., Vallati, M. & Vaquero, T., 2 Apr 2017, In : AI Magazine. 38, 1, p. 104-106 3 p.

Research output: Contribution to journalReview article

Open Access
4 Citations (Scopus)
Open Access
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)

On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning

Cerutti, F., Vallati, M. & Giacomin, M., Sep 2016, Computational Models of Argument: Proceedings of COMMA 2016. Netherlands: IOS Press, Vol. 287. p. 199-206 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 287).

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

Open Access
2 Citations (Scopus)

On the exploitation of Automated Planning for efficient decision making in road traffic accident management

Chrpa, L. & Vallati, M., 27 Dec 2016, 2016 IEEE 55th Conference on Decision and Control, CDC 2016. Institute of Electrical and Electronics Engineers Inc., p. 6607-6612 6 p. 7799286

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

Open Access
1 Citation (Scopus)

Portfolio Methods for Optimal Planning: An Empirical Analysis

Rizzini, M., Fawcett, C., Vallati, M., Gerevini, A. E. & Hoos, H. H., 7 Jan 2016, 2015 IEEE 27th International Conference on Tools with Artificial Intelligence . IEEE, p. 494-501 8 p.

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

Open Access
3 Citations (Scopus)

RadioBio data: A Moddicom Module to Predict Tumor Control Probability and Normal Tissue Complication Probability in Radiotherapy

Dinapoli, N., Alitto, A. R., Vallati, M., Autorino, R., Gatta, R., Boldrini, L., Damiani, A., Mantini, G. & Valentini, V., 2016, Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies. Portugal: Science and Technology Publications, p. 277-281 5 p.

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

1 Citation (Scopus)

Solving set Optimization problems by cardinality Optimization with an application to argumentation

Faber, W., Vallati, M., Cerutti, F. & Giacomin, M., 2016, Frontiers in Artificial Intelligence and Applications. IOS Press, Vol. 285. p. 966-973 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 285).

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

Open Access
6 Citations (Scopus)

Summary report of the first international competition on computational models of argumentation

Thimm, M., Villata, S., Cerutti, F., Oren, N., Strass, H. & Vallati, M., 2016, In : AI Magazine. 37, 1, p. 102-104 3 p.

Research output: Contribution to journalReview article

Open Access
44 Citations (Scopus)

Symbolic melodic similarity: State of the art and future challenges

Velardo, V., Vallati, M. & Jan, S., 2016, In : Computer Music Journal. 40, 2, p. 70-83 14 p.

Research output: Contribution to journalArticle

Open Access
8 Citations (Scopus)

Where Are We Now? State of the Art and Future Trends of Solvers for Hard Argumentation Problems

Cerutti, F., Vallati, M. & Giacomin, M., 2016, Computational Models of Argument: Proceedings of COMMA 2016. Netherlands: IOS Press, Vol. 287. p. 207-218 12 p. (Frontiers in Artificial Intelligence and Applications; vol. 287).

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

Open Access
9 Citations (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)
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)