default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarco Maratea
Person information
- affiliation: University of Genoa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2024
[j57]Erfan Shojaei Barjuei, Alessio Capitanelli, Riccardo Bertolucci, Eric Courteille
, Fulvio Mastrogiovanni, Marco Maratea:
Digital workflow for printability checking and prefabrication in robotic construction 3D printing based on Artificial Intelligence planning. Eng. Appl. Artif. Intell. 133: 108254 (2024)- [j56]Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro:
Scheduling pre-operative assessment clinic with answer set programming. J. Log. Comput. 34(3): 465-493 (2024) - [j55]Simone Caruso, Carmine Dodaro, Marco Maratea, Marco Mochi, Francesco Riccio:
CNL2ASP: Converting Controlled Natural Language Sentences into ASP. Theory Pract. Log. Program. 24(2): 196-226 (2024) - [j54]Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro:
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach. Theory Pract. Log. Program. 24(2): 344-367 (2024) - [j53]Georg Gottlob, Daniela Inclezan, Marco Maratea:
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning. Theory Pract. Log. Program. 24(2): 422-424 (2024) - 2023
- [j52]Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Nicholas Nisopoli, Ivan Porro:
Rescheduling rehabilitation sessions with answer set programming. J. Log. Comput. 33(4): 837-863 (2023) - [j51]Marco Mochi, Giuseppe Galatà, Marco Maratea:
Master Surgical Scheduling via Answer Set Programming. J. Log. Comput. 33(8): 1777-1803 (2023) - [j50]Carmine Dodaro, Marco Maratea, Mauro Vallati:
On the Configuration of More and Less Expressive Logic Programs. Theory Pract. Log. Program. 23(2): 415-443 (2023) - 2022
- [j49]Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes Peter Wallner, Stefan Woltran:
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving. Artif. Intell. 307: 103697 (2022) - [j48]Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro:
Operating Room (Re)Scheduling with Bed Management via ASP. Theory Pract. Log. Program. 22(2): 229-253 (2022) - 2021
- [j47]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:
The CLAIRE COVID-19 initiative: approach, experiences and recommendations. Ethics Inf. Technol. 23(S1): 127-133 (2021) - [j46]Davide Bacciu, Emanuela Girardi, Marco Maratea, Jose Sousa:
AI & COVID-19. Intelligenza Artificiale 15(2): 45-53 (2021) - [j45]Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming. Theory Pract. Log. Program. 21(3): 372-401 (2021) - [j44]Carmine Dodaro, Giuseppe Galatà, Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro:
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem. Theory Pract. Log. Program. 21(6): 835-851 (2021) - 2020
- [j43]Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran:
Design and results of the Second International Competition on Computational Models of Argumentation. Artif. Intell. 279 (2020) - [j42]Thomas Eiter, Marco Maratea, Mauro Vallati:
Preface. Fundam. Informaticae 174(3-4) (2020) - [j41]Daniela Inclezan, Marco Maratea:
Seventh ASPOCP International Workshop on 'Answer Set Programming and Other Computing Paradigms'. J. Log. Comput. 30(4): 835-836 (2020) - [j40]Martin Gebser, Marco Maratea, Francesco Ricca:
The Seventh Answer Set Programming Competition: Design and Results. Theory Pract. Log. Program. 20(2): 176-204 (2020) - [j39]Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub:
ASP-Core-2 Input Language Format. Theory Pract. Log. Program. 20(2): 294-309 (2020) - 2019
- [j38]Jean-Guy Mailly, Marco Maratea:
Assessment of benchmarks for abstract argumentation. Argument Comput. 10(2): 107-112 (2019) - [j37]Marco Maratea, Ivan Serina, Paolo Torroni:
Preface. Fundam. Informaticae 167(1-2): v-vii (2019) - [j36]Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro:
An ASP-based framework for operating room scheduling. Intelligenza Artificiale 13(1): 63-77 (2019) - [j35]Giovanni Amendola, Carmine Dodaro, Marco Maratea:
Abstract Solvers for Computing Cautious Consequences of ASP programs. Theory Pract. Log. Program. 19(5-6): 740-756 (2019) - 2018
- [j34]Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran:
Summary Report of the Second International Competition on Computational Models of Argumentation. AI Mag. 39(4): 77-79 (2018) - [j33]Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes Peter Wallner, Stefan Woltran:
Abstract solvers for Dung's argumentation frameworks. Argument Comput. 9(1): 41-72 (2018) - [j32]Enrico Giunchiglia, Marco Maratea, Luca Pulina:
Translation-based approaches for solving disjunctive temporal problems with preferences. Constraints An Int. J. 23(4): 383-402 (2018) - [j31]Marco Maratea, Viviana Mascardi, Davide Ancona, Alberto Pettorossi:
Preface. Fundam. Informaticae 159(1-2): v-vi (2018) - [j30]Mario Alviano, Carmine Dodaro, Marco Maratea:
Nurse (Re)scheduling via answer set programming. Intelligenza Artificiale 12(2): 109-124 (2018) - [j29]Stefano Bistarelli, Andrea Formisano, Marco Maratea:
23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". J. Exp. Theor. Artif. Intell. 30(4): 479-480 (2018) - [j28]Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
On the manipulation of articulated objects in human-robot cooperation scenarios. Robotics Auton. Syst. 109: 139-155 (2018) - [j27]Mario Alviano, Carmine Dodaro, Marco Maratea:
Shared aggregate sets in answer set programming. Theory Pract. Log. Program. 18(3-4): 301-318 (2018) - [j26]Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti:
Cautious reasoning in ASP via minimal models and unsatisfiable cores. Theory Pract. Log. Program. 18(3-4): 319-336 (2018) - 2017
- [j25]Marco Maratea, Giovanni Adorni, Stefano Cagnoni, Marco Gori:
Special issue: Selected papers from the 15th International Conference of the Italian Association for Artificial Intelligence. Intelligenza Artificiale 11(1): 3-4 (2017) - [j24]Martin Gebser, Marco Maratea, Francesco Ricca:
The Sixth Answer Set Programming Competition. J. Artif. Intell. Res. 60: 41-95 (2017) - [j23]Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc:
CASP solutions for planning in hybrid domains. Theory Pract. Log. Program. 17(4): 591-633 (2017) - 2016
- [j22]Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca:
Design and results of the Fifth Answer Set Programming Competition. Artif. Intell. 231: 151-181 (2016) - [j21]Toni Mancini, Marco Maratea, Francesco Ricca:
Experimental evaluation of algorithms for solving problems with combinatorial explosion. AI Commun. 29(2): 245-247 (2016) - [j20]Yuliya Lierler, Marco Maratea, Francesco Ricca:
Systems, Engineering Environments, and Competitions. AI Mag. 37(3): 45-52 (2016) - [j19]Daniela Inclezan, Marco Maratea, Victor W. Marek:
Preface. Fundam. Informaticae 147(1): v-vii (2016) - [j18]Stefano Bistarelli, Andrea Formisano, Marco Maratea, Paolo Torroni:
Preface. Fundam. Informaticae 149(1-2): v-vii (2016) - [j17]Gabriella Cortellessa, Daniele Magazzeni, Marco Maratea, Ivan Serina:
6th Italian Workshop on Planning and Scheduling (IPS 2015). Intelligenza Artificiale 10(2): 79-80 (2016) - [j16]Rémi Brochenin, Marco Maratea, Yuliya Lierler:
Disjunctive answer set solvers via templates. Theory Pract. Log. Program. 16(4): 465-497 (2016) - 2015
- [j15]Toni Mancini, Marco Maratea, Francesco Ricca:
20th RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". J. Exp. Theor. Artif. Intell. 27(5): 501-502 (2015) - [j14]Marco Maratea, Luca Pulina, Francesco Ricca:
Multi-engine ASP solving with policy adaptation. J. Log. Comput. 25(6): 1285-1306 (2015) - 2014
- [j13]Marco Maratea, Luca Pulina:
Efficient DTPP solving with a reduction-based approach. Intelligenza Artificiale 8(1): 101-111 (2014) - [j12]Marco Maratea, Luca Pulina, Francesco Ricca:
A multi-engine approach to answer-set programming. Theory Pract. Log. Program. 14(6): 841-868 (2014) - 2012
- [j11]Marco Maratea, Luca Pulina:
Solving disjunctive temporal problems with preferences using maximum satisfiability. AI Commun. 25(2): 137-156 (2012) - [j10]Marco Maratea:
Planning as satisfiability with IPC simple preferences and action costs. AI Commun. 25(4): 343-360 (2012) - [j9]Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta:
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. J. Comput. Syst. Sci. 78(1): 119-141 (2012) - 2011
- [j8]Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca:
Look-back Techniques for ASP Programs with Aggregates. Fundam. Informaticae 107(4): 379-413 (2011) - [j7]Enrico Giunchiglia, Marco Maratea:
Introducing Preferences in Planning as Satisfiability. J. Log. Comput. 21(2): 205-229 (2011) - 2010
- [j6]Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea:
Solving satisfiability problems with preferences. Constraints An Int. J. 15(4): 485-515 (2010) - 2008
- [j5]Enrico Giunchiglia, Nicola Leone, Marco Maratea:
On the relation among answer set solvers. Ann. Math. Artif. Intell. 53(1-4): 169-204 (2008) - [j4]Marco Maratea, Francesco Ricca, Wolfgang Faber, Nicola Leone:
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. J. Algorithms 63(1-3): 70-89 (2008) - 2006
- [j3]Marco Maratea:
Efficient decision procedures for the integration of planning and formal verification in advanced systems. AI Commun. 19(1): 87-89 (2006) - [j2]Enrico Giunchiglia, Yuliya Lierler, Marco Maratea:
Answer Set Programming Based on Propositional Satisfiability. J. Autom. Reason. 36(4): 345-377 (2006) - 2005
- [j1]Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea:
The SAT-based Approach to Separation Logic. J. Autom. Reason. 35(1-3): 237-263 (2005)
Conference and Workshop Papers
- 2024
- [c87]Matteo Cardellini, Enrico Giunchiglia, Marco Maratea:
Symbolic Numeric Planning with Patterns. AAAI 2024: 20070-20077 - [c86]Carmine Dodaro, Giuseppe Galatà, Cinzia Marte, Marco Maratea, Marco Mochi:
Nuclear Medicine Scheduling via Answer Set Programming. CILC 2024 - [c85]Pierangela Bruno, Simone Caruso, Carmine Dodaro, Marco Maratea:
A Tool For Reasoning Over CNL Sentences With Temporal Constructs. Datalog 2024: 30-42 - [c84]Matteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati:
Taming Discretised PDDL+ through Multiple Discretisations. ICAPS 2024: 59-67 - [c83]Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Marco Maratea:
AMO-aware Aggregates in Answer Set Programming. IJCAI 2024: 3215-3223 - [c82]Matteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati:
Taming Discretised PDDL+ through Multiple Discretisations (Extended Abstract). SOCS 2024: 263-264 - 2023
- [c81]Giuseppe Galatà, Marco Maratea, Marco Mochi:
Master Surgical Scheduling via Answer Set Programming Tested on Real Data. HC@AIxIA 2023: 130-144 - [c80]Enrico Giunchiglia, Marco Maratea, Marco Mochi:
A Simple Proof-Theoretic Characterization of Stable Models. IPS-RCRA-SPIRIT@AI*IA 2023 - [c79]Simone Caruso, Carmine Dodaro, Giuseppe Galatà, Marco Maratea:
Scheduling Periodic Treatments Via Answer Set Programming. CILC 2023 - [c78]Marco Scanu, Marco Mochi, Carmine Dodaro, Giuseppe Galatà, Marco Maratea:
Operating Room Scheduling Via Answer Set Programming: The Case of ASL1 Liguria. CILC 2023 - [c77]Matteo Cardellini, Carmine Dodaro, Marco Maratea, Mauro Vallati:
A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence. ITSC 2023: 5008-5013 - [c76]Lukás Chrpa, Carmine Dodaro, Marco Maratea, Marco Mochi, Mauro Vallati:
Comparing Planning Domain Models Using Answer Set Programming. JELIA 2023: 227-242 - 2022
- [c75]Linda Cadermatori, Giuseppe Galatà, Carola Lo Monaco, Marco Maratea, Marco Mochi, Marco Schouten:
An ASP-based Approach to Master Surgical Scheduling. CILC 2022: 313-328 - [c74]Carmine Dodaro, Marco Maratea, Francesco Riccio:
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. Datalog 2022: 188-201 - 2021
- [c73]Riccardo Bertolucci, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro, Francesco Ricca:
Explaining ASP-based Operating Room Schedules. IPS-RCRA@AI*IA 2021 - [c72]Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro:
Scheduling Pre-Operative Assessment Clinic via Answer Set Programming. IPS-RCRA@AI*IA 2021 - [c71]Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro:
An ASP-Based Approach to Scheduling Pre-operative Assessment Clinic. AI*IA 2021: 671-688 - [c70]Giuseppe Galatà, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro:
An ASP-based solution to the Operating Room Scheduling with care units. IPS-RCRA@AI*IA 2021 - [c69]Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto, Luca Oneto:
In-Station Train Dispatching: A PDDL+ Planning Approach. ICAPS 2021: 450-458 - [c68]Gianluca Boleto, Luca Oneto, Matteo Cardellini, Marco Maratea, Mauro Vallati, Renzo Canepa, Davide Anguita:
In-Station Train Movements Prediction: from Shallow to Deep Multi Scale Models. ESANN 2021 - [c67]Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto, Luca Oneto:
An Efficient Hybrid Planning Framework for In-Station Train Dispatching. ICCS (1) 2021: 168-182 - [c66]Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro:
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling. RuleML+RR 2021: 111-125 - [c65]Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto, Luca Oneto:
A Planning-based Approach for In-Station Train Dispatching. SOCS 2021: 156-158 - 2020
- [c64]Mario Alviano, Riccardo Bertolucci, Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro, Marco Schouten:
Answer Set Programming in Healthcare: Extended Overview. IPS-RCRA@AI*IA 2020 - [c63]Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro:
An ASP based Solution for Operating Room Scheduling with Surgical Teams in Hospital Environments. IPS-RCRA@AI*IA 2020 - [c62]Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro:
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming. AI*IA 2020: 204-220 - [c61]Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro:
Chemotherapy Treatment Scheduling via Answer Set Programming. CILC 2020: 342-356 - [c60]Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity. ICTAI 2020: 1167-1174 - [c59]Giovanni Amendola, Carmine Dodaro, Marco Maratea:
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract). IJCAI 2020: 4716-4720 - 2019
- [c58]Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity. AI*IA 2019: 135-150 - [c57]Mauro Vallati, Marco Maratea:
On the Configuration of SAT Formulae. AI*IA 2019: 264-277 - [c56]Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots. LPNMR 2019: 32-44 - [c55]Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca:
Evaluation of Disjunctive Programs in WASP. LPNMR 2019: 241-255 - [c54]Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro:
An ASP-based Solution for Operating Room Scheduling with Beds Management. RuleML+RR 2019: 67-81 - 2018
- [c53]Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
KR&R Approaches for Robot Manipulation Tasks with Articulated Objects. RiCeRcA@AI*IA 2018 - [c52]Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro:
Operating Room Scheduling via Answer Set Programming. AI*IA 2018: 445-459 - [c51]Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro:
An Overview of ASP Applications in the Health-care Domain. RiCeRcA@AI*IA 2018 - [c50]Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes Peter Wallner, Stefan Woltran:
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving. IJCAI 2018: 1905-1911 - [c49]Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub:
Evaluation Techniques and Systems for Answer Set Programming: a Survey. IJCAI 2018: 5450-5456 - 2017
- [c48]Mario Alviano, Carmine Dodaro, Marco Maratea:
An Advanced Answer Set Programming Encoding for Nurse Scheduling. AI*IA 2017: 468-482 - [c47]Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Automated Planning Techniques for Robot Manipulation Tasks Involving Articulated Objects. AI*IA 2017: 483-497 - [c46]Martin Gebser, Marco Maratea, Francesco Ricca:
The Design of the Seventh Answer Set Programming Competition. LPNMR 2017: 3-9 - [c45]Carmine Dodaro, Marco Maratea:
Nurse Scheduling via Answer Set Programming. LPNMR 2017: 301-307 - 2016
- [c44]Martin Gebser, Marco Maratea, Francesco Ricca:
What's Hot in the Answer Set Programming Competition. AAAI 2016: 4327-4329 - [c43]Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran:
Introducing the Second International Competition on Computational Models of Argumentation. SAFA@COMMA 2016: 4-9 - 2015
- [c42]Marco Maratea, Luca Pulina, Francesco Ricca:
Advances in Multi-engine ASP Solving. AI*IA 2015: 179-190 - [c41]Rémi Brochenin, Marco Maratea:
Abstract Solvers for Quantified Boolean Formulas and their Applications. AI*IA 2015: 205-217 - [c40]Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina:
An Ontology-Based Archive for Historical Research. Description Logics 2015 - [c39]Rémi Brochenin, Marco Maratea:
Abstract Answer Set Solvers for Cautious Reasoning. ICLP (Technical Communications) 2015 - [c38]Marco Maratea, Luca Pulina, Francesco Ricca:
Multi-level Algorithm Selection for ASP. LPNMR 2015: 439-445 - [c37]Martin Gebser, Marco Maratea, Francesco Ricca:
The Design of the Sixth Answer Set Programming Competition - - Report -. LPNMR 2015: 531-544 - [c36]Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina:
An Ontology for Historical Research Documents. RR 2015: 11-18 - [c35]Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes Peter Wallner, Stefan Woltran:
Abstract Solvers for Dung's Argumentation Frameworks. TAFA 2015: 40-58 - 2014
- [c34]Rémi Brochenin, Yuliya Lierler, Marco Maratea:
Abstract Disjunctive Answer Set Solvers. ECAI 2014: 165-170 - 2013
- [c33]Marco Maratea, Luca Pulina, Francesco Ricca:
Automated Selection of Grounding Algorithm in Answer Set Programming. AI*IA 2013: 73-84 - [c32]Jean-Rémi Bourguet, Marco Maratea, Luca Pulina:
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences. AI*IA 2013: 445-456 - [c31]Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta:
Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach. ICAPS 2013 - [c30]Lorenzo Maggi, Marco Maratea, Simona Sacone, Silvia Siri:
Computational analysis of freeway traffic control based on a linearized prediction model. CDC 2013: 886-891 - 2012
- [c29]Enrico Giunchiglia, Marco Maratea:
Algorithms for Solving Satisfiability Problems with Qualitative Preferences. Correct Reasoning 2012: 327-344 - [c28]Marco Maratea, Luca Pulina, Francesco Ricca:
Applying Machine Learning Techniques to ASP Solving. ICLP (Technical Communications) 2012: 37-48 - [c27]Marco Maratea, Luca Pulina, Francesco Ricca:
The Multi-Engine ASP Solver me-asp. JELIA 2012: 484-487 - 2011
- [c26]Marco Maratea, Luca Pulina:
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions. AI*IA 2011: 420-425 - 2010
- [c25]Marco Maratea:
An Experimental Evaluation of Max-SAT and PB Solvers on Over-Subscription Planning Problems. RCRA@CPAIOR 2010 - [c24]Marco Maratea, Francesco Ricca, Pierfrancesco Veltri:
DLVMC: Enhanced Model Checking in DLV. JELIA 2010: 365-368 - 2009
- [c23]Enrico Giunchiglia, Marco Maratea:
Improving Plan Quality in SAT-Based Planning. AI*IA 2009: 253-263 - [c22]Craig Carthel, Stefano Coraluppi, Peter Willett, Marco Maratea, Alain Maguer:
Maximum likelihood approach to HF radar performance characterization. FUSION 2009: 1084-1091 - 2008
- [c21]Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea:
Computing All Optimal Solutions in Satisfiability Problems with Preferences. CP 2008: 603-607 - [c20]Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea:
A new Approach for Solving Satisfiability Problems with Qualitative Preferences. ECAI 2008: 510-514 - [c19]Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca:
Look-back Techniques for ASP Programs with Aggregates. RCRA 2008 - 2007
- [c18]Enrico Giunchiglia, Marco Maratea:
Planning as Satisfiability with Preferences. AAAI 2007: 987-992 - [c17]Enrico Giunchiglia, Marco Maratea:
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals. AI*IA 2007: 422-433 - [c16]Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca:
Experimenting with Look-Back Heuristics for Hard ASP Programs. LPNMR 2007: 110-122 - 2006
- [c15]Enrico Giunchiglia, Marco Maratea:
Solving Optimization Problems with DLL. ECAI 2006: 377-381 - [c14]Enrico Giunchiglia, Marco Maratea:
optsat: A Tool for Solving SAT Related Optimization Problems. JELIA 2006: 485-489 - 2005
- [c13]Enrico Giunchiglia, Marco Maratea:
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming. AI*IA 2005: 122-134 - [c12]Enrico Giunchiglia, Marco Maratea:
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming. Answer Set Programming 2005 - [c11]Enrico Giunchiglia, Marco Maratea:
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). ICLP 2005: 37-51 - 2004
- [c10]Enrico Giunchiglia, Yuliya Lierler, Marco Maratea:
SAT-Based Answer Set Programming. AAAI 2004: 61-66 - [c9]Yuliya Lierler, Marco Maratea:
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. LPNMR 2004: 346-350 - [c8]Enrico Giunchiglia, Yuliya Lierler, Marco Maratea:
A SAT-based polynomial space algorithm for answer set programming. NMR 2004: 189-196 - [c7]Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea:
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. SAT 2004 - [c6]Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea:
A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints. SAT (Selected Papers 2004: 16-29 - [c5]Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea:
TSAT++: an Open Platform for Satisfiability Modulo Theories. D/PDPAR@IJCAR 2004: 25-36 - 2003
- [c4]Yuliya Lierler, Marco Maratea:
Computing Answer Sets of a Logic Program via-enumeration of SAT certificates. Answer Set Programming 2003 - [c3]Enrico Giunchiglia, Marco Maratea, Armando Tacchella:
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. CP 2003: 842-846 - 2002
- [c2]Enrico Giunchiglia, Marco Maratea, Armando Tacchella:
Dependent and Independent Variables in Propositional Satisfiability. JELIA 2002: 296-307 - 2001
- [c1]Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin:
Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. IJCAR 2001: 347-363
Editorship
- 2023
- [e17]Riccardo De Benedictis, Nicola Gatti, Marco Maratea, Andrea Micheli, Aniello Murano, Enrico Scala, Luciano Serafini, Ivan Serina, Alessandro Umbrico, Mauro Vallati:
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. CEUR Workshop Proceedings 3345, CEUR-WS.org 2023 [contents] - [e16]Riccardo De Benedictis, Matteo Castiglioni, Diodato Ferraioli, Vadim Malvone, Marco Maratea, Enrico Scala, Luciano Serafini, Ivan Serina, Elisa Tosello, Alessandro Umbrico, Mauro Vallati:
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. CEUR Workshop Proceedings 3585, CEUR-WS.org 2023 [contents] - 2022
- [e15]Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Mauro Vallati, Alessandro Umbrico:
Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy (virtual), November 29th-30th, 2021. CEUR Workshop Proceedings 3065, CEUR-WS.org 2022 [contents] - [e14]Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Marco Maratea, Giorgio Terracina, Mauro Vallati:
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. CEUR Workshop Proceedings 3281, CEUR-WS.org 2022 [contents] - [e13]Georg Gottlob, Daniela Inclezan, Marco Maratea:
Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings. Lecture Notes in Computer Science 13416, Springer 2022, ISBN 978-3-031-15706-6 [contents] - 2020
- [e12]Marco Maratea, Mauro Vallati:
Joint Proceedings of the RCRA International Workshop and of the RCRA Incontri e Confronti Workshop co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AIIA 2019), Rende, Italy, November 19-20, 2019. CEUR Workshop Proceedings 2538, CEUR-WS.org 2020 [contents] - [e11]Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Alessandro Umbrico, Mauro Vallati:
Joint Proceedings of the 8th Italian Workshop on Planning and Scheduling and the 27th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with AIxIA 2020, Online Event, November 25-27, 2020. CEUR Workshop Proceedings 2745, CEUR-WS.org 2020 [contents] - [e10]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:
Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020. EPTCS 325, 2020 [contents] - 2019
- [e9]Mario Alviano, Gianluigi Greco, Marco Maratea, Francesco Scarcello:
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. CEUR Workshop Proceedings 2495, CEUR-WS.org 2019 [contents] - 2018
- [e8]Marco Maratea, Mauro Vallati:
Proceedings of the RiCeRcA Workshop co-located with the 17th International Conference of the Italian Association for Artificial Intelligence, RiCeRcA@Ai*iA 2018, Trento, Italy, November 22, 2018. CEUR Workshop Proceedings 2272, CEUR-WS.org 2018 [contents] - [e7]Marco Maratea, Mauro Vallati:
Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom, July 13, 2018. CEUR Workshop Proceedings 2271, CEUR-WS.org 2018 [contents] - 2017
- [e6]Marco Maratea, Ivan Serina:
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. CEUR Workshop Proceedings 2011, CEUR-WS.org 2017 [contents] - 2016
- [e5]Stefano Bistarelli, Andrea Formisano, Marco Maratea:
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. CEUR Workshop Proceedings 1745, CEUR-WS.org 2016 [contents] - [e4]Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco Maratea:
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. Lecture Notes in Computer Science 10037, Springer 2016, ISBN 978-3-319-49129-5 [contents] - 2015
- [e3]Stefano Bistarelli, Andrea Formisano, Marco Maratea:
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. CEUR Workshop Proceedings 1451, CEUR-WS.org 2015 [contents] - [e2]Gabriella Cortellessa, Daniele Magazzeni, Marco Maratea, Ivan Serina:
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. CEUR Workshop Proceedings 1493, CEUR-WS.org 2015 [contents] - [e1]Davide Ancona, Marco Maratea, Viviana Mascardi:
Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015. CEUR Workshop Proceedings 1459, CEUR-WS.org 2015 [contents]
Data and Artifacts
- 2019
- [d1]Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca:
Evaluation of disjunctive programs in WASP. Zenodo, 2019
Informal and Other Publications
- 2024
- [i22]Matteo Cardellini, Carmine Dodaro, Marco Maratea, Mauro Vallati:
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming. CoRR abs/2408.07521 (2024) - 2023
- [i21]Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro:
Solving Rehabilitation Scheduling problems via a Two-Phase ASP approach. CoRR abs/2303.08709 (2023) - [i20]Simone Caruso, Carmine Dodaro, Marco Maratea, Marco Mochi, Francesco Riccio:
CNL2ASP: converting controlled natural language sentences into ASP. CoRR abs/2311.10505 (2023) - [i19]Matteo Cardellini, Enrico Giunchiglia, Marco Maratea:
Symbolic Numeric Planning with Patterns. CoRR abs/2312.09963 (2023) - 2022
- [i18]Carmine Dodaro, Marco Maratea, Mauro Vallati:
On the Configuration of More and Less Expressive Logic Programs. CoRR abs/2203.01024 (2022) - 2021
- [i17]Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro:
Operating Room (Re)Scheduling with Bed Management via ASP. CoRR abs/2105.02283 (2021) - [i16]Carmine Dodaro, Giuseppe Galatà, Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro:
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem. CoRR abs/2108.02637 (2021) - 2020
- [i15]Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming. CoRR abs/2010.01164 (2020) - [i14]Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity. CoRR abs/2011.06865 (2020) - 2019
- [i13]Martin Gebser, Marco Maratea, Francesco Ricca:
The Seventh Answer Set Programming Competition: Design and Results. CoRR abs/1904.09134 (2019) - [i12]Giovanni Amendola, Carmine Dodaro, Marco Maratea:
Abstract Solvers for Computing Cautious Consequences of ASP programs. CoRR abs/1907.09402 (2019) - [i11]Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran:
Design and Results of the Second International Competition on Computational Models of Argumentation. CoRR abs/1909.00621 (2019) - [i10]Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub:
ASP-Core-2 Input Language Format. CoRR abs/1911.04326 (2019) - 2018
- [i9]Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
On the manipulation of articulated objects in human-robot cooperation scenarios. CoRR abs/1801.01757 (2018) - [i8]Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti:
Cautious reasoning in ASP via minimal models and unsatisfiable cores. CoRR abs/1804.08480 (2018) - [i7]Mario Alviano, Carmine Dodaro, Marco Maratea:
Shared aggregate sets in answer set programming. CoRR abs/1804.08488 (2018) - 2017
- [i6]Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc:
CASP Solutions for Planning in Hybrid Domains. CoRR abs/1704.03574 (2017) - 2016
- [i5]Marcello Balduccini, Daniele Magazzeni, Marco Maratea:
PDDL+ Planning via Constraint Answer Set Programming. CoRR abs/1609.00030 (2016) - 2015
- [i4]Rémi Brochenin, Yuliya Lierler, Marco Maratea:
Disjunctive Answer Set Solvers via Templates. CoRR abs/1510.01599 (2015) - 2014
- [i3]Marco Maratea, Luca Pulina, Francesco Ricca:
The Multi-engine ASP Solver ME-ASP: Progress Report. CoRR abs/1405.0876 (2014) - [i2]Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca:
The Design of the Fifth Answer Set Programming Competition. CoRR abs/1405.3710 (2014) - 2013
- [i1]Marco Maratea, Luca Pulina, Francesco Ricca:
A Multi-Engine Approach to Answer Set Programming. CoRR abs/1306.4925 (2013)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-23 20:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
