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
20th RCRA International workshop on "experimental evaluation of algorithms for solving problems with combinatorial explosion"
2015-01-01 Mancini, Toni; Maratea, Marco; Ricca, Francesco
A domain ontology for historical research documents
2016-01-01 Adorni, Giovanni; Maratea, Marco; Mura, S.; Pandolfo, Laura; Pulina, L.; Soddu, F.
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 multi-engine approach to answer-set programming
2014-01-01 Maratea, Marco; Pulina, Luca; Ricca, Francesco
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 Decision Procedure for the Boolean Combination of Difference Constraints
2005-01-01 Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco
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 Simple Proof-theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments
2024-01-01 Gebser, Martin; Giunchiglia, Enrico; Maratea, Marco; Mochi, Marco
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules.
2022-01-01 Dodaro, Carmine; Maratea, Marco; Riccio, Francesco
A Tool For Reasoning Over CNL Sentences With Temporal Constructs
2024-01-01 Bruno, P.; Caruso, S.; Dodaro, C.; Maratea, M.
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling
2021-01-01 Cardellini, M.; De Nardi, P.; Dodaro, C.; Galata, G.; Giardini, A.; Maratea, M.; Porro, I.
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