Marco Maratea

208 papers A* 15A 8B 21C 1Journal 90Unranked 55
YearRankTypeTitle / Venue / Authors
2026 A* conf
A Domain-specific Heuristic for PDDL+-based Traffic Signal Optimisation.
AAAI
Francesco Doria, Francesco Percassi, Marco Maratea, Mauro Vallati
2026 A* conf
A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint).
AAAI
Martin Gebser, Enrico Giunchiglia, Marco Maratea, Marco Mochi
2026 J jnl
ASP-based approaches for solving the nuclear medicine scheduling problem.
J. Log. Comput.
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Cinzia Marte, Marco Mochi
2026 J jnl
Symbolic pattern planning.
Artif. Intell.
Matteo Cardellini, Enrico Giunchiglia, Marco Maratea
2026 A* conf
Traffic Signal Plans Explorer: A General Framework for Visualising Traffic Evolution.
AAAI
Francesco Doria, Francesco Percassi, Marco Maratea, Mauro Vallati
2025 J jnl
A CASP-Based Solution for Traffic Signal Optimisation.
Theory Pract. Log. Program.
Alice Tarzariol, Marco Maratea, Mauro Vallati
2025 J jnl
A CASP-based Solution for Traffic Signal Optimisation.
CoRR
Alice Tarzariol, Marco Maratea, Mauro Vallati
2025 A* conf
A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms.
IJCAI
Simone Caruso, Carmine Dodaro, Marco Maratea, Alice Tarzariol
2025 J jnl
A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments.
Artif. Intell.
Martin Gebser, Enrico Giunchiglia, Marco Maratea, Marco Mochi
2025 — conf
AI-Enabled Connected Autonomous Vehicles Sustainable Routing in Urban Areas.
ITSC
Salvatore Fiorentino, Carmine Dodaro, Marco Maratea, Mauro Vallati
2025 — conf
ASP and PDDL+ Applications in Urban Traffic Distribution and Control.
ICLP Workshops
Mauro Vallati, Carmine Dodaro, Francesco Doria, Salvatore Fiorentino, Marco Maratea, Francesco Percassi, Alice Tarzariol
2025 J jnl
Chatgpt and operations research: evaluation on the shortest path problem.
Soft Comput.
Martina Luzzi, Francesca Guerriero, Marco Maratea, Gianluigi Greco, Marco Garofalo
2025 A conf
Constraint-Based In-Station Train Dispatching.
CP
Andreas Schutt, Matteo Cardellini, Jip J. Dekker, Daniel Harabor, Marco Maratea, Mauro Vallati
2025 — conf
Cyclic Nurse Scheduling with ASP: Two Case Studies from Cosenza Hospitals.
CILC
Carmine Dodaro, Marco Maratea, Nicola Ramacciati
2025 J jnl
Improving ASP-Based ORS Schedules through Machine Learning Predictions.
Theory Pract. Log. Program.
Pierangela Bruno, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi
2025 J jnl
Improving ASP-based ORS Schedules through Machine Learning Predictions.
CoRR
Pierangela Bruno, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi
2025 — ed.
Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), Rende, Italy, September 9-13, 2025.
ICLP Workshops
Damiano Azzolini, Sotirios Batsakis, Manuel Alejandro Borroto Santana, Pierangela Bruno, Laura Andrea Cecchi, Jorge Fandinno, Markus Hecher, Marco Maratea, José F. Morales, Brais Muñiz, Emmanuel Papadakis, Livio Robaldo, Luciano Serafini, Fabrizio Lo Scudo, Ilias Tachmazidis, Alice Tarzariol, Mauro Vallati, Adam Wyner
2025 J jnl
Logic-based Approach and Visualization for the Nuclear Medicine Rescheduling Problem.
J. Medical Syst.
Cinzia Marte, Marco Mochi, Carmine Dodaro, Giuseppe Galatà, Marco Maratea
2025 — conf
On the Translation of ASP Rules to (Controlled) Natural Language Sentences.
ICLP Workshops
Simone Caruso, Carmine Dodaro, Fabrizio Lo Scudo, Marco Maratea, Kristian Reale
2025 — conf
Representing and Evaluating SBVR Specification via ASP.
ICLP Workshops
Simone Caruso, Carmine Dodaro, Marco Maratea
2024 — conf
A Tool For Reasoning Over CNL Sentences With Temporal Constructs.
Datalog
Pierangela Bruno, Simone Caruso, Carmine Dodaro, Marco Maratea
2024 A* conf
AMO-aware Aggregates in Answer Set Programming.
IJCAI
Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Marco Maratea
2024 J jnl
CNL2ASP: Converting Controlled Natural Language Sentences into ASP.
Theory Pract. Log. Program.
Simone Caruso, Carmine Dodaro, Marco Maratea, Marco Mochi, Francesco Riccio
2024 J jnl
Digital workflow for printability checking and prefabrication in robotic construction 3D printing based on Artificial Intelligence planning.
Eng. Appl. Artif. Intell.
Erfan Shojaei Barjuei, Alessio Capitanelli, Riccardo Bertolucci, Eric Courteille, Fulvio Mastrogiovanni, Marco Maratea
2024 — conf
Nuclear Medicine Rescheduling Problem: A Logic-based Approach.
HC@AIxIA
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Cinzia Marte, Marco Mochi
2024 — conf
Nuclear Medicine Scheduling via Answer Set Programming.
CILC
Carmine Dodaro, Giuseppe Galatà, Cinzia Marte, Marco Maratea, Marco Mochi
2024 J jnl
Operating room scheduling via answer set programming: Improved encoding and test on real data.
J. Log. Comput.
Carmine Dodaro, Giuseppe Galatà, Martin Gebser, Marco Maratea, Cinzia Marte, Marco Mochi, Marco Scanu
2024 J jnl
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming.
CoRR
Matteo Cardellini, Carmine Dodaro, Marco Maratea, Mauro Vallati
2024 J jnl
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming.
Theory Pract. Log. Program.
Matteo Cardellini, Carmine Dodaro, Marco Maratea, Mauro Vallati
2024 J jnl
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning.
Theory Pract. Log. Program.
Georg Gottlob, Daniela Inclezan, Marco Maratea
2024 — ed.
Proceedings of the International Workshop on Artificial Intelligence for Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (AI4CC-IPS-RCRA-SPIRIT 2024) co-located with 23rd International Conference of the Italian Association for Artificial Intelligence AIxIA 2024, November 25-28th, 2024, Bolzano, Italy.
AI4CC-IPS-RCRA-SPIRIT@AI*IA
Diego Aineto, Riccardo De Benedictis, Marco Maratea, Munyque Mittelmann, Gianpiero Monaco, Enrico Scala, Luciano Serafini, Ivan Serina, Francesco Spegni, Elisa Tosello, Alessandro Umbrico, Mauro Vallati
2024 — conf
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health.
AI4CC-IPS-RCRA-SPIRIT@AI*IA
Paola Cappanera, Simone Caruso, Carmine Dodaro, Giuseppe Galatà, Marco Gavanelli, Marco Maratea, Cinzia Marte, Marco Mochi, Maddalena Nonato, Marco Roma
2024 J jnl
Scheduling pre-operative assessment clinic with answer set programming.
J. Log. Comput.
Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro
2024 J jnl
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach.
Theory Pract. Log. Program.
Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro
2024 A* conf
Symbolic Numeric Planning with Patterns.
AAAI
Matteo Cardellini, Enrico Giunchiglia, Marco Maratea
2024 B conf
Taming Discretised PDDL+ through Multiple Discretisations (Extended Abstract).
SOCS
Matteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati
2024 A* conf
Taming Discretised PDDL+ through Multiple Discretisations.
ICAPS
Matteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati
2023 — conf
A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence.
ITSC
Matteo Cardellini, Carmine Dodaro, Marco Maratea, Mauro Vallati
2023 — conf
A Simple Proof-Theoretic Characterization of Stable Models.
IPS-RCRA-SPIRIT@AI*IA
Enrico Giunchiglia, Marco Maratea, Marco Mochi
2023 J jnl
CNL2ASP: converting controlled natural language sentences into ASP.
CoRR
Simone Caruso, Carmine Dodaro, Marco Maratea, Marco Mochi, Francesco Riccio
2023 B conf
Comparing Planning Domain Models Using Answer Set Programming.
JELIA
Lukás Chrpa, Carmine Dodaro, Marco Maratea, Marco Mochi, Mauro Vallati
2023 — conf
Master Surgical Scheduling via Answer Set Programming Tested on Real Data.
HC@AIxIA
Giuseppe Galatà, Marco Maratea, Marco Mochi
2023 J jnl
Master Surgical Scheduling via Answer Set Programming.
J. Log. Comput.
Marco Mochi, Giuseppe Galatà, Marco Maratea
2023 J jnl
On the Configuration of More and Less Expressive Logic Programs.
Theory Pract. Log. Program.
Carmine Dodaro, Marco Maratea, Mauro Vallati
2023 — conf
Operating Room Scheduling Via Answer Set Programming: The Case of ASL1 Liguria.
CILC
Marco Scanu, Marco Mochi, Carmine Dodaro, Giuseppe Galatà, Marco Maratea
2023 — ed.
Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy.
IPS/RiCeRcA/SPIRIT@AI*IA
Riccardo De Benedictis, Nicola Gatti, Marco Maratea, Andrea Micheli, Aniello Murano, Enrico Scala, Luciano Serafini, Ivan Serina, Alessandro Umbrico, Mauro Vallati
2023 — ed.
Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy.
IPS-RCRA-SPIRIT@AI*IA
Riccardo De Benedictis, Matteo Castiglioni, Diodato Ferraioli, Vadim Malvone, Marco Maratea, Enrico Scala, Luciano Serafini, Ivan Serina, Elisa Tosello, Alessandro Umbrico, Mauro Vallati
2023 J jnl
Rescheduling rehabilitation sessions with answer set programming.
J. Log. Comput.
Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Nicholas Nisopoli, Ivan Porro
2023 — conf
Scheduling Periodic Treatments Via Answer Set Programming.
CILC
Simone Caruso, Carmine Dodaro, Giuseppe Galatà, Marco Maratea
2023 J jnl
Solving Rehabilitation Scheduling problems via a Two-Phase ASP approach.
CoRR
Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro
2023 J jnl
Symbolic Numeric Planning with Patterns.
CoRR
Matteo Cardellini, Enrico Giunchiglia, Marco Maratea
2022 — conf
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules.
Datalog
Carmine Dodaro, Marco Maratea, Francesco Riccio
2022 J jnl
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving.
Artif. Intell.
Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P. Wallner, Stefan Woltran
2022 — conf
An ASP-based Approach to Master Surgical Scheduling.
CILC
Linda Cadermatori, Giuseppe Galatà, Carola Lo Monaco, Marco Maratea, Marco Mochi, Marco Schouten
2022 — ed.
Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022.
HYDRA/RCRA@LPNMR
Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Marco Maratea, Giorgio Terracina, Mauro Vallati
2022 B ed.
Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings
LPNMR
Georg Gottlob, Daniela Inclezan, Marco Maratea
2022 J jnl
On the Configuration of More and Less Expressive Logic Programs.
CoRR
Carmine Dodaro, Marco Maratea, Mauro Vallati
2022 J jnl
Operating Room (Re)Scheduling with Bed Management via ASP.
Theory Pract. Log. Program.
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
2022 — ed.
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.
IPS-RCRA@AI*IA
Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Mauro Vallati, Alessandro Umbrico
2021 B conf
A Planning-based Approach for In-Station Train Dispatching.
SOCS
Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto, Luca Oneto
2021 B conf
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling.
RuleML+RR
Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro
2021 J jnl
AI & COVID-19.
Intelligenza Artificiale
Davide Bacciu, Emanuela Girardi, Marco Maratea, Jose Sousa
2021 — conf
An ASP-Based Approach to Scheduling Pre-operative Assessment Clinic.
AI*IA
Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro
2021 J jnl
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem.
CoRR
Carmine Dodaro, Giuseppe Galatà, Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro
2021 J jnl
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem.
Theory Pract. Log. Program.
Carmine Dodaro, Giuseppe Galatà, Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro
2021 — conf
An ASP-based solution to the Operating Room Scheduling with care units.
IPS-RCRA@AI*IA
Giuseppe Galatà, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro
2021 — conf
An Efficient Hybrid Planning Framework for In-Station Train Dispatching.
ICCS (1)
Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto, Luca Oneto
2021 — conf
Explaining ASP-based Operating Room Schedules.
IPS-RCRA@AI*IA
Riccardo Bertolucci, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro, Francesco Ricca
2021 A* conf
In-Station Train Dispatching: A PDDL+ Planning Approach.
ICAPS
Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto, Luca Oneto
2021 B conf
In-Station Train Movements Prediction: from Shallow to Deep Multi Scale Models.
ESANN
Gianluca Boleto, Luca Oneto, Matteo Cardellini, Marco Maratea, Mauro Vallati, Renzo Canepa, Davide Anguita
2021 J jnl
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming.
Theory Pract. Log. Program.
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2021 J jnl
Operating Room (Re)Scheduling with Bed Management via ASP.
CoRR
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
2021 — conf
Scheduling Pre-Operative Assessment Clinic via Answer Set Programming.
IPS-RCRA@AI*IA
Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro
2021 J jnl
The CLAIRE COVID-19 initiative: approach, experiences and recommendations.
Ethics Inf. Technol.
Gianluca Bontempi, Ricardo Chavarriaga, Hans ed Canck, Emanuela Girardi, Holger H. Hoos, Iarla Kilbane-Dawe, Tonio Ball, Ann Nowé, Jose Sousa, Davide Bacciu, Marco Aldinucci, Manlio ed Domenico, Alessandro Saffiotti, Marco Maratea
2020 A* conf
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract).
IJCAI
Giovanni Amendola, Carmine Dodaro, Marco Maratea
2020 J jnl
ASP-Core-2 Input Language Format.
Theory Pract. Log. Program.
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
2020 — conf
An ASP based Solution for Operating Room Scheduling with Surgical Teams in Hospital Environments.
IPS-RCRA@AI*IA
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
2020 — conf
Answer Set Programming in Healthcare: Extended Overview.
IPS-RCRA@AI*IA
Mario Alviano, Riccardo Bertolucci, Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro, Marco Schouten
2020 — conf
Chemotherapy Treatment Scheduling via Answer Set Programming.
CILC
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro
2020 B conf
Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity.
ICTAI
Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2020 J jnl
Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity.
CoRR
Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2020 J jnl
Design and results of the Second International Competition on Computational Models of Argumentation.
Artif. Intell.
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
2020 — ed.
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.
IPS-RCRA@AI*IA
Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Alessandro Umbrico, Mauro Vallati
2020 — ed.
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.
RCRA/RiCeRcA@AIIA
Marco Maratea, Mauro Vallati
2020 J jnl
Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming.
CoRR
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2020 J jnl
Preface.
Fundam. Informaticae
Thomas Eiter, Marco Maratea, Mauro Vallati
2020 — ed.
Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020.
ICLP Technical Communications
Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca A. Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi
2020 J jnl
Seventh ASPOCP International Workshop on 'Answer Set Programming and Other Computing Paradigms'.
J. Log. Comput.
Daniela Inclezan, Marco Maratea
2020 — conf
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming.
AI*IA
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
2020 J jnl
The Seventh Answer Set Programming Competition: Design and Results.
Theory Pract. Log. Program.
Martin Gebser, Marco Maratea, Francesco Ricca
2019 J jnl
ASP-Core-2 Input Language Format.
CoRR
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
2019 J jnl
Abstract Solvers for Computing Cautious Consequences of ASP programs.
CoRR
Giovanni Amendola, Carmine Dodaro, Marco Maratea
2019 J jnl
Abstract Solvers for Computing Cautious Consequences of ASP programs.
Theory Pract. Log. Program.
Giovanni Amendola, Carmine Dodaro, Marco Maratea
2019 B conf
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots.
LPNMR
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2019 B conf
An ASP-based Solution for Operating Room Scheduling with Beds Management.
RuleML+RR
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
2019 J jnl
An ASP-based framework for operating room scheduling.
Intelligenza Artificiale
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro
2019 J jnl
Assessment of benchmarks for abstract argumentation.
Argument Comput.
Jean-Guy Mailly, Marco Maratea
2019 — conf
Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity.
AI*IA
Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2019 J jnl
Design and Results of the Second International Competition on Computational Models of Argumentation.
CoRR
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
2019 — ed.
Discussion and Doctoral Consortium papers of AI*IA 2019 - 18th International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019.
DDC@AI*IA
Mario Alviano, Gianluigi Greco, Marco Maratea, Francesco Scarcello
2019 B conf
Evaluation of Disjunctive Programs in WASP.
LPNMR
Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca
2019 — conf
On the Configuration of SAT Formulae.
AI*IA
Mauro Vallati, Marco Maratea
2019 J jnl
Preface.
Fundam. Informaticae
Marco Maratea, Ivan Serina, Paolo Torroni
2019 J jnl
The Seventh Answer Set Programming Competition: Design and Results.
CoRR
Martin Gebser, Marco Maratea, Francesco Ricca
2018 J jnl
23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".
J. Exp. Theor. Artif. Intell.
Stefano Bistarelli, Andrea Formisano, Marco Maratea
2018 J jnl
Abstract solvers for Dung's argumentation frameworks.
Argument Comput.
Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes P. Wallner, Stefan Woltran
2018 — conf
An Overview of ASP Applications in the Health-care Domain.
RiCeRcA@AI*IA
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro
2018 J jnl
Cautious reasoning in ASP via minimal models and unsatisfiable cores.
CoRR
Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti
2018 J jnl
Cautious reasoning in ASP via minimal models and unsatisfiable cores.
Theory Pract. Log. Program.
Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti
2018 A* conf
Evaluation Techniques and Systems for Answer Set Programming: a Survey.
IJCAI
Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub
2018 — conf
KR&R Approaches for Robot Manipulation Tasks with Articulated Objects.
RiCeRcA@AI*IA
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2018 A* conf
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving.
IJCAI
Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P. Wallner, Stefan Woltran
2018 J jnl
Nurse (Re)scheduling via answer set programming.
Intelligenza Artificiale
Mario Alviano, Carmine Dodaro, Marco Maratea
2018 J jnl
On the manipulation of articulated objects in human-robot cooperation scenarios.
CoRR
Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2018 J jnl
On the manipulation of articulated objects in human-robot cooperation scenarios.
Robotics Auton. Syst.
Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2018 — conf
Operating Room Scheduling via Answer Set Programming.
AI*IA
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro
2018 J jnl
Preface.
Fundam. Informaticae
Marco Maratea, Viviana Mascardi, Davide Ancona, Alberto Pettorossi
2018 — ed.
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.
RiCeRcA@Ai*iA
Marco Maratea, Mauro Vallati
2018 — ed.
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.
RCRA@FLoC
Marco Maratea, Mauro Vallati
2018 J jnl
Shared aggregate sets in answer set programming.
CoRR
Mario Alviano, Carmine Dodaro, Marco Maratea
2018 J jnl
Shared aggregate sets in answer set programming.
Theory Pract. Log. Program.
Mario Alviano, Carmine Dodaro, Marco Maratea
2018 J jnl
Summary Report of the Second International Competition on Computational Models of Argumentation.
AI Mag.
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
2018 J jnl
Translation-based approaches for solving disjunctive temporal problems with preferences.
Constraints An Int. J.
Enrico Giunchiglia, Marco Maratea, Luca Pulina
2017 — conf
An Advanced Answer Set Programming Encoding for Nurse Scheduling.
AI*IA
Mario Alviano, Carmine Dodaro, Marco Maratea
2017 — conf
Automated Planning Techniques for Robot Manipulation Tasks Involving Articulated Objects.
AI*IA
Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2017 J jnl
CASP Solutions for Planning in Hybrid Domains.
CoRR
Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc
2017 J jnl
CASP solutions for planning in hybrid domains.
Theory Pract. Log. Program.
Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc
2017 B conf
Nurse Scheduling via Answer Set Programming.
LPNMR
Carmine Dodaro, Marco Maratea
2017 — ed.
Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Bari, Italy, November 14-15, 2017.
RCRA@AI*IA
Marco Maratea, Ivan Serina
2017 J jnl
Special issue: Selected papers from the 15th International Conference of the Italian Association for Artificial Intelligence.
Intelligenza Artificiale
Marco Maratea, Giovanni Adorni, Stefano Cagnoni, Marco Gori
2017 B conf
The Design of the Seventh Answer Set Programming Competition.
LPNMR
Martin Gebser, Marco Maratea, Francesco Ricca
2017 J jnl
The Sixth Answer Set Programming Competition.
J. Artif. Intell. Res.
Martin Gebser, Marco Maratea, Francesco Ricca
2016 J jnl
6th Italian Workshop on Planning and Scheduling (IPS 2015).
Intelligenza Artificiale
Gabriella Cortellessa, Daniele Magazzeni, Marco Maratea, Ivan Serina
2016 — ed.
AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, Proceedings
AI*IA
Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco Maratea
2016 J jnl
Design and results of the Fifth Answer Set Programming Competition.
Artif. Intell.
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
2016 J jnl
Disjunctive answer set solvers via templates.
Theory Pract. Log. Program.
Rémi Brochenin, Marco Maratea, Yuliya Lierler
2016 J jnl
Experimental evaluation of algorithms for solving problems with combinatorial explosion.
AI Commun.
Toni Mancini, Marco Maratea, Francesco Ricca
2016 — conf
Introducing the Second International Competition on Computational Models of Argumentation.
SAFA
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
2016 J jnl
PDDL+ Planning via Constraint Answer Set Programming.
CoRR
Marcello Balduccini, Daniele Magazzeni, Marco Maratea
2016 J jnl
Preface.
Fundam. Informaticae
Stefano Bistarelli, Andrea Formisano, Marco Maratea, Paolo Torroni
2016 J jnl
Preface.
Fundam. Informaticae
Daniela Inclezan, Marco Maratea, Victor W. Marek
2016 — ed.
Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), Genova, Italy, November 28, 2016.
RCRA@AI*IA
Stefano Bistarelli, Andrea Formisano, Marco Maratea
2016 J jnl
Systems, Engineering Environments, and Competitions.
AI Mag.
Yuliya Lierler, Marco Maratea, Francesco Ricca
2016 A* conf
What's Hot in the Answer Set Programming Competition.
AAAI
Martin Gebser, Marco Maratea, Francesco Ricca
2015 J jnl
20th RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".
J. Exp. Theor. Artif. Intell.
Toni Mancini, Marco Maratea, Francesco Ricca
2015 — conf
Abstract Answer Set Solvers for Cautious Reasoning.
ICLP (Technical Communications)
Rémi Brochenin, Marco Maratea
2015 — conf
Abstract Solvers for Dung's Argumentation Frameworks.
TAFA
Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes Peter Wallner, Stefan Woltran
2015 — conf
Abstract Solvers for Quantified Boolean Formulas and their Applications.
AI*IA
Rémi Brochenin, Marco Maratea
2015 — conf
Advances in Multi-engine ASP Solving.
AI*IA
Marco Maratea, Luca Pulina, Francesco Ricca
2015 — conf
An Ontology for Historical Research Documents.
RR
Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina
2015 — conf
An Ontology-Based Archive for Historical Research.
Description Logics
Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina
2015 J jnl
Disjunctive Answer Set Solvers via Templates.
CoRR
Rémi Brochenin, Yuliya Lierler, Marco Maratea
2015 J jnl
Multi-engine ASP solving with policy adaptation.
J. Log. Comput.
Marco Maratea, Luca Pulina, Francesco Ricca
2015 B conf
Multi-level Algorithm Selection for ASP.
LPNMR
Marco Maratea, Luca Pulina, Francesco Ricca
2015 — ed.
Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 22, 2015.
RCRA@AI*IA
Stefano Bistarelli, Andrea Formisano, Marco Maratea
2015 — ed.
Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015.
CILC
Davide Ancona, Marco Maratea, Viviana Mascardi
2015 — ed.
Proceedings of the 6th Italian Workshop on Planning and Scheduling A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 22, 2015.
IPS@AI*IA
Gabriella Cortellessa, Daniele Magazzeni, Marco Maratea, Ivan Serina
2015 B conf
The Design of the Sixth Answer Set Programming Competition - - Report -.
LPNMR
Martin Gebser, Marco Maratea, Francesco Ricca
2014 J jnl
A multi-engine approach to answer-set programming.
Theory Pract. Log. Program.
Marco Maratea, Luca Pulina, Francesco Ricca
2014 A conf
Abstract Disjunctive Answer Set Solvers.
ECAI
Rémi Brochenin, Yuliya Lierler, Marco Maratea
2014 J jnl
Efficient DTPP solving with a reduction-based approach.
Intelligenza Artificiale
Marco Maratea, Luca Pulina
2014 J jnl
The Design of the Fifth Answer Set Programming Competition.
CoRR
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
2014 J jnl
The Multi-engine ASP Solver ME-ASP: Progress Report.
CoRR
Marco Maratea, Luca Pulina, Francesco Ricca
2013 J jnl
A Multi-Engine Approach to Answer Set Programming.
CoRR
Marco Maratea, Luca Pulina, Francesco Ricca
2013 — conf
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences.
AI*IA
Jean-Rémi Bourguet, Marco Maratea, Luca Pulina
2013 — conf
Automated Selection of Grounding Algorithm in Answer Set Programming.
AI*IA
Marco Maratea, Luca Pulina, Francesco Ricca
2013 — conf
Computational analysis of freeway traffic control based on a linearized prediction model.
CDC
Lorenzo Maggi, Marco Maratea, Simona Sacone, Silvia Siri
2013 A* conf
Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach.
ICAPS
Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta
2012 — conf
Algorithms for Solving Satisfiability Problems with Qualitative Preferences.
Correct Reasoning
Enrico Giunchiglia, Marco Maratea
2012 J jnl
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints.
J. Comput. Syst. Sci.
Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta
2012 — conf
Applying Machine Learning Techniques to ASP Solving.
ICLP (Technical Communications)
Marco Maratea, Luca Pulina, Francesco Ricca
2012 J jnl
Planning as satisfiability with IPC simple preferences and action costs.
AI Commun.
Marco Maratea
2012 J jnl
Solving disjunctive temporal problems with preferences using maximum satisfiability.
AI Commun.
Marco Maratea, Luca Pulina
2012 B conf
The Multi-Engine ASP Solver me-asp.
JELIA
Marco Maratea, Luca Pulina, Francesco Ricca
2011 J jnl
Introducing Preferences in Planning as Satisfiability.
J. Log. Comput.
Enrico Giunchiglia, Marco Maratea
2011 J jnl
Look-back Techniques for ASP Programs with Aggregates.
Fundam. Informaticae
Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca
2011 — conf
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions.
AI*IA
Marco Maratea, Luca Pulina
2010 — conf
An Experimental Evaluation of Max-SAT and PB Solvers on Over-Subscription Planning Problems.
RCRA@CPAIOR
Marco Maratea
2010 B conf
DLV
JELIA
Marco Maratea, Francesco Ricca, Pierfrancesco Veltri
2010 J jnl
Solving satisfiability problems with preferences.
Constraints An Int. J.
Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea
2009 — conf
Improving Plan Quality in SAT-Based Planning.
AI*IA
Enrico Giunchiglia, Marco Maratea
2009 C conf
Maximum likelihood approach to HF radar performance characterization.
FUSION
Craig Carthel, Stefano Coraluppi, Peter Willett, Marco Maratea, Alain Maguer
2008 A conf
A new Approach for Solving Satisfiability Problems with Qualitative Preferences.
ECAI
Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea
2008 A conf
Computing All Optimal Solutions in Satisfiability Problems with Preferences.
CP
Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea
2008 — conf
Look-back Techniques for ASP Programs with Aggregates.
RCRA
Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca
2008 J jnl
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers.
J. Algorithms
Marco Maratea, Francesco Ricca, Wolfgang Faber, Nicola Leone
2008 J jnl
On the relation among answer set solvers.
Ann. Math. Artif. Intell.
Enrico Giunchiglia, Nicola Leone, Marco Maratea
2007 B conf
Experimenting with Look-Back Heuristics for Hard ASP Programs.
LPNMR
Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca
2007 A* conf
Planning as Satisfiability with Preferences.
AAAI
Enrico Giunchiglia, Marco Maratea
2007 — conf
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals.
AI*IA
Enrico Giunchiglia, Marco Maratea
2006 J jnl
Answer Set Programming Based on Propositional Satisfiability.
J. Autom. Reason.
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
2006 J jnl
Efficient decision procedures for the integration of planning and formal verification in advanced systems.
AI Commun.
Marco Maratea
2006 A conf
Solving Optimization Problems with DLL.
ECAI
Enrico Giunchiglia, Marco Maratea
2006 B conf
optsat: A Tool for Solving SAT Related Optimization Problems.
JELIA
Enrico Giunchiglia, Marco Maratea
2005 — conf
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming.
Answer Set Programming
Enrico Giunchiglia, Marco Maratea
2005 — conf
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming.
AI*IA
Enrico Giunchiglia, Marco Maratea
2005 B conf
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels).
ICLP
Enrico Giunchiglia, Marco Maratea
2005 J jnl
The SAT-based Approach to Separation Logic.
J. Autom. Reason.
Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
2004 — conf
A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints.
SAT (Selected Papers
Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
2004 A conf
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints.
SAT
Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
2004 — conf
A SAT-based polynomial space algorithm for answer set programming.
NMR
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
2004 B conf
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs.
LPNMR
Yuliya Lierler, Marco Maratea
2004 A* conf
SAT-Based Answer Set Programming.
AAAI
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
2004 — conf
TSAT++: an Open Platform for Satisfiability Modulo Theories.
D/PDPAR@IJCAR
Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea
2003 A conf
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver.
CP
Enrico Giunchiglia, Marco Maratea, Armando Tacchella
2003 — conf
Computing Answer Sets of a Logic Program via-enumeration of SAT certificates.
Answer Set Programming
Yuliya Lierler, Marco Maratea
2002 B conf
Dependent and Independent Variables in Propositional Satisfiability.
JELIA
Enrico Giunchiglia, Marco Maratea, Armando Tacchella
2001 A conf
Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability.
IJCAR
Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin