Marco Maratea
Orcid: 0000-0002-9034-2527Affiliations:
- University of Genoa, Italy
According to our database1,
Marco Maratea
authored at least 149 papers
between 2001 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
2025
0
5
10
15
1
7
3
2
4
5
4
9
3
8
2
4
3
2
1
2
2
1
7
6
2
9
6
5
5
4
2
7
1
4
3
1
2
2
2
3
2
3
5
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments.
Artif. Intell., 2025
2024
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning.
Theory Pract. Log. Program., March, 2024
Theory Pract. Log. Program., March, 2024
Theory Pract. Log. Program., March, 2024
Operating room scheduling via answer set programming: Improved encoding and test on real data.
J. Log. Comput., 2024
J. Log. Comput., 2024
Digital workflow for printability checking and prefabrication in robotic construction 3D printing based on Artificial Intelligence planning.
Eng. Appl. Artif. Intell., 2024
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming.
CoRR, 2024
Proceedings of the Seventeenth International Symposium on Combinatorial Search, 2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024
Proceedings of the 3rd AIxIA Workshop on Artificial Intelligence For Healthcare (HC@AIxIA 2024) co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), 2024
Proceedings of the Proceedings 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024) co-located with the 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024), 2024
Proceedings of the 39th Italian Conference on Computational Logic, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
J. Log. Comput., December, 2023
J. Log. Comput., June, 2023
Theory Pract. Log. Program., March, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023
Proceedings of the 38th Italian Conference on Computational Logic, 2023
Proceedings of the 38th Italian Conference on Computational Logic, 2023
Proceedings of the the Italian Workshop on Planning and Scheduling, 2023
Proceedings of the 2nd AIxIA Workshop on Artificial Intelligence For Healthcare (HC@AIxIA 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023
2022
Theory Pract. Log. Program., 2022
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving.
Artif. Intell., 2022
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022
2021
Theory Pract. Log. Program., 2021
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming.
Theory Pract. Log. Program., 2021
Ethics Inf. Technol., 2021
Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021
Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021
Proceedings of the Computational Science - ICCS 2021, 2021
Proceedings of the 29th European Symposium on Artificial Neural Networks, 2021
Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021
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), 2021
Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021
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), 2021
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), 2021
2020
Theory Pract. Log. Program., 2020
Seventh ASPOCP International Workshop on 'Answer Set Programming and Other Computing Paradigms'.
J. Log. Comput., 2020
Design and results of the Second International Competition on Computational Models of Argumentation.
Artif. Intell., 2020
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract).
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity.
Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020
Proceedings of the 35th Italian Conference on Computational Logic, 2020
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming.
Proceedings of the AIxIA 2020 - Advances in Artificial Intelligence, 2020
An ASP based Solution for Operating Room Scheduling with Surgical Teams in Hospital Environments.
Proceedings of the 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, 2020
Proceedings of the 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, 2020
2019
Theory Pract. Log. Program., 2019
Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019
Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019
Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity.
Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019
2018
Theory Pract. Log. Program., 2018
Robotics Auton. Syst., 2018
23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".
J. Exp. Theor. Artif. Intell., 2018
Translation-based approaches for solving disjunctive temporal problems with preferences.
Constraints An Int. J., 2018
Summary Report of the Second International Competition on Computational Models of Argumentation.
AI Mag., 2018
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the RiCeRcA Workshop co-located with the 17th International Conference of the Italian Association for Artificial Intelligence, 2018
Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018
Proceedings of the RiCeRcA Workshop co-located with the 17th International Conference of the Italian Association for Artificial Intelligence, 2018
2017
Special issue: Selected papers from the 15th International Conference of the Italian Association for Artificial Intelligence.
Intelligenza Artificiale, 2017
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017
Automated Planning Techniques for Robot Manipulation Tasks Involving Articulated Objects.
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017
2016
Intelligenza Artificiale, 2016
Experimental evaluation of algorithms for solving problems with combinatorial explosion.
AI Commun., 2016
Artif. Intell., 2016
Introducing the Second International Competition on Computational Models of Argumentation.
Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
20th RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".
J. Exp. Theor. Artif. Intell., 2015
Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015
Proceedings of the 28th International Workshop on Description Logics, 2015
Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015
Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015
2014
Intelligenza Artificiale, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
2013
Computational analysis of freeway traffic control based on a linearized prediction model.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences.
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013
2012
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints.
J. Comput. Syst. Sci., 2012
AI Commun., 2012
AI Commun., 2012
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
Proceedings of the Correct Reasoning, 2012
2011
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions.
Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011
2010
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010
An Experimental Evaluation of Max-SAT and PB Solvers on Over-Subscription Planning Problems.
Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2010
2009
Proceedings of the 12th International Conference on Information Fusion, 2009
Proceedings of the AI*IA 2009: Emergent Perspectives in Artificial Intelligence, 2009
2008
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers.
J. Algorithms, 2008
Proceedings of the ECAI 2008, 2008
Proceedings of the Principles and Practice of Constraint Programming, 2008
2007
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
J. Autom. Reason., 2006
Efficient decision procedures for the integration of planning and formal verification in advanced systems.
AI Commun., 2006
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
Solving Optimization Problems with DLL.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
2005
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels).
Proceedings of the Logic Programming, 21st International Conference, 2005
Proceedings of the Answer Set Programming, 2005
Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005
2004
Proceedings of the Selected Papers from the Workshops on Disproving, 2004
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints.
Proceedings of the SAT 2004, 2004
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004
2003
Proceedings of the Principles and Practice of Constraint Programming, 2003
Proceedings of the Answer Set Programming, 2003
2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
2001
Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001