MARATEA, MARCO
MARATEA, MARCO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver
2003-01-01 Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract)
2020-01-01 Amendola, Giovanni; Dodaro, Carmine; Maratea, Marco
A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms
2025-01-01 Caruso, Simone; Dodaro, Carmine; Maratea, Marco; Tarzariol, Alice
A generate-and-test approach for computing "optimal" plans in SAT-based planning
2009-01-01 Giunchiglia, Enrico; Maratea, Marco
A new Approach for Solving Satisfiability Problems with Qualitative Preferences
2008-01-01 Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco
A Planning-based Approach for In-Station Train Dispatching
2021-01-01 Cardellini, M.; Maratea, M.; Vallati, M.; Boleto, G.; Oneto, L.
A Pseudo-Boolean approach for solving planning problems with IPC simple preferences
2010-01-01 Giunchiglia, Enrico; Maratea, Marco
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences
2013-01-01 Bourguet, Jean Rémi; Maratea, Marco; Pulina, Luca
A SAT-based polynomial space algorithm for answer set programming
2004-01-01 Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco
A simple proof-theoretic characterization of Stable Models
2023-01-01 Giunchiglia, Enrico; Maratea, M.; Mochi, M.
A Tool For Reasoning Over CNL Sentences With Temporal Constructs
2024-01-01 Bruno, P.; Caruso, S.; Dodaro, C.; Maratea, M.
Abstract Answer Set Solvers for Cautious Reasoning
2015-01-01 Brochenin, Remi; Maratea, Marco
Abstract Disjunctive Answer Set Solvers
2014-01-01 Brochenin, Remi; Lierler, Yuliya; Maratea, Marco
Abstract solvers for dung’s argumentation frameworks
2015-01-01 Brochenin, Remi; Linsbichler, Thomas; Maratea, Marco; Wallner, Johannes Peter; Woltran, Stefan
Abstract Solvers for Quantified Boolean Formulas and their Applications
2015-01-01 Brochenin, Remi; Maratea, Marco
Advances in Multi-engine ASP Solving
2015-01-01 Maratea, Marco; Pulina, Luca; Ricca, Francesco
An advanced answer set programming encoding for nurse scheduling
2017-01-01 Alviano, Mario; Dodaro, Carmine; Maratea, Marco
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots
2019-01-01 Bertolucci, Riccardo; Capitanelli, Alessio; Dodaro, Carmine; Leone, Nicola; Maratea, Marco; Mastrogiovanni, Fulvio; Vallati, Mauro
An ASP-based Solution for Operating Room Scheduling with Beds Management
2019-01-01 Dodaro, Carmine; Galata, Giuseppe; Khan, MUHAMMAD KAMRAN; Maratea, Marco; Porro, Ivan
An Efficient Hybrid Planning Framework for In-Station Train Dispatching
2021-01-01 Cardellini, M.; Maratea, M.; Vallati, M.; Boleto, G.; Oneto, L.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver | 1-gen-2003 | Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando | |
| A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract) | 1-gen-2020 | Amendola, Giovanni; Dodaro, Carmine; Maratea, Marco | |
| A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms | 1-gen-2025 | Caruso, Simone; Dodaro, Carmine; Maratea, Marco; Tarzariol, Alice | |
| A generate-and-test approach for computing "optimal" plans in SAT-based planning | 1-gen-2009 | Giunchiglia, Enrico; Maratea, Marco | |
| A new Approach for Solving Satisfiability Problems with Qualitative Preferences | 1-gen-2008 | Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco | |
| A Planning-based Approach for In-Station Train Dispatching | 1-gen-2021 | Cardellini, M.; Maratea, M.; Vallati, M.; Boleto, G.; Oneto, L. | |
| A Pseudo-Boolean approach for solving planning problems with IPC simple preferences | 1-gen-2010 | Giunchiglia, Enrico; Maratea, Marco | |
| A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences | 1-gen-2013 | Bourguet, Jean Rémi; Maratea, Marco; Pulina, Luca | |
| A SAT-based polynomial space algorithm for answer set programming | 1-gen-2004 | Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco | |
| A simple proof-theoretic characterization of Stable Models | 1-gen-2023 | Giunchiglia, Enrico; Maratea, M.; Mochi, M. | |
| A Tool For Reasoning Over CNL Sentences With Temporal Constructs | 1-gen-2024 | Bruno, P.; Caruso, S.; Dodaro, C.; Maratea, M. | |
| Abstract Answer Set Solvers for Cautious Reasoning | 1-gen-2015 | Brochenin, Remi; Maratea, Marco | |
| Abstract Disjunctive Answer Set Solvers | 1-gen-2014 | Brochenin, Remi; Lierler, Yuliya; Maratea, Marco | |
| Abstract solvers for dung’s argumentation frameworks | 1-gen-2015 | Brochenin, Remi; Linsbichler, Thomas; Maratea, Marco; Wallner, Johannes Peter; Woltran, Stefan | |
| Abstract Solvers for Quantified Boolean Formulas and their Applications | 1-gen-2015 | Brochenin, Remi; Maratea, Marco | |
| Advances in Multi-engine ASP Solving | 1-gen-2015 | Maratea, Marco; Pulina, Luca; Ricca, Francesco | |
| An advanced answer set programming encoding for nurse scheduling | 1-gen-2017 | Alviano, Mario; Dodaro, Carmine; Maratea, Marco | |
| An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots | 1-gen-2019 | Bertolucci, Riccardo; Capitanelli, Alessio; Dodaro, Carmine; Leone, Nicola; Maratea, Marco; Mastrogiovanni, Fulvio; Vallati, Mauro | |
| An ASP-based Solution for Operating Room Scheduling with Beds Management | 1-gen-2019 | Dodaro, Carmine; Galata, Giuseppe; Khan, MUHAMMAD KAMRAN; Maratea, Marco; Porro, Ivan | |
| An Efficient Hybrid Planning Framework for In-Station Train Dispatching | 1-gen-2021 | Cardellini, M.; Maratea, M.; Vallati, M.; Boleto, G.; Oneto, L. |