Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDMauro Vallati
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c107]Saumya Bhatnagar, Sumit Mund, Enrico Scala, Keith McCabe, Thomas Leo McCluskey, Mauro Vallati
:
On-the-Fly Knowledge Acquisition for Automated Planning Applications: Challenges and Lessons Learnt. ICAART (2) 2022: 387-397- [e11]Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Mauro Vallati, Alessandro Umbrico:
Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy (virtual), November 29th-30th, 2021. CEUR Workshop Proceedings 3065, CEUR-WS.org 2022 [contents] - [i12]Carmine Dodaro, Marco Maratea, Mauro Vallati:
On the Configuration of More and Less Expressive Logic Programs. CoRR abs/2203.01024 (2022) - 2021
- [j33]Daniel Harabor, Mauro Vallati:
Organizing a Successful Artificial Intelligence Online Conference: Lessons from the 13th Symposium on Combinatorial Search. AI Mag. 42(1): 76-82 (2021) - [j32]Alessia Grassi, Mauro Vallati:
An Exploratory Study on the Use of Artificial Intelligence to Initiate Legal Understanding for Business Development. FLAP 8(4): 1065-1082 (2021) - [j31]Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey, Frank Hutter:
On the Importance of Domain Model Configuration for Automated Planning Engines. J. Autom. Reason. 65(6): 727-773 (2021) - [j30]Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming. Theory Pract. Log. Program. 21(3): 372-401 (2021) - [c106]Francesco Percassi, Enrico Scala, Mauro Vallati:
Translations from Discretised PDDL+ to Numeric Planning. ICAPS 2021: 252-261 - [c105]Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto, Luca Oneto:
In-Station Train Dispatching: A PDDL+ Planning Approach. ICAPS 2021: 450-458 - [c104]Mauro Vallati, Thomas Leo McCluskey:
A Quality Framework for Automated Planning Knowledge Models. ICAART (2) 2021: 635-644 - [c103]Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto, Luca Oneto:
An Efficient Hybrid Planning Framework for In-Station Train Dispatching. ICCS (1) 2021: 168-182 - [c102]Matthias Thimm, Federico Cerutti, Mauro Vallati:
Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions. IJCAI 2021: 2069-2075 - [c101]Mauro Vallati, Enrico Scala, Lukás Chrpa:
A Hybrid Automated Planning Approach for Urban Real-time Routing of Connected Vehicles. ITSC 2021: 3821-3826 - [c100]Mauro Vallati, Lukás Chrpa:
Effective Real-Time Urban Traffic Routing: An Automated Planning Approach. MT-ITS 2021: 1-6 - [c99]Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto, Luca Oneto:
A Planning-based Approach for In-Station Train Dispatching. SOCS 2021: 156-158 - [i11]Matthias Thimm, Federico Cerutti, Mauro Vallati:
Fudge: A light-weight solver for abstract argumentation based on SAT reductions. CoRR abs/2109.03106 (2021) - 2020
- [j29]Federico Cerutti, Matthias Thimm, Mauro Vallati:
An experimental analysis on the similarity of argumentation semantics. Argument Comput. 11(3): 269-304 (2020) - [j28]Andrea Cohen, Sebastian Gottifredi, Mauro Vallati, Alejandro Javier García, Grigoris Antoniou:
Maximising goals achievement through abstract argumentation frameworks: An optimal approach. Expert Syst. Appl. 141 (2020) - [j27]Thomas Eiter, Marco Maratea, Mauro Vallati:
Preface. Fundam. Informaticae 174(3-4) (2020) - [j26]Mauro Vallati, Lukás Chrpa, Ivan Serina:
MEvo: a framework for effective macro sets evolution. J. Exp. Theor. Artif. Intell. 32(4): 685-703 (2020) - [c98]Tobia Zanetti, Massimiliano Giacomin, Mauro Vallati, Federico Cerutti:
An Efficient Algorithm for Admissible Argumentation Stages. AI³@AI*IA 2020: 45-59 - [c97]Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, Tobia Zanetti:
An Efficient Algorithm for Semi-stable Extensions. AI*IA 2020: 117-135 - [c96]Mauro Vallati, Thomas Leo McCluskey:
In Defence of Design Patterns for AI Planning Knowledge Models (short paper). IPS-RCRA@AI*IA 2020 - [c95]Mauro Vallati, Thomas Leo McCluskey:
In Defence of Design Patterns for AI Planning Knowledge Models. AI*IA 2020: 191-203 - [c94]Francesco Percassi, Alfonso Emilio Gerevini, Enrico Scala, Ivan Serina, Mauro Vallati:
Generating and Exploiting Cost Predictions in Heuristic State-Space Planning. ICAPS 2020: 569-573 - [c93]Mauro Vallati, Lukás Chrpa:
Reducing Traffic Congestion in Urban Areas via Real-Time Re-Routing: A Simulation Study. Australasian Conference on Artificial Intelligence 2020: 69-81 - [c92]Mauro Vallati, Lukás Chrpa:
A Mixed-Integer Programming Approach for Scheduling Roadworks in Urban Regions. Australasian Conference on Artificial Intelligence 2020: 82-93 - [c91]Matthias Thimm, Federico Cerutti, Mauro Vallati:
On Computing the Set of Acceptable Arguments in Abstract Argumentation. COMMA 2020: 363-370 - [c90]Roberto Gatta, Mauro Vallati, Ilenia Pirola, Jacopo Lenkowicz, Luca Tagliaferri, Carlo Cappelli, Maurizio Castellano:
An Empirical Analysis of Predictors for Workload Estimation in Healthcare. ICCS (1) 2020: 304-311 - [c89]Mauro Vallati:
Centralised Versus Decentralised Traffic Optimisation of Urban Road Networks: A Simulation Study. ICITE 2020: 319-325 - [c88]Enrico Scala, Mauro Vallati:
Exploiting Classical Planning Grounding in Hybrid PDDL+ Planning Engines. ICTAI 2020: 85-92 - [c87]Ivan Serina, Mauro Vallati:
Configurable Heuristic Adaptation for Improving Best First Search in AI Planning. ICTAI 2020: 93-100 - [c86]Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity. ICTAI 2020: 1167-1174 - [e10]Mauro Vallati, Diane E. Kitchin:
Knowledge Engineering Tools and Techniques for AI Planning. Springer 2020, ISBN 978-3-030-38560-6 [contents] - [e9]Marco Maratea, Mauro Vallati:
Joint Proceedings of the RCRA International Workshop and of the RCRA Incontri e Confronti Workshop co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AIIA 2019), Rende, Italy, November 19-20, 2019. CEUR Workshop Proceedings 2538, CEUR-WS.org 2020 [contents] - [e8]Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Alessandro Umbrico, Mauro Vallati:
Joint Proceedings of the 8th Italian Workshop on Planning and Scheduling and the 27th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with AIxIA 2020, Online Event, November 25-27, 2020. CEUR Workshop Proceedings 2745, CEUR-WS.org 2020 [contents] - [e7]Sarah Alice Gaggl, Matthias Thimm, Mauro Vallati:
Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), September 8, 2020. CEUR Workshop Proceedings 2672, CEUR-WS.org 2020 [contents] - [e6]Daniel Harabor, Mauro Vallati:
Proceedings of the Thirteenth International Symposium on Combinatorial Search, SOCS 2020, Online Conference [Vienna, Austria], 26-28 May 2020. AAAI Press 2020, ISBN 978-1-57735-822-0 [contents] - [i10]Daniel Harabor, Mauro Vallati:
Organising a Successful AI Online Conference: Lessons from SoCS 2020. CoRR abs/2006.12129 (2020) - [i9]Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming. CoRR abs/2010.01164 (2020) - [i8]Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey, Frank Hutter:
On the Importance of Domain Model Configuration for Automated Planning Engines. CoRR abs/2010.07710 (2020) - [i7]Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity. CoRR abs/2011.06865 (2020)
2010 – 2019
- 2019
- [j25]Federico Cerutti, Massimiliano Giacomin, Mauro Vallati:
How we designed winning algorithms for abstract argumentation and which insight we attained. Artif. Intell. 276: 1-40 (2019) - [j24]Roberto Gatta, Mauro Vallati, Nicola Dinapoli, Carlotta Masciocchi, Jacopo Lenkowicz, Davide Cusumano, Calogero Casà, Alessandra Farchione, Andrea Damiani, Johan van Soest, Andre Dekker, Vincenzo Valentini:
Towards a modular decision support system for radiomics: A case study on rectal cancer. Artif. Intell. Medicine 96: 145-153 (2019) - [j23]Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey:
Inner entanglements: Narrowing the search in classical planning by problem reformulation. Comput. Intell. 35(2): 395-429 (2019) - [j22]Isabel Cenamor, Mauro Vallati, Lukás Chrpa:
On the predictability of domain-independent temporal planners. Comput. Intell. 35(4): 745-773 (2019) - [j21]Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Predictive models and abstract argumentation: the case of high-complexity semantics. Knowl. Eng. Rev. 34: e6 (2019) - [c85]Lukás Chrpa, Mauro Vallati:
Improving Domain-Independent Planning via Critical Section Macro-Operators. AAAI 2019: 7546-7553 - [c84]Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity. AI*IA 2019: 135-150 - [c83]Mauro Vallati, Marco Maratea:
On the Configuration of SAT Formulae. AI*IA 2019: 264-277 - [c82]Roberto Gatta, Mauro Vallati, Carlos Fernández-Llatas, Antonio Martinez-Millana, Stefania Orini, Lucia Sacchi, Jacopo Lenkowicz, Mar Marcos, Jorge Munoz-Gama, Michel A. Cuendet, Berardino De Bari, Luis Marco-Ruiz, Alessandro Stefanini, Maurizio Castellano:
Clinical Guidelines: A Crossroad of Many Research Areas. Challenges and Opportunities in Process Mining for Healthcare. Business Process Management Workshops 2019: 545-556 - [c81]Roberto Gatta, Mauro Vallati, Jacopo Lenkowicz, Carlotta Masciocchi, Francesco Cellini, Luca Boldrini, Carlos Fernández-Llatas, Vincenzo Valentini, Andrea Damiani:
On the Feasibility of Distributed Process Mining in Healthcare. ICCS (5) 2019: 445-452 - [c80]Mauro Vallati, Lukás Chrpa, Diane E. Kitchin:
How to Plan Roadworks in Urban Regions? A Principled Approach Based on AI Planning. ICCS (5) 2019: 453-460 - [c79]Santiago Franco, Mauro Vallati, Alan Lindsay, Thomas Lee McCluskey:
Improving Planning Performance in PDDL+ Domains via Automated Predicate Reformulation. ICCS (5) 2019: 491-498 - [c78]Mauro Vallati, Lukás Chrpa:
On the Robustness of Domain-Independent Planning Engines: The Impact of Poorly-Engineered Knowledge. K-CAP 2019: 197-204 - [c77]Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots. LPNMR 2019: 32-44 - [c76]Lukás Chrpa, Mauro Vallati, Simon Parkinson:
Exploiting automated planning for efficient centralized vehicle routing and mitigating congestion in urban road networks. SAC 2019: 191-194 - [c75]Faizan Bhatti, Diane E. Kitchin, Mauro Vallati:
A General Approach to Exploit Model Predictive Control for Guiding Automated Planning Search in Hybrid Domains. SGAI Conf. 2019: 139-145 - 2018
- [j20]Andrea F. Bocchese, Chris Fawcett, Mauro Vallati, Alfonso Emilio Gerevini, Holger H. Hoos:
Performance robustness of AI planners in the 2014 International Planning Competition. AI Commun. 31(6): 445-463 (2018) - [j19]Simon Parkinson, Mauro Vallati, Andrew Crampton, Shirin Sohrabi:
GraphBAD: A general technique for anomaly detection in security information and event management. Concurr. Comput. Pract. Exp. 30(16) (2018) - [j18]Federico Cerutti, Alessia Grassi, Mauro Vallati:
Unveiling the oracle: Artificial intelligence for the 21st century. Intell. Decis. Technol. 12(3): 371-379 (2018) - [j17]Federico Cerutti, Mauro Vallati, Massimiliano Giacomin:
On the impact of configuration on abstract argumentation automated reasoning. Int. J. Approx. Reason. 92: 120-138 (2018) - [j16]Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey:
Outer entanglements: a general heuristic technique for improving the efficiency of planning algorithms. J. Exp. Theor. Artif. Intell. 30(6): 831-856 (2018) - [j15]Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey:
What you always wanted to know about the deterministic part of the International Planning Competition (IPC) 2014 (but were too afraid to ask). Knowl. Eng. Rev. 33: e3 (2018) - [j14]Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
On the manipulation of articulated objects in human-robot cooperation scenarios. Robotics Auton. Syst. 109: 139-155 (2018) - [c74]Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
KR&R Approaches for Robot Manipulation Tasks with Articulated Objects. RiCeRcA@AI*IA 2018 - [c73]Mauro Vallati, Ivan Serina:
A General Approach for Configuring PDDL Problem Models. ICAPS 2018: 431-436 - [c72]Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Enumerating Preferred Extensions Using ASP Domain Heuristics: The ASPrMin Solver. COMMA 2018: 459-460 - [c71]Mauro Vallati, Lukás Chrpa, Diane E. Kitchin:
On the Configuration of Robust Static Parallel Portfolios for Efficient Plan Generation. ICCS (1) 2018: 15-27 - [c70]Santiago Franco, Alan Lindsay, Mauro Vallati, Thomas Lee McCluskey:
An Innovative Heuristic for Planning-Based Urban Traffic Control. ICCS (1) 2018: 181-193 - [c69]Lukás Chrpa, Mauro Vallati:
Determining Representativeness of Training Plans: A Case of Macro-Operators. ICTAI 2018: 488-492 - [c68]Roberto Gatta, Mauro Vallati, Jacopo Lenkowicz, Calogero Casà, Francesco Cellini, Andrea Damiani, Vincenzo Valentini:
A Framework for Event Log Generation and Knowledge Representation for Process Mining in Healthcare. ICTAI 2018: 647-654 - [c67]Mauro Vallati, Lukás Chrpa:
A Principled Analysis of the Interrelation between Vehicular Communication and Reasoning Capabilities of Autonomous Vehicles. ITSC 2018: 3761-3766 - [c66]Tomás Skerík, Lukás Chrpa, Wolfgang Faber, Mauro Vallati:
Automated Training Plan Generation for Athletes. SMC 2018: 3865-3870 - [e5]Marco Maratea, Mauro Vallati:
Proceedings of the RiCeRcA Workshop co-located with the 17th International Conference of the Italian Association for Artificial Intelligence, RiCeRcA@Ai*iA 2018, Trento, Italy, November 22, 2018. CEUR Workshop Proceedings 2272, CEUR-WS.org 2018 [contents] - [e4]Matthias Thimm, Federico Cerutti, Mauro Vallati:
Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), Warsaw, Poland, September 11, 2018. CEUR Workshop Proceedings 2171, CEUR-WS.org 2018 [contents] - [e3]Marco Maratea, Mauro Vallati:
Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom, July 13, 2018. CEUR Workshop Proceedings 2271, CEUR-WS.org 2018 [contents] - [i6]Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
On the manipulation of articulated objects in human-robot cooperation scenarios. CoRR abs/1801.01757 (2018) - 2017
- [j13]Lukás Chrpa, Thomas Leo McCluskey, Mauro Vallati, Tiago Vaquero:
The Fifth International Competition on Knowledge Engineering for Planning and Scheduling: Summary and Trends. AI Mag. 38(1): 104-106 (2017) - [j12]Mattia Rizzini, Chris Fawcett, Mauro Vallati, Alfonso Emilio Gerevini, Holger H. Hoos:
Static and Dynamic Portfolio Methods for Optimal Planning: An Empirical Analysis. Int. J. Artif. Intell. Tools 26(1): 1760006:1-1760006:27 (2017) - [j11]Federico Cerutti, Mauro Vallati, Massimiliano Giacomin:
An Efficient Java-Based Solver for Abstract Argumentation Frameworks: jArgSemSAT. Int. J. Artif. Intell. Tools 26(2): 1750002:1-1750002:26 (2017) - [c65]Mauro Vallati, Lukás Chrpa, Ivan Serina:
On the Evolution of Planner-Specific Macro Sets. AI*IA 2017: 443-454 - [c64]Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Automated Planning Techniques for Robot Manipulation Tasks Involving Articulated Objects. AI*IA 2017: 483-497 - [c63]Roberto Gatta, Jacopo Lenkowicz, Mauro Vallati, Eric Rojas, Andrea Damiani, Lucia Sacchi, Berardino De Bari, Arianna Dagliati, Carlos Fernández-Llatas, Matteo Montesi, Antonio Marchetti, Maurizio Castellano, Vincenzo Valentini:
pMineR: An Innovative R Library for Performing Process Mining in Medicine. AIME 2017: 351-355 - [c62]Thomas Leo McCluskey, Mauro Vallati:
Embedding Automated Planning within Urban Traffic Management Operations. ICAPS 2017: 391-399 - [c61]Simon Parkinson, Andrew Longstaff, Simon Fletcher, Mauro Vallati, Lukás Chrpa:
On the Exploitation of Automated Planning for Reducing Machine Tools Energy Consumption between Manufacturing Operations. ICAPS 2017: 400-408 - [c60]Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
On the Combination of Argumentation Solvers into Parallel Portfolios. Australasian Conference on Artificial Intelligence 2017: 315-327 - [c59]Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, Sandra Stincic Clarke:
A Hypercat-Enabled Semantic Internet of Things Data Hub. ESWC (2) 2017: 125-137 - [c58]Thomas Leo McCluskey, Mauro Vallati, Santiago Franco:
Automated Planning for Urban Traffic Management. IJCAI 2017: 5238-5240 - [c57]Simon Parkinson, Yongrui Qin, Saad Khan, Mauro Vallati:
Security auditing in the fog. ICC 2017: 191:1-191:9 - [c56]Thomas Leo McCluskey, Tiago Stegun Vaquero, Mauro Vallati:
Engineering Knowledge for Automated Planning: Towards a Notion of Quality. K-CAP 2017: 14:1-14:8 - [c55]Roberto Gatta, Mauro Vallati, Jacopo Lenkowicz, Eric Rojas, Andrea Damiani, Lucia Sacchi, Berardino De Bari, Arianna Dagliati, Carlos Fernández-Llatas, Matteo Montesi, Antonio Marchetti, Maurizio Castellano, Vincenzo Valentini:
Generating and Comparing Knowledge Graphs of Medical Processes Using pMineR. K-CAP 2017: 36:1-36:4 - [c54]Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey:
Improving a Planner's Performance through Online Heuristic Configuration of Domain Models. SOCS 2017: 171-172 - [e2]Lukás Chrpa, Simon Parkinson, Mauro Vallati:
Proceedings of the 34th Workshop of the UK Planning and Scheduling Special Interest Group, PlanSIG 2016, Huddersfield, UK, December 15-16, 2016. CEUR Workshop Proceedings 1782, CEUR-WS.org 2017 [contents] - [i5]Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, Sandra Stincic Clarke:
A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report. CoRR abs/1703.00391 (2017) - 2016
- [j10]Matthias Thimm, Serena Villata, Federico Cerutti, Nir Oren, Hannes Strass, Mauro Vallati:
Summary Report of The First International Competition on Computational Models of Argumentation. AI Mag. 37(1): 102 (2016) - [j9]Valerio Velardo, Mauro Vallati, Steven Jan:
Symbolic Melodic Similarity: State of the Art and Future Challenges. Comput. Music. J. 40(2): 70-83 (2016) - [j8]Mauro Vallati, Ivan Serina, Alessandro Saetti, Alfonso Emilio Gerevini:
Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning. Fundam. Informaticae 149(1-2): 209-240 (2016) - [j7]Lukás Chrpa, Daniele Magazzeni, Keith McCabe, Thomas Leo McCluskey, Mauro Vallati:
Automated planning for Urban traffic control: Strategic vehicle routing to respect air quality limitations. Intelligenza Artificiale 10(2): 113-128 (2016) - [c53]Mauro Vallati, Daniele Magazzeni, Bart De Schutter, Lukás Chrpa, Thomas Leo McCluskey:
Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach. AAAI 2016: 3188-3194 - [c52]Roberto Gatta, Mauro Vallati, Carlo Cappelli, Berardino De Bari, Massimo Salvetti, Silvio Finardi, Maria Lorenza Muiesan, Vincenzo Valentini, Maurizio Castellano:
Bridging the Gap between Knowledge Representation and Electronic Health Records. HEALTHINF 2016: 159-165 - [c51]Nicola Dinapoli, Anna Rita Alitto, Mauro Vallati, Rosa Autorino, Roberto Gatta, Luca Boldrini, Andrea Damiani, Giovanna Mantini, Vincenzo Valentini:
RadioBio data: A Moddicom Module to Predict Tumor Control Probability and Normal Tissue Complication Probability in Radiotherapy. HEALTHINF 2016: 277-281 - [c50]Lukás Chrpa, Mauro Vallati:
On the exploitation of Automated Planning for efficient decision making in road traffic accident management. CDC 2016: 6607-6612 - [c49]Federico Cerutti, Mauro Vallati, Massimiliano Giacomin:
On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning. COMMA 2016: 199-206 - [c48]Federico Cerutti, Mauro Vallati, Massimiliano Giacomin:
Where Are We Now? State of the Art and Future Trends of Solvers for Hard Argumentation Problems. COMMA 2016: 207-218 - [c47]Federico Cerutti, Mauro Vallati, Massimiliano Giacomin:
Efficient and Off-The-Shelf Solver: jArgSemSAT. COMMA 2016: 465-466 - [c46]Federico Cerutti, Massimiliano Giacomin, Mauro Vallati:
Generating Structured Argumentation Frameworks: AFBenchGen2. COMMA 2016: 467-468 - [c45]Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation. ECAI 2016: 966-973 - [c44]Federico Cerutti, Mauro Vallati, Massimiliano Giacomin:
jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks. KR 2016: 541-544 - [c43]Rabia Jilani, Andrew Crampton, Diane E. Kitchin, Mauro Vallati:
Have a Little Patience: Let Planners Play Cards. PlanSIG 2016 - [c42]Thomas Leo McCluskey, Mauro Vallati:
The SimplyfAI Project: Using AI Planning in Urban Traffic Management or If at First the Representation Does not Work, Try, Try and Try and Again. PlanSIG 2016 - [e1]Matthias Thimm, Federico Cerutti, Hannes Strass, Mauro Vallati:
Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, September 13, 2016. CEUR Workshop Proceedings 1672, CEUR-WS.org 2016 [contents] - [i4]Valerio Velardo, Mauro Vallati:
A General Framework for Describing Creative Agents. CoRR abs/1604.04096 (2016) - [i3]