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
2020 – today
- 2024
[j56]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)- [j55]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) - [j54]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) - [j53]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) - [c85]Matteo Cardellini, Enrico Giunchiglia, Marco Maratea:
Symbolic Numeric Planning with Patterns. AAAI 2024: 20070-20077 - [c84]Carmine Dodaro, Giuseppe Galatà, Cinzia Marte, Marco Maratea, Marco Mochi:
Nuclear Medicine Scheduling via Answer Set Programming. CILC 2024 - [c83]Matteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati:
Taming Discretised PDDL+ through Multiple Discretisations. ICAPS 2024: 59-67 - [c82]Matteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati:
Taming Discretised PDDL+ through Multiple Discretisations (Extended Abstract). SOCS 2024: 263-264 - [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
- [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) - [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 - [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] - [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
- [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) - [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 - [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] - [i18]Carmine Dodaro, Marco Maratea, Mauro Vallati:
On the Configuration of More and Less Expressive Logic Programs. CoRR abs/2203.01024 (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) - [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 - [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
- [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) - [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 - [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] - [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)
2010 – 2019
- 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) - [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 - [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] - [d1]Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca:
Evaluation of disjunctive programs in WASP. Zenodo, 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
- [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) - [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 - [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] - [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
- [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) - [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 - [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] - [i6]Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc:
CASP Solutions for Planning in Hybrid Domains. CoRR abs/1704.03574 (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) - [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 - [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]