MARATEA, MARCO

MARATEA, MARCO  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 115 (tempo di esecuzione: 0.018 secondi).
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
20th RCRA International workshop on "experimental evaluation of algorithms for solving problems with combinatorial explosion" 1-gen-2015 Mancini, Toni; Maratea, Marco; Ricca, Francesco
A domain ontology for historical research documents 1-gen-2016 Adorni, Giovanni; Maratea, Marco; Mura, S.; Pandolfo, Laura; Pulina, L.; Soddu, F.
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract) 1-gen-2020 Amendola, Giovanni; Dodaro, Carmine; Maratea, Marco
A generate-and-test approach for computing "optimal" plans in SAT-based planning 1-gen-2009 Giunchiglia, Enrico; Maratea, Marco
A multi-engine approach to answer-set programming 1-gen-2014 Maratea, Marco; Pulina, Luca; Ricca, Francesco
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 Decision Procedure for the Boolean Combination of Difference Constraints 1-gen-2005 Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco
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 Encoding Controlled Natural Language Specifications as ASP Rules. 1-gen-2022 Dodaro, Carmine; Maratea, Marco; Riccio, Francesco
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling 1-gen-2021 Cardellini, M.; De Nardi, P.; Dodaro, C.; Galata, G.; Giardini, A.; Maratea, M.; Porro, I.
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 Computing Cautious Consequences of ASP programs 1-gen-2019 Amendola, Giovanni; Dodaro, Carmine; 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