MARATEA, MARCO

MARATEA, MARCO  

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

Mostra records
Risultati 1 - 20 di 103 (tempo di esecuzione: 0.026 secondi).
Titolo Data di pubblicazione Autore(i) File
20th RCRA International workshop on "experimental evaluation of algorithms for solving problems with combinatorial explosion" 1-gen-2015 Mancini, Toni; Maratea, Marco; Ricca, Francesco
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
An Action-based Approach to the Formal Specification and Automated Analysis of Business Processes under Authorization Constraints 1-gen-2012 Armando, Alessandro; Giunchiglia, Enrico; Maratea, Marco; Ponta, Serena Elisa
An advanced answer set programming encoding for nurse scheduling 1-gen-2017 Alviano, Mario; Dodaro, Carmine; Maratea, Marco
Advances in Multi-engine ASP Solving 1-gen-2015 Maratea, Marco; Pulina, Luca; Ricca, Francesco
Algorithms for Solving Satisfiability Problems with Qualitative Preferences 1-gen-2012 Giunchiglia, Enrico; Maratea, Marco
Answer Set Programming based on Propositional Satisfiability 1-gen-2006 Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco
Applying Machine Learning Techniques to ASP Solving 1-gen-2012 Maratea, Marco; Pulina, Luca; Ricca, Francesco
An ASP-based framework for operating room scheduling 1-gen-2019 Dodaro, Carmine; Galata, Giuseppe; Maratea, Marco; Porro, Ivan
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
ASP-Core-2 Input Language Format 1-gen-2020 Calimeri, Francesco; Faber, Wolfgang; Gebser, Martin; Ianni, Giovambattista; Kaminski, Roland; Krennwallner, Thomas; Leone, Nicola; Maratea, Marco; Ricca, Francesco; Schaub, Torsten
Assessment of benchmarks for abstract argumentation 1-gen-2019 Mailly, Jean-Guy; Maratea, Marco
Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity 1-gen-2019 Bertolucci, Riccardo; Capitanelli, Alessio; Maratea, Marco; Mastrogiovanni, Fulvio; Vallati, Mauro
Automated planning techniques for robot manipulation tasks involving articulated objects 1-gen-2017 Capitanelli, A.; Maratea, M.; Mastrogiovanni, F.; Vallati, M.
Automated Selection of Grounding Algorithm in Answer Set Programming 1-gen-2013 Maratea, Marco; Luca, P. u. l. i. n. a.; Ricca, Francesco