Marco Maratea

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 101

Top Venues

CoRR

Theory Pract. Log. Program.

AI*IA

Intelligenza Artificiale

Publications

Simone Caruso, Carmine Dodaro, Marco Maratea, Marco Mochi, Francesco Riccio
CNL2ASP: Converting Controlled Natural Language Sentences into ASP. Theory Pract. Log. Program. 24 (2) (2024)
Matteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati
Taming Discretised PDDL+ through Multiple Discretisations (Extended Abstract). SOCS (2024)
Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro
Scheduling pre-operative assessment clinic with answer set programming. J. Log. Comput. 34 (3) (2024)
Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach. Theory Pract. Log. Program. 24 (2) (2024)
Matteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati
Taming Discretised PDDL+ through Multiple Discretisations. ICAPS (2024)
Matteo Cardellini, Enrico Giunchiglia, Marco Maratea
Symbolic Numeric Planning with Patterns. AAAI (2024)
Erfan Shojaei Barjuei, Alessio Capitanelli, Riccardo Bertolucci, Eric Courteille, Fulvio Mastrogiovanni, Marco Maratea
Digital workflow for printability checking and prefabrication in robotic construction 3D printing based on Artificial Intelligence planning. Eng. Appl. Artif. Intell. 133 (2024)
Carmine Dodaro, Giuseppe Galatà, Cinzia Marte, Marco Maratea, Marco Mochi
Nuclear Medicine Scheduling via Answer Set Programming. CILC (2024)
Matteo Cardellini, Enrico Giunchiglia, Marco Maratea
Symbolic Numeric Planning with Patterns. CoRR (2023)
Carmine Dodaro, Marco Maratea, Mauro Vallati
On the Configuration of More and Less Expressive Logic Programs. Theory Pract. Log. Program. 23 (2) (2023)
Enrico Giunchiglia, Marco Maratea, Marco Mochi
A Simple Proof-Theoretic Characterization of Stable Models. IPS-RCRA-SPIRIT@AI*IA (2023)
Simone Caruso, Carmine Dodaro, Marco Maratea, Marco Mochi, Francesco Riccio
CNL2ASP: converting controlled natural language sentences into ASP. CoRR (2023)
Simone Caruso, Carmine Dodaro, Giuseppe Galatà, Marco Maratea
Scheduling Periodic Treatments Via Answer Set Programming. CILC (2023)
Marco Scanu, Marco Mochi, Carmine Dodaro, Giuseppe Galatà, Marco Maratea
Operating Room Scheduling Via Answer Set Programming: The Case of ASL1 Liguria. CILC (2023)
Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Nicholas Nisopoli, Ivan Porro
Rescheduling rehabilitation sessions with answer set programming. J. Log. Comput. 33 (4) (2023)
Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro
Solving Rehabilitation Scheduling problems via a Two-Phase ASP approach. CoRR (2023)
Marco Mochi, Giuseppe Galatà, Marco Maratea
Master Surgical Scheduling via Answer Set Programming. J. Log. Comput. 33 (8) (2023)
Giuseppe Galatà, Marco Maratea, Marco Mochi
Master Surgical Scheduling via Answer Set Programming Tested on Real Data. HC@AIxIA (2023)
Lukás Chrpa, Carmine Dodaro, Marco Maratea, Marco Mochi, Mauro Vallati
Comparing Planning Domain Models Using Answer Set Programming. JELIA (2023)
Matteo Cardellini, Carmine Dodaro, Marco Maratea, Mauro Vallati
A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence. ITSC (2023)
Carmine Dodaro, Marco Maratea, Mauro Vallati
On the Configuration of More and Less Expressive Logic Programs. CoRR (2022)
Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes Peter Wallner, Stefan Woltran
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving. Artif. Intell. 307 (2022)
Carmine Dodaro, Marco Maratea, Francesco Riccio
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. Datalog (2022)
Linda Cadermatori, Giuseppe Galatà, Carola Lo Monaco, Marco Maratea, Marco Mochi, Marco Schouten
An ASP-based Approach to Master Surgical Scheduling. CILC (2022)
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
Operating Room (Re)Scheduling with Bed Management via ASP. Theory Pract. Log. Program. 22 (2) (2022)
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
Operating Room (Re)Scheduling with Bed Management via ASP. CoRR (2021)
Carmine Dodaro, Giuseppe Galatà, Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem. CoRR (2021)
Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto, Luca Oneto
An Efficient Hybrid Planning Framework for In-Station Train Dispatching. ICCS (1) (2021)
Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro
An ASP-Based Approach to Scheduling Pre-operative Assessment Clinic. AI*IA (2021)
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) (2021)
Giuseppe Galatà, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro
An ASP-based solution to the Operating Room Scheduling with care units. IPS-RCRA@AI*IA (2021)
Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto, Luca Oneto
In-Station Train Dispatching: A PDDL+ Planning Approach. ICAPS (2021)
Riccardo Bertolucci, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro, Francesco Ricca
Explaining ASP-based Operating Room Schedules. IPS-RCRA@AI*IA (2021)
Carmine Dodaro, Giuseppe Galatà, Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem. Theory Pract. Log. Program. 21 (6) (2021)
Gianluca Bontempi, Ricardo Chavarriaga, Hans ed Canck, Emanuela Girardi, Holger Hoos, Iarla Kilbane-Dawe, Tonio Ball, Ann Nowé, Jose Sousa, Davide Bacciu, Marco Aldinucci, Manlio ed Domenico, Alessandro Saffiotti, Marco Maratea
The CLAIRE COVID-19 initiative: approach, experiences and recommendations. Ethics Inf. Technol. 23 (S1) (2021)
Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling. RuleML+RR (2021)
Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro
Scheduling Pre-Operative Assessment Clinic via Answer Set Programming. IPS-RCRA@AI*IA (2021)
Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto, Luca Oneto
A Planning-based Approach for In-Station Train Dispatching. SOCS (2021)
Davide Bacciu, Emanuela Girardi, Marco Maratea, Jose Sousa
AI & COVID-19. Intelligenza Artificiale 15 (2) (2021)
Gianluca Boleto, Luca Oneto, Matteo Cardellini, Marco Maratea, Mauro Vallati, Renzo Canepa, Davide Anguita
In-Station Train Movements Prediction: from Shallow to Deep Multi Scale Models. ESANN (2021)
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming. AI*IA (2020)
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)
Daniela Inclezan, Marco Maratea
Seventh ASPOCP International Workshop on 'Answer Set Programming and Other Computing Paradigms'. J. Log. Comput. 30 (4) (2020)
Mario Alviano, Riccardo Bertolucci, Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro, Marco Schouten
Answer Set Programming in Healthcare: Extended Overview. IPS-RCRA@AI*IA (2020)
Giovanni Amendola, Carmine Dodaro, Marco Maratea
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract). IJCAI (2020)
Thomas Eiter, Marco Maratea, Mauro Vallati
Preface. Fundam. Informaticae 174 (3-4) (2020)
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
An ASP based Solution for Operating Room Scheduling with Surgical Teams in Hospital Environments. IPS-RCRA@AI*IA (2020)
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro
Chemotherapy Treatment Scheduling via Answer Set Programming. CILC (2020)
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Design and results of the Second International Competition on Computational Models of Argumentation. Artif. Intell. 279 (2020)
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
ASP-Core-2 Input Language Format. Theory Pract. Log. Program. 20 (2) (2020)
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 (2020)
Martin Gebser, Marco Maratea, Francesco Ricca
The Seventh Answer Set Programming Competition: Design and Results. Theory Pract. Log. Program. 20 (2) (2020)
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 (2020)
Giovanni Amendola, Carmine Dodaro, Marco Maratea
Abstract Solvers for Computing Cautious Consequences of ASP programs. Theory Pract. Log. Program. 19 (5-6) (2019)
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)
Giovanni Amendola, Carmine Dodaro, Marco Maratea
Abstract Solvers for Computing Cautious Consequences of ASP programs. CoRR (2019)
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Design and Results of the Second International Competition on Computational Models of Argumentation. CoRR (2019)
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)
Jean-Guy Mailly, Marco Maratea
Assessment of benchmarks for abstract argumentation. Argument Comput. 10 (2) (2019)
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro
An ASP-based framework for operating room scheduling. Intelligenza Artificiale 13 (1) (2019)
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
ASP-Core-2 Input Language Format. CoRR (2019)
Marco Maratea, Ivan Serina, Paolo Torroni
Preface. Fundam. Informaticae 167 (1-2) (2019)
Martin Gebser, Marco Maratea, Francesco Ricca
The Seventh Answer Set Programming Competition: Design and Results. CoRR (2019)
Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca
Evaluation of Disjunctive Programs in WASP. LPNMR (2019)
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
An ASP-based Solution for Operating Room Scheduling with Beds Management. RuleML+RR (2019)
Mauro Vallati, Marco Maratea
On the Configuration of SAT Formulae. AI*IA (2019)
Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti
Cautious reasoning in ASP via minimal models and unsatisfiable cores. CoRR (2018)
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro
An Overview of ASP Applications in the Health-care Domain. RiCeRcA@AI*IA (2018)
Marco Maratea, Viviana Mascardi, Davide Ancona, Alberto Pettorossi
Preface. Fundam. Informaticae 159 (1-2) (2018)
Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub
Evaluation Techniques and Systems for Answer Set Programming: a Survey. IJCAI (2018)
Enrico Giunchiglia, Marco Maratea, Luca Pulina
Translation-based approaches for solving disjunctive temporal problems with preferences. Constraints An Int. J. 23 (4) (2018)
Mario Alviano, Carmine Dodaro, Marco Maratea
Nurse (Re)scheduling via answer set programming. Intelligenza Artificiale 12 (2) (2018)
Mario Alviano, Carmine Dodaro, Marco Maratea
Shared aggregate sets in answer set programming. CoRR (2018)
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)
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro
Operating Room Scheduling via Answer Set Programming. AI*IA (2018)
Stefano Bistarelli, Andrea Formisano, Marco Maratea
23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". J. Exp. Theor. Artif. Intell. 30 (4) (2018)
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Summary Report of the Second International Competition on Computational Models of Argumentation. AI Mag. 39 (4) (2018)
Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes Peter Wallner, Stefan Woltran
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving. IJCAI (2018)
Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
On the manipulation of articulated objects in human-robot cooperation scenarios. CoRR (2018)
Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
On the manipulation of articulated objects in human-robot cooperation scenarios. Robotics Auton. Syst. 109 (2018)
Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti
Cautious reasoning in ASP via minimal models and unsatisfiable cores. Theory Pract. Log. Program. 18 (3-4) (2018)
Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes Peter Wallner, Stefan Woltran
Abstract solvers for Dung's argumentation frameworks. Argument Comput. 9 (1) (2018)
Mario Alviano, Carmine Dodaro, Marco Maratea
Shared aggregate sets in answer set programming. Theory Pract. Log. Program. 18 (3-4) (2018)
Martin Gebser, Marco Maratea, Francesco Ricca
The Sixth Answer Set Programming Competition. J. Artif. Intell. Res. 60 (2017)
Marco Maratea, Giovanni Adorni, Stefano Cagnoni, Marco Gori
Special issue: Selected papers from the 15th International Conference of the Italian Association for Artificial Intelligence. Intelligenza Artificiale 11 (1) (2017)
Carmine Dodaro, Marco Maratea
Nurse Scheduling via Answer Set Programming. LPNMR (2017)
Mario Alviano, Carmine Dodaro, Marco Maratea
An Advanced Answer Set Programming Encoding for Nurse Scheduling. AI*IA (2017)
Martin Gebser, Marco Maratea, Francesco Ricca
The Design of the Seventh Answer Set Programming Competition. LPNMR (2017)
Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
Automated Planning Techniques for Robot Manipulation Tasks Involving Articulated Objects. AI*IA (2017)
Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc
CASP Solutions for Planning in Hybrid Domains. CoRR (2017)
Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc
CASP solutions for planning in hybrid domains. Theory Pract. Log. Program. 17 (4) (2017)
Marcello Balduccini, Daniele Magazzeni, Marco Maratea
PDDL+ Planning via Constraint Answer Set Programming. CoRR (2016)
Stefano Bistarelli, Andrea Formisano, Marco Maratea, Paolo Torroni
Preface. Fundam. Informaticae 149 (1-2) (2016)
Gabriella Cortellessa, Daniele Magazzeni, Marco Maratea, Ivan Serina
6th Italian Workshop on Planning and Scheduling (IPS 2015). Intelligenza Artificiale 10 (2) (2016)
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Introducing the Second International Competition on Computational Models of Argumentation. SAFA@COMMA (2016)
Martin Gebser, Marco Maratea, Francesco Ricca
What's Hot in the Answer Set Programming Competition. AAAI (2016)
Daniela Inclezan, Marco Maratea, Victor W. Marek
Preface. Fundam. Informaticae 147 (1) (2016)
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
Design and results of the Fifth Answer Set Programming Competition. Artif. Intell. 231 (2016)
Toni Mancini, Marco Maratea, Francesco Ricca
Experimental evaluation of algorithms for solving problems with combinatorial explosion. AI Commun. 29 (2) (2016)
Yuliya Lierler, Marco Maratea, Francesco Ricca
Systems, Engineering Environments, and Competitions. AI Mag. 37 (3) (2016)

Marco Maratea.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marco Maratea