MARATEA, MARCO

MARATEA, MARCO  

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

Mostra records
Risultati 1 - 14 di 14 (tempo di esecuzione: 0.011 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
A domain ontology for historical research documents 1-gen-2016 Adorni, Giovanni; Maratea, Marco; Mura, S.; Pandolfo, Laura; Pulina, L.; Soddu, F.
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 1-gen-2005 Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco
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.
Algorithms for Solving Satisfiability Problems with Qualitative Preferences 1-gen-2012 Giunchiglia, Enrico; Maratea, Marco
An ASP-based Approach to Master Surgical Scheduling. 1-gen-2022 Cadermatori, Linda; Galatà, Giuseppe; Lo Monaco, Carola; Maratea, Marco; Mochi, Marco; Schouten, Marco
An ASP-Based Approach to Scheduling Pre-operative Assessment Clinic 1-gen-2022 Caruso, S.; Galata, G.; Maratea, M.; Mochi, M.; Porro, I.
Eighth ASPOCP International Workshop on "Answer Set Programming and Other Computing Paradigms": Preface 1-gen-2016 Inclezan, Daniela; Maratea, Marco; Marek, Victor W.
Experimental evaluation of algorithms for solving problems with combinatorial explosion 1-gen-2016 Mancini, Toni; Maratea, Marco; Ricca, Francesco
Prefazione agli Atti del Convegno Italiano di Logica Computazionale Trentesima Edizione, CILC 2015 Genova, 1-3 Luglio 2015 1-gen-2015 Ancona, Davide; Maratea, Marco; Mascardi, Viviana
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming 1-gen-2021 Dodaro, C.; Galata, G.; Khan, M. K.; Maratea, M.; Porro, I.
Special issue of the 22nd RCRA international workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" Preface 1-gen-2016 Bistarelli, Stefano; Formisano, Andrea; Maratea, Marco; Torroni, Paolo
Special issue: Selected papers from the 15th International Conference of the Italian Association for Artificial Intelligence 1-gen-2017 Maratea, Marco; Adorni, Giovanni; Cagnoni, Stefano; Gori, Marco