Marco Maratea - Home Page
Since December 2022, I am Full Professor at the University of Calabria, Italy, affiliated with DeMaCS.
From September 2020 to February 2021 I was University Lecturer at the Institute of Logic and Computation of the Faculty of Informatics at the Vienna University of Technology, working in the Database and Artificial Intelligence Group. I held the same position in Fall semesters since 2015.
From Decembre 2014 to December 29th, 2022, I was Associate Professor at the Polytechnic School, University of Genova, Italy, affiliated with DIBRIS. I held an Assistant Professor position, from December 2010 to November 2014, at the same University.
From March 2007 to February 2010 I have been Research Associate at DIST at the Faculty of Engineering of the University of Genova in E. Giunchiglia's group.
From October 2005 to December 2006 I was working as Research Associate at the Department of Mathematics of the University of Calabria in N. Leone's group, where I was Professor on contract at the Faculty of Sciences until September 2007, and then again from October 2009 to September 2010 at the Faculty of Humanities.
I received the master degree in computer science and engineering and
the PhD degree from the University of Genova in April 2001 and June 2005, respectively. My advisor was
E. Giunchiglia.
I worked with Prof. V. Lifschitz
in the Department of Computer Science at the University of Texas at Austin from Janaury to April 2003 on Answer Set Programming, in particular on the integration of Cmodels and SIMO.
I also worked with
Prof. D. Dill in the Department of Computer Science
at the Stanford University at
Stanford from February to May 2004.
- Events I am/was involved
(Senior PC Member) 39th AAAI Conference on Artificial Intelligence (AAAI 2025)
(PC Member) 35th International Conference on Automated Planning and Scheduling (ICAPS 2025)
(Senior PC Member) 27th European Conference on Artificial Intelligence (ECAI 2024)
(Senior PC Member) 38th AAAI Conference on Artificial Intelligence (AAAI 2024)
(PC Member) 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024)
(PC Member) 40th International Conference on Logic Programming (ICLP 2024)
(PC Member) 34th International Conference on Automated Planning and Scheduling (ICAPS 2024)
(PC Member) 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)
(PC Member) 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024)
(PC Member) 8th International Joint Conference on Rules and Reasoning (RuleML+RR 2024)
(PC Member) 17th Annual Symposium on Combinatorial Search (SoCS 2024)
(PC Member) 39th Italian Conference on Computational Logic (CILC 2024)
(Invited Speaker) 39th International Conference on Logic Programming (ICLP 2023)
(Senior PC Member) 37th AAAI Conference on Artificial Intelligence (AAAI 2023)
(PC Member) 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023)
(PC Member) 26th European Conference on Artificial Intelligence (ECAI 2023)
(PC Member) 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023)
(PC Member) 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023)
(PC Member) 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023)
(PC Member) Doctoral Consortium of the 32nd International Conference on Logic Programming (ICLP 2023)
(PC Member) 18th European Conference on Logics in Artificial Intelligence (JELIA 2023)
(PC Member) 9th International Workshop on Machine Learning, Optimation and Data Science (LOD 2023)
(PC Member) 16th Annual Symposium on Combinatorial Search (SoCS 2023)
(PC Member) 38th Italian Conference on Computational Logic (CILC 2023)
(Program co-Chair) 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022)
(PC Member) 31st International Joint Conference on Artificial Intelligence (IJCAI 2022)
(PC Member) 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022)
(PC Member) 36th AAAI Conference on Artificial Intelligence (AAAI 2022):
Doctoral Consortium and Student A&P tracks
(PC Member) 38th International Conference on Logic Programming (ICLP 2022)
(PC Member) 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022)
(PC Member) 24th Symposium on Practical Aspects of Declarative Languages (PADL 2022)
(PC Member) 27th ACM Symposium on Applied Computing (SAC 2022)
(PC Member) 8th International Workshop on Machine Learning, Optimation and Data Science (LOD 2022)
(PC Member) 15th Annual Symposium on Combinatorial Search (SoCS 2022)
(PC Member) 15th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2022)
(PC Member) 37th Italian Conference on Computational Logic (CILC 2022)
(Senior PC Member) 30th International Joint Conference on Artificial Intelligence (IJCAI 2021)
(Diversity and Inclusion co-Chair) 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021)
(PC Member) 35th AAAI Conference on Artificial Intelligence (AAAI 2021): Main, Doctoral Consortium and Student A&P tracks
(PC Member) 37th International Conference on Logic Programming (ICLP 2021) Application Track
(PC Member) 36th ACM Symposium on Applied Computing (SAC 2021)
(PC Member) 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021)
(PC Member) 7th International Workshop on Machine Learning, Optimation and Data Science (LOD 2021)
(PC Member) 17th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2021)
(PC Member) 20th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2021)
(PC Member) 14th Annual Symposium on Combinatorial Search (SoCS 2021)
(PC Member) 14th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2021)
(PC Member) 36th Italian Conference on Computational Logic (CILC 2021)
(Track co-Chair) 36th International Conference on Logic Programming (ICLP 2020)
(Track co-Chair) 19th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2020)
(Senior PC Member) 24th European Conference on Artificial Intelligence (ECAI 2020)
(Invited Tutorialist) 13th Annual Symposium on Combinatorial Search (SoCS 2020)
(PC Member) 29th International Joint Conference on Artificial Intelligence and 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020)
(PC Member) 34th AAAI Conference on Artificial Intelligence (AAAI 2020): Main, Doctoral Consortium and Student A&P tracks
(PC Member) 36th International Conference on Logic Programming (ICLP 2020)
(PC Member) 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)
(PC Member) 4th International Joint Conference on Rules and Reasoning (RuleML+RR 2020)
(PC Member) 13th Annual Symposium on Combinatorial Search (SoCS 2020)
(PC Member) 6th International Workshop on Machine Learning, Optimation and Data Science (LOD 2020)
(PC Member) 18th International Workshop on Non-Monotonic Reasoning (NMR 2020)
(PC Member) 13th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2020)
(PC Member) 35th Italian Conference on Computational Logic (CILC 2020)
(DC Chair) 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019)
(Program co-Chair) 25th RCRA International Workshop on "Experimental Evaluation of Algorithms for solving problems with combinatorial explosion" (RCRA 2019)
(PC Member) 28th International Joint Conference on Artificial Intelligence (IJCAI 2019)
(PC Member) 33rd AAAI Conference on Artificial Intelligence (AAAI 2019): Main, Doctoral Consortium and Student A&P tracks
(PC Member) 5th International Workshop on Machine Learning, Optimation and Data Science (LOD 2019)
(PC Member) 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019)
(PC Member) 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019)
(PC Member) 16th European Conference on Logics in Artificial Intelligence (JELIA 2019)
(PC Member) 21st Symposium on Practical Aspects of Declarative Languages (PADL 2019)
(PC Member) 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019)
(PC Member) 5th International Workshop on the Theory and Applications of Formal Argument (TAFA 2019)
(PC Member) Doctoral Consortium of the 28th International Conference on Logic Programming (ICLP 2019)
(PC Member) 12th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2019)
(PC Member) 34th Italian Conference on Computational Logic (CILC 2019)
(Organizing Commettee Member) 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
(Program co-Chair) 25th RCRA International (FLoc) Workshop on "Experimental Evaluation of Algorithms for solving problems with combinatorial explosion" (RCRA 2018)
(Distinguished PC Member) 27th International Joint Conference on Artificial Intelligence and 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018)
(PC Member) 32nd AAAI Conference on Artificial Intelligence (AAAI 2018): Main, Doctoral Consortium and Student A&P tracks
(PC Member) 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
(PC Member) 17th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2018)
(PC Member) 20th Symposium on Practical Aspects of Declarative Languages (PADL 2018)
(PC Member) 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
(PC Member) 4th International Workshop on Machine learning, Optimation and Data Science (LOD 2018)
(PC Member) 11th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018)
(PC Member) 33rd Italian Conference on Computational Logic (CILC 2018)
(Workshop Commettee Member) 26th International Joint Conference on Artificial Intelligence (IJCAI 2017)
(Organizing Commettee Member) 2017 International Conference on High Performance Computing & Simulation (HPCS 2017)
(Organizing Commettee Member) 2nd International Competition on Computational Models of Argumentation (ICCMA 2017)
(Organizing Commettee Member) 7th Answer Set Programming Competition (ASPCOMP 2017)
(Program co-Chair) 24th RCRA International Workshop on "Experimental Evaluation of Algorithms for solving problems with combinatorial explosion" (RCRA 2017)
(Program co-Chair) 1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017)
(PC Member) 26th International Joint Conference on Artificial Intelligence (IJCAI 2017)
(PC Member) 31st AAAI Conference on Artificial Intelligence (AAAI 2017): Main and Student A&P tracks
(PC Member) 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)
(PC Member) 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017)
(PC Member) 27th International Conference on Automated Planning and Scheduling (ICAPS 2017) Journal Track
(PC Member) 3rd International Workshop on Machine learning, Optimation and big Data (MOD 2017)
(PC Member) 4th International Workshop on the Theory and Applications of Formal Argument (TAFA 2017)
(PC Member) 10th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2017)
(PC Member) 32nd Italian Conference on Computational Logic (CILC 2017)
(PC Member) 1st Workshop on Advances In Argumentation In Artificial Intelligence (AI^3 2017)
(Organizing Commettee Member) 25th International Joint Conference on Artificial Intelligence (IJCAI 2016)
(Program co-Chair) 15th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016)
(Program co-Chair) 23rd RCRA International Workshop on "Experimental Evaluation of Algorithms for solving problems with combinatorial explosion" (RCRA 2016)
(PC Member) 30th AAAI Conference on Artificial Intelligence (AAAI 2016): Main and Student A&P tracks
(PC Member) 22st European Conference on Artificial Intelligence (ECAI 2016)
(PC Member) 25th International Joint Conference on Artificial Intelligence (IJCAI 2016)
(PC Member) 2nd International Workshop on Machine learning, Optimation and big Data (MOD 2016)
(PC Member) 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016)
(PC Member) 9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016)
(PC Member) Workshop on Trends and Applications of Answer Set Programming (TAASP 2016)
(Invited Tutorialist) 31st International Conference on Logic Programming (ICLP 2015)
(Program co-Chair) 8th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2015)
(Program co-Chair) 22nd RCRA International Workshop on "Experimental Evaluation of Algorithms for solving problems with combinatorial explosion" (RCRA 2015)
(Program co-Chair and Local co-Organizer) 30th Italian Conference on Computational Logic (CILC 2015)
(Program co-Chair) 6th Italian Workshop on Planning and Scheduling (IPS 2015)
(Organizing Commettee Member) 9th International Conference on Web Reasoning and Rule Systems (RR 2015)
(Organizing Commettee Member) 6th Answer Set Programming Competition (ASPCOMP 2015)
(PC Member) 24th International Joint Conference on Artificial Intelligence (IJCAI 2015): Main and KR tracks
(PC Member) 29th AAAI Conference on Artificial Intelligence (AAAI 2015)
(Program co-Chair) 7th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2014)
(Program co-Chair) 21st RCRA International Workshop on "Experimental Evaluation of Algorithms for solving problems with combinatorial explosion" (RCRA 2014)
(Organizing Commettee Member) 5th Answer Set Programming Competition (ASPCOMP 2014)
(Organizing Commettee Member) 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014)
(PC Member) 21st European Conference on Artificial Intelligence (ECAI 2014)
(PC Member) Doctoral Consortium of the 8th International Conference on Web Reasoning and Rule Systems (RR 2014)
(PC Member) 29th Italian Conference on Computational Logic (CILC 2014)
(Organizing Commettee Member) AI*IA 2014 Workshop RCRA Inconti e Confronti (RiCeRcA 2014) (in Italian)
(Program co-Chair) 20th RCRA International Workshop on "Experimental Evaluation of Algorithms for solving problems with combinatorial explosion" (RCRA 2013)
(Organizing Commettee Member) 7th International Conference on Web Reasoning and Rule Systems (RR 2013)
(Organizing Commettee Member) 9th ReasoningWeb Summer School (RW 2013)
(PC Member) 23rd International Conference on Artificial Intelligence (IJCAI 2013)
(PC Member) 6th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)
(Organizing Commettee Member) AI*IA 2013 Workshop RCRA Inconti e Confronti (RiCeRcA 2013) (in Italian)
(Reviewer) RCRA 2012 Special Issue of AI Communications
(Organizing Commettee Member) 6th International Conference on Web Reasoning and Rule Systems (RR 2012)
(Organizing Commettee Member) 8th ReasoningWeb Summer School (RW 2012)
(PC Member) 26th AAAI Conference on Artificial Intelligence (AAAI 2012)
(PC Member) 13rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2012)
(PC Member) Doctoral Consortium of the 28th International Conference on Logic Programming (ICLP 2012)
(PC Member) 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012)
(PC Member) 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)
(PC Member) 27th International Conference on Logic Programming (ICLP 2011)
(PC Member) 4th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2011)
(PC Member) ASPOCP/LaSh 2010 Special Issue of AI Communications
(PC Member) RCRA 2011 International Workshop on Experimental Evaluation of Algorithms for
Solving problems with Combinatorial Explosion (RCRA 2011)
(PC Member) 3rd Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2010)
(PC Member) 25th Italian Congress on Computational Logic (CILC 2010)
(PC Member) International Workshop on Experimental Evaluation of Algorithms for
Solving problems with Combinatorial Explosion (RCRA 2009)
(PC Member) Twelfth International Workshop on Non-Monotonic Reasoning (NMR 2008)
Special session on "Declarative Programming Paradigms and Systems for NMR".
(PC Member) International Workshop on Experimental Evaluation of Algorithms for
Solving Problems with Combinatorial Explosion (RCRA 2008)
(PC Member) Convegno Italiano di Logica Computazionale
(CILC) 2007
(Invited talk) Dagstuhl Seminar 05171: Nonmonotonic Reasoning, Answer Set Programming and Constraints
(Invited talk) Combination of Decision Procedures - Summer School 2004
(PC Member) Terzo Workshop Italiano su
Planning e Scheduling (in italian)
(Member of Local Organization) Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003)
Editorial Activities
Master and PhD Thesis supervised (recent)
- Riccardo Bertolucci - "Declarative Solutions for the Manipulation of Articulated Objects using Dual-arm Robots"
PhD in Mathematics and Computer Science, UNICAL (pdf, March 2020)
- Muhammad Kamran Khan - "Application of Artificial Intelligence declarative
methods for Solving Operating Room Scheduling problems in Hospital Environments"
PhD in Computer Science and Systems Engineering - curr. Computer Science, UNIGE (pdf, September 2022)
- Marco Mochi - "Tecniche di Intelligenza Artificiale per la risoluzione del problema di schedulazione dei trattamenti chemioterapici"
Master in Computer Engineering - curr. Artificial Intelligence & Human-Centered Computing, UNIGE (pdf, October 2020)
- Matteo Cardellini - "Artificial Intelligence Techniques for Solving the In-Station Train Dispatching Problem"
Master in Computer Engineering - curr. Artificial Intelligence & Human-Centered Computing, UNIGE (pdf, July 2021)
- Nicholas Nisopoli - "Tecniche di Intelligenza Artificiale e strumenti applicativi per la ripianificazione di sessioni riabilitative ospedaliere"
Master in Computer Engineering - curr. Artificial Intelligence & Human-Centered Computing, UNIGE (pdf, October 2021)
- Marco Scanu - "Tecniche di Intelligenza Artificiale per la schedulazione degli interventi nelle sale operatorie: il caso di studio dell'ASL1 Liguria"
Master in Computer Engineering - curr. Artificial Intelligence & Human-Centered Computing, UNIGE (pdf, March 2022)
- Daniele Yu - "Ottimizzazione e Visualizzazione nella risoluzione
del problema di schedulazione dei trattamenti chemioterapici"
Master in Computer Engineering - curr. Artificial Intelligence & Human-Centered Computing, UNIGE (pdf, March 2022)
- Erfan Shojaei - "Artificial Intelligence Planning for Robotic Construction 3D Printing Applications: Printability Checking and Prefabrication"
Master in Computer Engineering - curr. Artificial Intelligence & Human-Centered Computing, UNIGE (pdf, March 2022)
- Simone Caruso - "Artificial Intelligence Techniques for Scheduling Pre-Operative Assessment Clinic"
Master in Computer Engineering - curr. Artificial Intelligence & Human-Centered Computing, UNIGE (pdf, July 2022)
- Gabriele Guo, Luca Rebagliati - "Tecniche di Intelligenza Artificiale Applicate all'Analisi del Movimento e alla Pianificazione per il Supporto ad Attivita' di Fitness"
Master in Computer Engineering - curr. Artificial Intelligence & Human-Centered Computing, UNIGE (pdf, June/July 2022)
- Alessio Formica - "In-Station Train Dispatching via Artificial Intelligence Techniques: Optimisation, Rescheduling and Visualisation"
Master in Computer Engineering - curr. Artificial Intelligence & Human-Centered Computing, UNIGE (pdf, October 2022)
- Riccardo Poli - "Artificial Intelligence techniques for solving the hydro generation scheduling problem"
Master in Computer Engineering - curr. Artificial Intelligence & Human-Centered Computing, UNIGE (pdf, December 2022)
- Victoria Morozan - "Artificial Intelligence techniques for scheduling interventions in operating rooms with special units"
Master in Computer Engineering - curr. Artificial Intelligence & Human-Centered Computing, UNIGE (pdf, October 2024)
Publications
- G. Galata, M. Maratea, C. Marte, M. Mochi - Rescheduling Master Surgical Schedules via Answer Set Programming.
Progress in Artificial Intelligence. To appear, 2024.
- M. Cardellini, C. Dodaro, M. Maratea, M. Vallati - Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming.
Accepted to the 40th International Conference on Logic Programming (ICLP 2024). To appear in Theory and Practice of Logic Programming.
- C. Dodaro, G. Galata, M. Gebser, M. Maratea, C. Marte, M. Mochi, M. Scanu - Operating Room Scheduling via Answer Set Programming: Improved Encoding and Test on Real Data.
Journal of Logic and Computation. To appear, 2024.
- E. Shojaei Barjuei, A. Capitanelli, R. Bertolucci, E. Courteille, F. Mastrogiovanni, M. Maratea - Digital Workflow for Printability Checking and Prefabrication in Robotic Construction 3D Printing Based on Artificial Intelligence Planning.
Engineering Applications of Artificial Intelligence. Vol. 133, 2024.
- S. Caruso, G. Galata, M. Maratea, M. Mochi, I. Porro - Scheduling Pre-Operative Assessment Clinic with Answer Set Programming.
Journal of Logic and Computation. Vol. 34(3), pages 465-493, 2024.
- S. Caruso, C. Dodaro, M. Maratea, M. Mochi, F. Riccio - CNL2ASP: Converting Controlled Natural Language Sentences into ASP.
Theory and Practice of Logic Programming. Vol. 24(2), pages 196-226, 2024.
- M. Cardellini, P. De Nardi, C. Dodaro, G Galata, A. Giardini, M. Maratea, I. Porro - Solving Rehabilitation Scheduling problems via a Two-Phase ASP Approach.
Theory and Practice of Logic Programming. Vol. 24(2), pages 344-367, 2024.
- M. Alviano, C. Dodaro, S: Fiorentino, M.Maratea - AMO-aware Aggregates in Answer Set Programming.
Accepted at the 33rd International Joint
Conference on Artificial Intelligence (IJCAI 2024), 2024
- M. Cardellini, M. Maratea, F. Percassi, E. Scala, M. Vallati - Taming Discretised PDDL+ through Multiple Discretisations.
Accepted at the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), 2024.
- M. Cardellini, E. Giunchiglia, M. Maratea - Symbolic Numeric Planning with Patterns.
Accepted at the 38th AAAI Conference on Artificial Intelligence (AAAI 2024), 2024.
- M. Cardellini, M. Maratea, F. Percassi, E. Scala, M. Vallati - Taming Discretised PDDL+ through Multiple Discretisations (Extended Abstract).
Accepted at the 17th International Symposium on Combinatorial Search (SoCS 2024), 2024.
- P. Bruno, S. Caruso, C. Dodaro, M. Maratea - A Tool For Reasoning Over CNL Sentences With Temporal Constructs.
Accepter to the 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0), 2024.
- C. Dodaro, G. Galata, C. Marte, M. Maratea, M. Mochi -
Nuclear Medicine Scheduling via Answer Set Programming.
Proc. of the 39th Italian Conference on Computational Logic (CILC 2024), 2024.
- P. Cappanera, S. Caruso, C. Dodaro, G. Galata, M. Gavanelli, M. Maratea, C. Marte, M. Mochi, M. Nonato, M. Roma - Recent Answer Set Programming Applications to Scheduling Problems in Digital Health
Accepted to the 31st RCRA International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion", 2024.
- C. Dodaro, G. Galata, C. Marte, M. Maratea, M. Mochi -
Nuclear Medicine Rescheduling Problem: A Logic-based Approach.
Proc. of the 23rd AIxIA Workshop on Artificial Intelligence For Healthcare (HC@AIxIA 2024), 2024.
- M. Mochi, G. Galata, M. Maratea - Master Surgical Scheduling via Answer Set Programming.
Journal of Logic and Computation. Vol. 33(8), pages 1777-1803, 2023.
- M. Cardellini, C. Dodaro, G. Galata, A. Giardini, M. Maratea, N. Nisopoli, I. Porro - Rescheduling Rehabilitation Sessions with Answer Set Programming.
Journal of Logic and Computation. Vol. 33(4), pages 837-863, 2023.
- C. Dodaro, M. Maratea, M. Vallati - On the Configuration of More and Less Expressive Logic Programs.
Theory and Practice of Logic Programming. Vol. 23(2), pages 415-443, 2023.
- L. Chrpa, C. Dodaro, M. Maratea, M. Mochi, M. Vallati - Comparing Planning Domain Models using Answer Set Programming.
Proc. of the 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2023), LNCS 14281, pages 227-242, 2023.
- M. Cardellini, C. Dodaro, M. Maratea, M. Vallati - A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence.
Accepted at the 26th IEEE International Conference on Intelligent Transportation Systems (ITSC 2023), 2023.
- Giuseppe Galata, Marco Maratea, Marco Mochi - Master Surgical Scheduling via Answer Set Programming Tested on Real Data.
Proc. of the 2nd AIxIA Workshop on Artificial Intelligence For Healthcare (HC@AIxIA 2023). CEUR Workshop Proceedings, Vol. 3578, pages 130-144, 2023.
- S. Caruso, C. Dodaro, G. Galata, M. Maratea - Scheduling Periodic Treatments Via Answer Set Programming.
Proc. of the 38th Italian Conference on Computational Logic (CILC 2023). CEUR Workshop Proceedings, Vol. 3428, 2023.
- M. Scanu, M. Mochi, C. Dodaro, G. Galata, M. Maratea - Operating Room Scheduling Via Answer Set Programming: The Case of ASL1 Liguria.
Proc. of the 38th Italian Conference on Computational Logic (CILC 2023). CEUR Workshop Proceedings, Vol. 3428, 2023.
- T. Linsbichler, M. Maratea, A. Niskanen, J.P. Wallner, S. Woltran - Advanced Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving.
Artificial Intelligence. Vol. 307, 2022.
- C. Dodaro, G. Galata, M.K. Khan, M. Maratea, I. Porro - Operating Room (Re)Scheduling with Bed Management via ASP.
Theory and Practice of Logic Programming. Vol. 22(2), pages 229-253, 2022.
- C. Dodaro, M. Maratea, F. Riccio - A tool for encoding controlled natural language specifications as ASP rules.
Proc. of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0). CEUR Workshop Proceedings, Vol. 3203, pages 188-201, 2022.
- L. Cadermatori, G. Galata, C. Lo Monaco, M. Maratea, M. Mochi, M. Schouten - An ASP-based Approach to Master Surgical Scheduling.
Proc. of the 35th Edition of the Italian Conference on Computational Logic (CILC 2022). CEUR Workshop Proceedings, Vol. 3204, pages 313-328, 2022.
- C. Dodaro, G. Galata, A. Grioni, M. Maratea, M. Mochi, I. Porro - An ASP-based Solution to the Chemotherapy Treatment Scheduling problem. Best Application Paper Award
Theory and Practice of Logic Programming. Vol. 21(5-6), pages 835-851, 2021: Proc. of the 37th International Conference on Logic Programming (ICLP 2021).
- D. Bacciu, E. Girardi, M. Maratea, J. Sousa - AI & Covid.
Intelligenza Artificiale. Vol. 15(2), pages 45-53, 2021.
- G. Bontempi, R. Chavarriaga, H. De Canck, E. Girardi, H. Hoos, I. Kilbane-Dawe, T. Ball, A. Nowe, J. Sousa, D. Bacciu, M. Aldinucci, M. Di Domenico, A. Saffiotti, M. Maratea - The CLAIRE COVID-19 initiative: approach, experiences and recommendations.
Journal of Ethics and Information Technology, Vol. 23(1), pages 127-133, 2021.
- R. Bertolucci, A. Capitanelli, C. Dodaro, N. Leone, M. Maratea, F. Mastrogiovanni, M. Vallati - Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming.
Theory and Practice of Logic Programming. Vol. 21(3), pages 372-401, 2021.
- M. Cardellini, M. Maratea, M. Vallati, G. Boleto, L. Oneto - In-Station Train Dispatching: A PDDL+ Planning Approach.
Proc. of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021). AAAI Press, pages 450-458, 2021.
- M. Cardellini, P. De Nardi, C. Dodaro, G. Galata, A. Giardini, M. Maratea, I. Porro - A Two-Phase ASP Encoding for solving Rehabilitation Scheduling.
Proc. of the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021), LNCS 12851, pages 111-125, 2021.
- S. Caruso, G. Galata, M. Maratea, M. Mochi, I. Porro - An ASP-based Approach to Scheduling Pre-Operative Assessment Clinic.
Proc. of AIxIA 2021: Advances in Artificial Intelligence. Revised Selected Papers. LNCS 13196, pages 671-688, 2021.
- M. Cardellini, M. Maratea, M. Vallati, G. Boleto, L. Oneto - An Efficient Hybrid Planning Framework for In-Station Train Dispatching.
Proc. of the 21st International Conference on Computational Science (ICCS 2021). LNCS 12742, 168-182, 2021.
- M. Cardellini, M. Maratea, M. Vallati, G. Boleto, L. Oneto - A Planning-based Approach for In-Station Train Dispatching.
Proc. of the 14th Annual Symposium on Combinatorial Search (SoCS 2021), AAAI Press, pgaes 156-158, 2021.
- G. Boleto, L. Oneto, M. Cardellini, M. Maratea, M. Vallati, R. Canepa, D. Anguita - In-Station Train Movements Prediction: from Shallow to Deep Multi Scale Models.
Accepted at the 29th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning (ESANN 2021). To appear, 2021.
- S. Caruso, G. Galata, M. Maratea, M. Mochi, I. Porro - Scheduling Pre-Operative Assessment Clinic via Answer Set Programming.
Proc. of the 9th Italian workshop on Planning and Scheduling (IPS 2021), CEUR Workshop Proceedings, Vol. 3065, 2021.
- R. Bertolucci, C. Dodaro, G. Galata, M. Maratea, I. Porro, F. Ricca - Explaining ASP-based Operating Room Schedules.
Proc. of the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA 2021), CEUR Workshop Proceedings, Vol. 3065, 2021.
- G. Galata, M. Maratea, M. Mochi, V. Morozan, I. Porro - An ASP-based solution to the Operating Room Scheduling with care units.
Proc. of the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA 2021), CEUR Workshop Proceedings, Vol. 3065, 2021.
- S. A. Gaggl, T. Linsbichler, M. Maratea, S. Woltran - Design and Results of the Second International Competition on Computational Models of Argumentation.
Artificial Intelligence. Vol. 279, 2020.
- F. Calimeri, W. Faber, M. Gebser, G. Ianni, R. Kaminski, T. Krennwallner, N. Leone, M. Maratea, F. Ricca, T. Schaub - ASP-Core-2 Input Language Format.
Theory and Practice of Logic Programming. Vol. 20(2), pages 294-309, 2020.
- M. Gebser, M. Maratea, F. Ricca - The Seventh Answer Set Programming Competition: Design and Results.
Theory and Practice of Logic Programming. Vol. 20(2), pages 176-204, 2020.
- G. Amendola, C. Dodaro, M. Maratea - A Formal Approach for Cautious Reasoning in Answer Set Programming.
Proc. of the 29th International Joint Conference on Artificial Intelligence and 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020), ijcai.org, pages 4716-4720, 2020.
- C. Dodaro, G. Galata, M.K. Khan, M. Maratea, I. Porro - Solving Operating Room Scheduling problems with Surgical Teams via
Answer Set Programming.
Proc. of AIxIA 2020: Advances in Artificial Intelligence. Revised and Selected Papers. LNAI 12414, pages 192-204, 2020.
- R. Bertolucci, A. Capitanelli, M. Maratea, F. Mastrogiovanni, M. Vallati - Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity.
Proc. of the 32nd International Conference on Tools with Artificial Intelligence (ICTAI 2020), IEEE Press, pages 1167-1174, 2020.
- C. Dodaro, G. Galata, M.K. Khan, M. Maratea, I. Porro - An ASP based Solution for Operating Room Scheduling with Surgical Teams in Hospital Environments.
Proc. of the 8th Italian Workshop on Planning and Scheduling (IPS 2020), CEUR Workshop Proceedings, Vol. 2745, 2020.
- M. Alviano, R. Bertolucci, M. Cardellini, C. Dodaro, G. Galata, M. K. Khan, M. Maratea, M. Mochi, V. Morozan, I. Porro, M. Schouten - Answer Set Programming in the Healthcare Domain: Extended Overview.
Proc. of the 27th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2020), CEUR Workshop Proceedings, Vol. 2745, 2020.
- C. Dodaro, G. Galata, M. Maratea, M. Mochi, I. Porro - Chemotherapy Treatment Scheduling via Answer Set Programming.
Proc. of the 35th Edition of the Italian Conference on Computational Logic (CILC 2020), CEUR Workshop Proceedings, Vol. 2710, pages 342-365, 2020.
- G. Amendola, C. Dodaro, M. Maratea - Abstract Solvers for Computing Cautious Consequences of ASP programs. Best Paper Award
Theory and Practice of Logic Programming. Vol. 19(5-6), pages 740-756, 2019: Proc. of the 35th International Conference on Logic Programming (ICLP 2019).
- J.G. Mailly, M. Maratea - Assessment of Benchmarks for Abstract Argumentation.
Argument & Computation. Vol. 10(2), pages 107-112, 2019.
- C. Dodaro, G. Galata, M. Maratea, I. Porro - An ASP-based Framework for Operating Room Scheduling.
Intelligenza Artificiale. Vol. 13(1), pages 63-77, 2019.
- R. Bertolucci, A. Capitanelli, M. Maratea, F. Mastrogiovanni, M. Vallati - Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity.
Proc. of the 17th Conference of the Italian Association for Artificial Intelligence (AI*IA 2019), LNCS 11946, 135-150, pages 2019.
- M. Vallati, M. Maratea - On the Configuration of SAT Formulae.
Proc. of the 17th Conference of the Italian Association for Artificial Intelligence (AI*IA 2019), LNCS 11946, pages 264-277, 2019.
- C. Dodaro, G. Galata, M.K. Khan, M. Maratea, I. Porro - An ASP-based Solution for Operating Room Scheduling with Beds Management.
Proc. of the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019), LNCS 11784, pages 67-81, 2019.
- R. Bertolucci, A. Capitanelli, C. Dodaro, N. Leone, M. Maratea, F. Mastrogiovanni, M. Vallati - An ASP-based Framework for the Manipulation of Articulated Objects using Dual-arm Robots.
Proc. of the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019), LNCS 11481, pages 32-44, 2019.
- M. Alviano, G. Amendola, C. Dodaro, N. Leone, M. Maratea, F. Ricca - Evaluation of disjunctive programs in WASP.
Proc. of the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019), LNCS 11481, pages 241-255, 2019.
- A. Capitanelli, M. Maratea, F. Mastrogiovanni, M. Vallati - On the Manipulation of Articulated Objects in Human-Robot Cooperation Scenarios.
Robotics and Autonomous Systems. Vol. 109, pages 139-155, 2018.
- E. Giunchiglia, M. Maratea, L. Pulina - Translation-based Approaches for Solving Disjunctive Temporal Problems with Preferences.
Constraints. Vol. 23(4), pages 383-402, 2018.
- M. Alviano, C. Dodaro, M. Maratea - Shared Aggregate Sets in Answer Set Programming.
Theory and Practice of Logic Programming, Vol. 18(3-4), pages 301-318: Proc. of the 34th International Conference on Logic Programming (ICLP 2018), 2018.
- M. Alviano, C. Dodaro, M. Jarvisalo, M. Maratea, A. Previti - Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores.
Theory and Practice of Logic Programming, Vol. 18(3-4), pages 319-336: Proc. of the 34th International Conference on Logic Programming (ICLP 2018), 2018.
- S. A. Gaggl, T. Linsbichler, M. Maratea, S. Woltran - Summary Report of the Second International Competition on Computational Models of Argumentation.
AI Magazine. Vol. 39(4), pages 77-79, 2018.
- R. Brochenin, T. Linsbichler, M. Maratea, J. P. Wallner, S. Woltran - Abstract Solvers for Dung's Argumentation Frameworks.
Argument & Computation. Vol. 9(1), pages 41-72, 2018.
- M. Alviano, C. Dodaro, M. Maratea - Nurse (Re)scheduling via Answer Set Programming.
Intelligenza Artificiale. Vol. 12(2), pages 109-204, 2018.
- M. Gebser, N. Leone, M. Maratea, S. Perri, F. Ricca, T. Schaub - Evaluation Techniques and Systems for Answer Set Programming: A Survey.
Proc. of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), pages 5450-5456, 2018.
- T. Linsbichler, M. Maratea, A. Niskanen, J.P. Wallner, S. Woltran - Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving.
Proc. of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), pages 1905-1911, 2018.
- C. Dodaro, G. Galata, M. Maratea, I. Porro - Operating Room Scheduling via Answer Set Programming.
Proc. of the the 17th Conference of the Italian Association for Artificial Intelligence (AI*IA 2018, LNCS 11298, pages 445-459, 2018.
- M. Gebser, M. Maratea, F. Ricca - The Sixth Answer Set Programming Competition.
Journal of Artificial Intelligence Research. Vol. 60, pages 41-95, 2017.
- M. Balduccini, D. Magazzeni, M. Maratea, E. LeBlanc - CASP Solutions for Planning in Hydrid Domains.
Theory and Practice of Logic Programming: Special issue on "New Trends in Constraint Logic Programming". Vol. 17(4), pages 591-633, 2017.
- A. Capitanelli, M. Maratea, F. Mastrogiovanni, M. Vallati - Automated Planning Techniques for Robot Manipulation Tasks Involving Articulated Objects.
Proc. of the 16th Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), LNCS 10640, pages 483-497, 2017.
- M. Alviano, C. Dodaro, M. Maratea - An Advanced Answer Set Programming Encoding for Nurse Scheduling.
Proc. of the 16th Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), LNCS 10640, pages 468-482, 2017.
- M. Gebser, M. Maratea, F. Ricca - The Design of the Seventh Answer Set Programming Competition.
Proc. of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), LNCS 10377, pages 3-9, 2017.
- C. Dodaro, M. Maratea - Nurse Scheduling via Answer Set Programming.
Proc. of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), LNCS 10377, pages 301-307, 2017.
- F. Calimeri, M. Gebser, M. Maratea, F. Ricca - Design and Results of the Fifth Answer Set Programming Competition.
Artificial Intelligence. Vol. 231, pages 151-181, 2016.
- R. Brochenin, Yu. Lierler, M. Maratea - Disjunctive Answer Set Solvers via Templates.
Theory and Practice of Logic Programming. Vol. 16(4), pages 465-497, 2016.
- Yu. Lierler, M. Maratea, F. Ricca - Systems, Engineering Environments, and Competitions.
AI Magazine special issue on Answer Set Programming, Vol 37(3), pages 45-52, 2016.
- M. Gebser, M. Maratea, F. Ricca - What's Hot in the Answer Set Programming Competition.
Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016), What's Hot track, AAAI Press, pages 4327-4329, 2016.
- M. Balduccini, D. Magazzeni, M. Maratea - PDDL+ Planning via Constraint Answer Set Programming.
Accepted to the 9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016), 2016.
- S. A. Gaggl, T. Linsbichler, M. Maratea, S. Woltran - Introducing the Second International Competition on Computational Models of Argumentation.
Accepted to the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016), 2016.
- M. Balduccini, D. Magazzeni, M. Maratea - A CASP-based Approach to PDDL+ Planning.
Accepted to the Workshop on Constraint Satisfaction techniques for Planning and Scheduling (COPLAS 2016), 2016.
- M. Maratea, L. Pulina, F. Ricca - Multi-Engine ASP Solving with Policy Adaptation.
Journal of Logic and Computation. Vol. 25(6), pages 1285-1306, 2015.
- R. Brochenin. M. Maratea - Abstract Answer Set Solvers for Cautious Reasoning.
Accepted to the 31st International Conference on Logic Programming (ICLP 2015).
- M. Maratea, L. Pulina, F. Ricca - Multi-Level Algorithm Selection for ASP.
Proc. of the 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2015), LNCS 9345, pages 439-445, 2015.
- M. Gebser, M. Maratea, F. Ricca - The Design of the Sixth Answer Set Programming Competition -- Report --.
Proc. of the 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2015), LNCS 9345, pages 531-544, 2015.
- R. Brochenin. M. Maratea - Abstract Solvers for Quantified Boolean Formulas and Their Applications.
Proc. of the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015). LNCS 9336, pages 205-217, 2015.
- M. Maratea, L. Pulina, F. Ricca - Advances in Multi-Engine ASP Solving.
Proc. of the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015). LNCS 9336, pages 179-190, 2015.
- R. Brochenin, T. Linsbichler, M. Maratea, J.P. Wallner, S. Woltran - Abstract Solvers for Dung's Argumentation Frameworks.
Proc. of the
3rd International Workshop on Theory and Applications of Formal Argumentation (TAFA 2015). LNAI 9524, pages 40-58, 2015.
- G. Adorni, M. Maratea, L. Pandolfo, L. Pulina - An Ontology for Historical Research Documents.
Accepted to the 28th International Workshop on Description Logics (DL 2015).
- G. Adorni, M. Maratea, L. Pandolfo, L. Pulina - An Ontology-based Archive for Historical Research.
Proc. of the 9th International Conference on Web Reasoning and Rule Systems (RR 2015), LNCS 9209, pages 11-18, 2015.
- M. Maratea, L. Pulina, F. Ricca - A Multi-Engine Approach to Answer Set Programming.
Theory and Practice of Logic Programming. Vol. 14(6), pages 841-868, 2014.
- M. Maratea, L. Pulina - Efficient DTPP Solving with a Reduction-based Approach.
Intelligenza Artificiale. Vol. 8(1), pages 101-111, 2014.
- R. Brochenin, Yu. Lierler, M. Maratea - Abstract Disjunctive Answer Set Solvers.
Proc. of the 21st European Conference on Artificial Intelligence (ECAI 2014), Frontiers in Artificial Intelligence and Applications, IOS Press, pages 165-170, 2014.
- F. Calimeri, M. Gebser, M. Maratea, F. Ricca - The Design of the Fifth Answer Set Programming Competition.
Proc. of the 30th International Conference on Logic Programming (ICLP 2014), 2014.
- M. Maratea, L. Pulina, F. Ricca - The ME-ASP Multi-Engine solver: Progress report.
Accepted to the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014).
- J.R. Bourguet, M. Maratea, L. Pulina - A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences.
Proc. of the 13th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2013). LNCS 8249, pages 445-456, 2013.
- M. Maratea, L. Pulina, F. Ricca - Automated Selection of Grounding Algorithm in Answer Set Programming.
Proc. of the 13th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2013). LNCS 8249, pages 73-84, 2013.
- A. Armando, E. Giunchiglia, M. Maratea, S. E. Ponta - Modeling and Reasoning about Business Processes under Authorization Constraints: a Planning-based Approach.
Proc. of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013). AAAI Press, 2013.
- L. Maggi, M. Maratea, S. Sacone, S. Siri - Computational Analysis of Freeway Traffic Control based on a Linearized Prediction Model.
52nd IEEE Conference on Decision and Control (CDC 2013), 2013.
- M. Maratea, L. Pulina, F. Ricca - On the Automated Selection of ASP instantiators.
2nd workshop on Grounding and Transformations for Theories with Variables (GTTV 2013), 2013.
- M. Maratea - Planning as Satisfiability with IPC Simple Preferences and Action Costs.
AI Communications. Vol. 25(4), pages 343-360, 2012
- M. Maratea, L. Pulina - Solving Disjunctive Temporal Problems with Preferences using Maximum Satisfiability.
AI Communications. Vol. 25(2), pages 137-156, 2012.
- A. Armando, E. Giunchiglia, M. Maratea, S.E. Ponta -
An Action-based Approach to the Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints.
Journal of Computer and Systems Sciences: Special issue on Knowledge Representation and Reasoning. Vol. 78(1), pages 119-141, 2012.
- E. Giunchiglia, M. Maratea - Algorithms for Solving Satisfiability Problems with Qualitative Preferences.
Proc. of Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. LNCS 7265, pages 327-344, 2012.
- M. Maratea, L. Pulina, F. Ricca - The Multi-Engine ASP Solver ME-ASP.
Proc. of the 13th European Conference on Logics in Artificial Intelligence (JELIA 2012). LNCS 7519, pages 484-487, 2012.
- M. Maratea, L. Pulina, F. Ricca - Applying Machine Learning Techniques to ASP Solving.
Proc. of the 28th International Conference on Logic Programming (ICLP 2012). Leibniz International Proceedings in Informatics (LIPIcs), Vol. 11, 2012.
- A. Armando, A. Contento, D. Costa, M. Maratea - Minimum Disclosure as Boolean Optimization: New Results.
19th RCRA International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA 2012), 2012.
- L. Foti, M. Maratea, S. Sacone, S. Siri - Solving Train Load Planning Problems with Boolean Optimizations.
19th RCRA International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA 2012), 2012.
- M. Marata, L. Pulina, F. Ricca - ME-ASP: A Multi-Engine Solver for Answer Set Programming.
Proc. of the 9th Italian Convention on Computational Logic (CILC 2012). CEUR Workshop Proceedings, Vol. 857, 2012.
- D. Anghinolfi, L. Foti, M. Maratea, M. Paolucci, S. Siri - Optimal loading plan for multiple trains in container terminals.
5th International Workshop on Freight Transportation and Logistics (ODYSSEUS 2012), 2012.
- W. Faber, N. Leone, M. Maratea, F. Ricca - Look-back Techniques for ASP Programs with Aggregates.
Fundamenta Informaticae. Vol. 107(4), pages 379-413, 2011.
- E. Giunchiglia, M. Maratea - Introducing Preferences in Planning as Satisfiability.
Journal of Logic and Computation. Vol. 21(2), pages 205-229, 2011.
- M. Maratea, L. Pulina - Over-subscription planning with Boolean Optimization: An assessment of state-of-the-art solutions.
Proc. of the 12th Conference of the Italian Association for Artificial Intelligence (AI*IA 2011). LNAI 6934, pages 421-426, 2011.
- M. Maratea, M. Pianfetti, L. Pulina - Solving Disjunctive Temporal Problems with Preferences using Boolean Optimization solvers.
18th RCRA International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA 2011), 2011.
- E. Di Rosa, E. Giunchiglia, M. Maratea - Solving Satisfiability Problems with Preferences.
Constraints: Special issue on "Constraint-based
approaches to preference modelling and reasoning". Vol. 15(4), pages 485-515, 2010.
- M. Maratea, F. Ricca, P. Veltri - DLV^{MC}: Enhanced Model Checking in DLV.
Proc. of the 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), LNCS 6341, pages 365-368, 2010.
- M. Maratea - An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems.
17th RCRA International Workshop on "Experimental Evaluation of Algorithms for
Solving Problems with Combinatorial Explosion" (RCRA 2010), 2010.
- E. Giunchiglia, M. Maratea - A Pseudo-Boolean Approach for Solving Planning Problems with IPC Simple Preferences.
ICAPS 2010 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS 2010), 2010.
- E. Giunchiglia, M. Maratea - Improving Plan Quality in SAT-based Planning.
Proc. of the 11th Conference of the Italian Association for
Artificial Intelligence (AI*IA 2009). LNCS 5883, pages 253-263, 2009.
- E. Giunchiglia, M. Maratea - A generate-and-test approach for computing ``optimal'' plans in SAT-based planning.
ICAPS 2009 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS 2009), 2009.
- C. Carthel, S. Coraluppi, P. Willett, M. Maratea, A. Maguer - Maximum Likelihood Approach to HF Radar Performance Characterization.
In
Proc. 12th International Conference on Information Fusion (FUSION 2009), 2009.
- E. Giunchiglia, N. Leone, M. Maratea - On the Relation Among Answer Set Solvers.
Annals of Mathematics and Artificial Intelligence. Vol. 53(1-4), pages 169-204, 2008.
- E. Di Rosa, E. Giunchiglia, M. Maratea - Solving Satisfiability Problems with Qualitative Preferences: A new Approach.
Proc. of the 15th RCRA Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" (RCRA 2008). CEUR Workshop Proceedings, Vol. 451, 2008.
- W. Faber, N. Leone, M. Maratea, F. Ricca - Look-back Techniques for ASP Programs with Aggregates.
Proc. of the 15th RCRA Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" (RCRA 2008). CEUR Workshop Proceedings, Vol. 451, 2008.
- E. Di Rosa, E. Giunchiglia, M. Maratea - Enumerating the optimal solutions with qualitative preferences in SAT, CP and ASP.
2nd International Workshop on Logic and Search (LaSh 2008), 2008.
- W. Faber, N. Leone, M. Maratea, F. Ricca -
Backjumping and Look-back Heuristics for Disjunctive Logic Programming with Aggregates.
2nd International Workshop on Logic and Search (LaSh 2008), 2008.
- E. Di Rosa, E. Giunchiglia, M. Maratea - Solving Satisfiability Problems with Preferences in Planning as Satisfiability.
18th International Conference on Automated Planning and Scheduling (ICAPS 2008) Doctoral Consortium, 2008.
- E. Di Rosa, E. Giunchiglia, M. Maratea -
Computing all Optimal Solutions in Satisfiability Problems with Preferences.
Proc. of the 14th International Conference on Principles and Practice of Constraint Programming (CP 2008), LNCS 5202, pages 603-607, 2008.
- E. Di Rosa, E. Giunchiglia, M. Maratea - A New Approach for
Solving Satisfiability Problems with Qualitative Preferences.
Proc. of the 18th European Conference on Artificial Intelligence (ECAI 2008), Frontiers in Artificial Intelligence and Applications, IOS Press, pages 510-514, 2008.
- M. Maratea, F. Ricca, W. Faber, N. Leone - Look-Back Techniques and Heuristics in DLV: Implementation, Evaluation and Comparison to QBF Solvers.
Journal of Algorithms. Vol. 63(1-3), pages 70-89, 2008.
- N. Leone, W. Faber, G. Pfeifer, A. Bria, F. Calimeri, G. Catalano, S. Cozza, T. Dell'Armi, T. Eiter, G. Gottlob, G. Greco, G. Ianni, G. Ielpa, M. Maratea, C. Panetta, S. Perri, F. Ricca, F. Scarcello, G. Terracina. - DLV: An Advanced System for Knowledge Representation and Reasoning.
ALP Newsletter. Vol. 20(3-4), 2007.
- W. Faber, N. Leone, M. Maratea, F. Ricca - Looking Back in DLV: Experiments and
Comparison to QBF Solvers.
4th Workshop on Answer Set Programming: Advances in Theory
and Implementation (ASP 2007), 2007.
- E. Giunchiglia, M. Maratea - SAT-based Planning with
minimal-#actions plans and "soft" goals. Best Paper Award
Proc. of the 10th Congress of the Italian Association for Artificial Intelligence (AI*IA 2007), LNCS 4733, pages 422-433, 2007.
- E. Giunchiglia, M. Maratea - Planning as Satisfiability with
Preferences.
Proc. of the 22th Conference of the American Association for Artificial Intelligence (AAAI 2007), AAAI Press, pages 987-992, 2007.
- W. Faber, N. Leone, M. Maratea, F. Ricca -
Look-Back Techniques and Heuristics in DLV: Implementation and Evaluation.
AI*IA Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" (RCRA 2007), 2007.
- E. Giunchiglia, M. Maratea - Exploting Optimizations in
SAT-based Planning: minimal-#actions plans and "soft" goals.
AI*IA Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" (RCRA 2007), 2007.
- W. Faber, N. Leone, M. Maratea, F. Ricca -
Implementation and Evaluation of Look-Back Techniques and Heuristics in DLV.
4th Italian Congress on Computational Logic (CILC 2007), 2007.
- M. Brain, W. Faber, M. Maratea, A. Polleres, T. Schaub,
R. Schindlauer - What should an ASP
Solver output? A Multiple Position Paper.
Proc. of the 1st
Workshop on Software Engineering for Answer Set Programming (SEA'07). CEUR Workshop Proceedings, Vol. 281, 2007.
- W. Faber, N. Leone, M. Maratea, F. Ricca - Experimenting with Look-Back Heuristics on Hard
ASP Programs.
Proc. of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007), LNCS 4483, pages 110-122, 2007.
- Yu. Lierler, M. Maratea - Cmodels: SAT-based Answer Set
Programming System.
ALP Newsletter, Vol. 20(1), 2007.
- E. Giunchiglia, M. Maratea - OPTSAT: A Tool for Solving SAT related
Optimization Problems. (tool description)
Proc. of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006), LNCS 4160, pages 485-489), 2006.
- E. Giunchiglia, Yu. Lierler, M. Maratea, A. Tacchella -
Experiments with SAT-based Answer Set Programming.
1st
Workshop on Search and Logic: Answer Set Programming and SAT
(LaSh06), 2006.
- W. Faber, N. Leone, M. Maratea, F. Ricca - Evaluating Backjumping for Disjunctive
Logic Programming.
AI*IA Workshop on "Experimental analysis and benchmarks of algorithms for Artificial Intelligence", 2006.
- E. Giunchiglia, M. Maratea - Solving Optimization Problems with
DLL.
Proc. of the 17th European Conference on Artificial Intelligence (ECAI 2006), Frontiers in Artificial Intelligence and Applications (IOS Press), pages 377-381, 2006.
- E. Giunchiglia, Yu. Lierler, M. Maratea - Answer Set
Programming based on Propositional Satisfiability.
Journal of Automated Reasoning, Vol. 36(4), pages 345-377, 2006.
- M. Maratea -
Efficient Decision Procedures for the Integration of Planning and
Formal Verification in Advanced Systems.
AI Communications (PhD summary). Vol. 19(1), pages 87-89, 2006.
- E. Giunchiglia, M. Maratea -
On the relation between Answer Set and SAT procedures (or, between smodels and cmodels).
Proc. of the 21th International Conference on Logic Programming (ICLP 2005). LNCS 3668. pages 37-51, 2005.
- E. Giunchiglia, M. Maratea -
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming.
Proc. of the 9th Congress of the Italian Association for Artificial
Intelligence (AI*IA 2005). LNCS/LNAI 3673, pages 122-134, 2005.
- E. Giunchiglia, M. Maratea -
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming.
Proc. of the 3rd Workshop on Answer Set Programming: Advances in Theory and Implementation (ASP05). CEUR Workshop Proceedings, Vol. 142, 2005.
- A. Armando, C. Castellini, E. Giunchiglia, M. Maratea -
The SAT-based Approach to Separation Logic.
Journal of Automated Reasoning, Vol. 35(1-3), pages 237-263, 2005.
- E. Giunchiglia, M. Maratea -
An Analysis of Search Strategies and Heuristics in Answer Set
Programming.
AI*IA Workshop on "Experimental
analysis and benchmarks for Artificial Intelligence algorithms", 2005.
- A. Armando, C. Castellini, E. Giunchiglia, M. Idini, M. Maratea - TSAT++: An Open
Reasoning Platform for Satisfiability Modulo Theory.
Proc. of the 2nd Workshop on Pragmatics of Decision Procedures in
Automated Reasoning (PDPAR
2004). ENTCS Volume 125(3),
pages 25-36, 2005. TSAT++ web site
- E. Giunchiglia, Yu. Lierler, M. Maratea - A SAT-Based Polynomial Space Algorithm for Answer Set Programming.
10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004.
- A. Armando, C. Castellini, E. Giunchiglia, M. Maratea -
A SAT-based Decision Procedure for the
Boolean Combination of Difference Constraints.
In Proc. of
SAT 2004 Revised Selected Papers. LNCS 3542, pages 16-29, 2004.
- E. Giunchiglia, Yu. Lierler, M. Maratea - SAT-Based
Answer Set Programming.
Proc. of the 19th National Conference on Artificial Intelligence (AAAI 2004). AAAI Press / MIT Press, 2004.
- Yu. Babovich, M. Maratea - Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs (System description).
Proc. of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2004). LNCS 2923, pages 346-350, 2004.
- Yu. Babovich, M. Maratea - Computing Answer Sets of a Logic Program via enumeration of SAT certificates.
Proc. of 2nd the Workshop on Answer Set Programming (ASP 2003): Advances in Theory and Implementation . CEUR Workshop Proceedings, Vol. 78, 2003.
- E. Giunchiglia, M. Maratea, A. Tacchella - (In)Effectiveness of Look-ahead Techniques in a Modern SAT Solver (Poster paper).
Proc. of the 9th International Conference on Principles and Practice of Constraint Programming (CP 2003). LNCS 2833, 842-846, 2003.
- E. Giunchiglia, M. Maratea, A. Tacchella - Look-Ahead vs. Look-Back techniques in a modern SAT solver.
6th International Conference on Theory and Applications of Satisfiability Testing (SAT2003), 2003.
- E. Giunchiglia, M. Maratea, A. Tacchella -
Dependent and independent variables in propositional satisfiability.
Proc. of the 8th European Conference on Logics in Artificial Intelligence
(JELIA 2002). LNCS/LNAI 2424, pages 296-307, 2002.
- E. Giunchiglia, M. Maratea, A. Tacchella, D. Zambonin -
Evaluating search heuristics and optimization techniques in propositional satisfiability.
Proc. of the
1st International Joint Conference on Automated Reasoning
(IJCAR 2001). LNCS 2083, pages 347-363, 2001.
Theses
- M. Maratea - Efficient Decision Procedures for the Integration of Planning and Formal Verification in Advanced Systems. PhD Thesis, April 2005. University of Genova, Italy.
- M. Maratea - Integration of Efficient Algorithms for Equivalence Reasoning in Propositional Satisfiability. Master Thesis, June 2001. University of Genova, Italy. (In italian)
Talks
Talks
Others Informations
Personal Informations
Contact me at:
Home address
Marco Maratea
via Terpi 23c int 8
16141, Genova
Italy
Office address at Genova
c/o STAR - DIST
viale F. Causa,15
16145 Genova, Italy
phone: +39-010-3532144
fax: +39-010-3532948
e-mail: marco_AT_dibris.unige.it
home page: http://www.star.dist.unige.it/~marco
Last modified: Mon Dec 1 2014