Find Research Outputs

Search concepts
Selected filters

Publication Year

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

Author

  • Mauro Vallati

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)

A Framework for Event Log Generation and Knowledge Representation for Process Mining in Healthcare

Gatta, R., Vallati, M., Lenkowicz, J., Casà, C., Cellini, F., Damiani, A. & Valentini, V., 13 Dec 2018, 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2018). IEEE, p. 647-654 8 p. 8576101

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

Open Access
File
2 Citations (Scopus)

A General Approach for Configuring PDDL Problem Models

Vallati, M. & Serina, I., 1 Jun 2018, Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS-18). AAAI press, Vol. 2018-June. p. 431-435 5 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

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

Open Access
File
2 Citations (Scopus)

A General Approach to Exploit Model Predictive Control for Guiding Automated Planning Search in Hybrid Domains

Bhatti, F., Kitchin, D. & Vallati, M., 9 Jan 2020, Artificial Intelligence XXXVI: 39th SGAI International Conference on Artificial Intelligence, AI 2019, Cambridge, UK, December 17–19, 2019, Proceedings. Bramer, M. & Petridis, M. (eds.). 1st ed. Cham: Springer Nature Switzerland AG, p. 139-145 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11927 LNAI).

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

Open Access
File

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)

A Hypercat-Enabled Semantic Internet of Things Data Hub

Tachmazidis, I., Batsakis, S., Davies, J., Duke, A., Vallati, M., Antoniou, G. & Clarke, S. S., 2017, The Semantic Web - 14th International Conference, ESWC 2017, Proceedings. Springer Verlag, Vol. 10250 LNCS. p. 125-137 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10250 LNCS).

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

6 Citations (Scopus)

AI to Facilitate Legal Analysis in the PESTLE Context

Vallati, M. & Grassi, A., Jul 2019, The EMerging Technology conference (EMiT) 2019. Bane, M. K. & Holmes, V. (eds.). IET, p. 66-68 3 p.

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

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 ASP-Based Framework for the Manipulation of Articulated Objects using Dual-Arm Robots

Bertolucci, R., Capitanelli, A., Dodaro, C., Leone, N., Maratea, M., Mastrogiovanni, F. & Vallati, M., 13 Jul 2019, Logic Programming and Nonmonotonic Reasoning: 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings. Balduccini, M., Lierler, Y. & Woltran, S. (eds.). Springer International Publishing AG, Vol. LNAI 11481. p. 32-44 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11481 LNAI).

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

1 Citation (Scopus)

An Efficient Java-Based Solver for Abstract Argumentation Frameworks: jArgSemSAT

Cerutti, F., Vallati, M. & Giacomin, M., 12 Apr 2017, In : International Journal on Artificial Intelligence Tools. 26, 02, 26 p., 1750002.

Research output: Contribution to journalArticle

Open Access
4 Citations (Scopus)

An Innovative Heuristic for Planning-based Urban Traffic Control

Franco Aixela, S., Lindsay, A., Vallati, M. & McCluskey, T., 13 Jun 2018, Computational Science – ICCS 2018: 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I. Shi, Y., Fu, H., Tian, Y., Krzhizhanovskaya, V. V., Lees, M. H., Dongarra, J. & Sloot, P. M. A. (eds.). Cham: Springer Verlag, p. 181-193 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10860 LNCS).

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

Open Access
File

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)

A Principled Analysis of the Interrelation Between Vehicular Communication and Reasoning Capabilities of Autonomous Vehicles

Vallati, M. & Chrpa, L., 7 Dec 2018, Proceedings of the 21st IEEE International Conference on Intelligent Transportation Systems (ITSC). IEEE, p. 3761-3766 6 p. 8569953

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

Open Access
File

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)

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 Encodings for the Manipulation of Articulated Objects in 3D with Gravity

Bertolucci, R., Capitanelli, A., Maratea, M., Mastrogiovanni, F. & Vallati, M., 17 Nov 2019, AI*IA 2019 – Advances in Artificial Intelligence: XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings. Alviano, M., Greco, G. & Scarcello, F. (eds.). 1st ed. Cham: Springer International Publishing AG, Vol. LNAI 11946. p. 135-150 16 p. (Lecture Notes in Computer Science).

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

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)

Automated planning for urban traffic management

McCluskey, T., Vallati, M. & Franco Aixela, S., Aug 2017, Proceedings of the 2017 International Joint Conference on Artificial Intelligence. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 5238-5240 3 p.

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

Open Access

Automated Planning Techniques for Robot Manipulation Tasks Involving Articulated Objects

Capitanelli, A., Maratea, M., Matrogiovanni, F. & Vallati, M., 7 Nov 2017, AI*IA 2017 Advances in Artificial Intelligence: XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings.. Springer Verlag, p. 483-497 15 p. (Lecture Notes in Artificial Intelligence).

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

Open Access
4 Citations (Scopus)

Automated Training Plan Generation For Athletes

ŠkeřÍk, T., Chrpa, L., Faber, W. & Vallati, M., 17 Jan 2019, 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC2018). IEEE, p. 3865-3870 6 p.

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

Open Access
File

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)

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)

Clinical Guidelines: A Crossroad of Many Research Areas. Challenges and Opportunities in Process Mining for Healthcare

Gatta, R., Vallati, M., Fernandez-Llatas, C., Martinez-Millana, A., Orini, S., Sacchi, L., Lenkowicz, J., Marcos, M., Munoz-Gama, J., Cuendet, M., de Bari, B., Marco-Ruiz, L., Stefanini, A. & Castellano, M., 3 Jan 2020, Business Process Management Workshops: BPM 2019 International Workshops, Vienna, Austria, September 1–6, 2019, Revised Selected Papers. Di Francescomarino, C., Dijkman, R. & Zdun, U. (eds.). 1 ed. Cham: Springer, Vol. 362. p. 545-556 12 p. (Lecture Notes in Business Information Processing; vol. 362 LNBIP).

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

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)

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)

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)

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)

Determining Representativeness of Training Plans: A Case of Macro-operators

Chrpa, L. & Vallati, M., 13 Dec 2018, 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2018). IEEE, p. 488-492 5 p. 8576079

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

Open Access
File
1 Citation (Scopus)

Development and validation of a machine learning-based predictive model to improve the prediction of inguinal status of anal cancer patients: A preliminary report

De Bari, B., Vallati, M., Gatta, R., Lestrade, L., Manfrida, S., Carrie, C. & Valentini, V., 21 Jul 2017, In : Oncotarget. 8, 65, p. 108509-108521 13 p.

Research output: Contribution to journalArticle

Open Access
2 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)

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)

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

Embedding Automated Planning within Urban Traffic Management Operations

McCluskey, T. & Vallati, M., 2017, Proceedings of the 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
11 Citations (Scopus)
Open Access
File

Engineering Knowledge for Automated Planning: Towards a Notion of Quality

McCluskey, T., Vaquero, T. & Vallati, M., 4 Dec 2017, Proceedings of the 9th International Conference on Knowledge Capture (K-CAP), (Austin, TX: 4-6 December 2017). Association for Computing Machinery (ACM), 8 p. 14

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
3 Citations (Scopus)

Enumerating Preferred Extensions Using ASP Domain Heuristics: The ASPrMin Solver

Faber, W., Vallati, M., Cerutti, F. & Giacomin, M., 6 Sep 2018, Computational Models of Argument: Proceedings of COMMA 2018. Modgil, S., Budzynska, K. & Lawrence, J. (eds.). IOS Press, p. 459-460 2 p. (Frontiers in Artificial Intelligence and Applications).

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

Open Access
File
1 Citation (Scopus)

Exploiting Automated Planning for Efficient Centralized Vehicle Routing and Mitigating Congestion in Urban Road Networks

Chrpa, L., Vallati, M. & Parkinson, S., 8 Apr 2019, Proceedings of The 34th ACM/SIGAPP Symposium on Applied Computing (SAC-19). Association for Computing Machinery (ACM), p. 191-194 4 p.

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

Open Access
File
1 Citation (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 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)

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 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)

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

Generating and Comparing Knowledge Graphs of Medical Processes Using pMineR

Gatta, R., Vallati, M., Lenkowicz, J., Rojas, E., Damiani, A., Sacchi, L., De Bari, B., Dagliati, A., Fernandez-Llatas, C., Montesi, M., Marchetti, A., Castellano, M. & Valentini, V., 4 Dec 2017, Proceedings of the Ninth Conference on Knowledge Capture (K-CAP), (Austin, TX, 4-6 December 2017). Association for Computing Machinery (ACM), 4 p. 36

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

2 Citations (Scopus)

Generating and Exploiting Cost Predictions in Heuristic State-Space Planning

Percassi, F., Gerevini, A. E., Scala, E., Serina, I. & Vallati, M., 20 Jan 2020, (Accepted/In press) Proceedings of The 30th International Conference on Automated Planning and Scheduling (ICAPS) . AAAI press, 5 p.

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

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)

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)