FORMISANO, Andrea

FORMISANO, Andrea  

DIPARTIMENTO DI MATEMATICA E INFORMATICA  

Mostra records
Risultati 1 - 20 di 114 (tempo di esecuzione: 0.025 secondi).
Titolo Data di pubblicazione Autore(i) File
23rd RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” 1-gen-2018 Bistarelli, Stefano; Formisano, Andrea; Maratea, Marco
2D object reconstruction with ASP 1-gen-2018 Dal Palù, Alessandro; Dovier, Agostino; Formisano, Andrea
A comparison of CLP(FD) and ASP solutions to NP-complete problems 1-gen-2005 A., Dovier; Formisano, Andrea; E., Pontelli
A comparison of CLP(FD) and ASP solutions to NP-complete problems 1-gen-2005 A., Dovier; Formisano, Andrea; E., Pontelli
A declarative approach to uncertainty orders 1-gen-2004 Capotorti, Andrea; Formisano, Andrea
A graphical representation of relational formulae with complementation 1-gen-2008 D., Cantone; Formisano, Andrea; M., Nicolosi Asmundo; E. G., Omodeo
A graphical representation of relational formulae with complementation 1-gen-2010 D., Cantone; Formisano, Andrea; M., Nicolosi Asmundo; E., Omodeo
A Prolog tool for relational translation of modal logics 1-gen-2004 Formisano, Andrea; E., Omodeo; E., Orlowska
A Prolog tool for relational translation of modal logics: a front-end for relational proof systems 1-gen-2005 Formisano, Andrea; Omodeo, E.; Orlowska, E.
Accelerating Energy Games Solvers on Modern Architectures 1-gen-2017 Formisano, Andrea; Gentilini, Raffaella; Vella, Flavio
Advances in Computational Logic 1-gen-2009 Formisano, Andrea; Pettorossi, . A.
An AGG application supporting visual reasoning 1-gen-2001 Formisano, Andrea; M., Simeoni
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems 1-gen-2009 Dovier, A; Formisano, Andrea; Pontelli, E.
An investigation of Multi-Agent Planning in CLP 1-gen-2010 A., Dovier; Formisano, Andrea; E., Pontelli
Answer Set Programming with Resources 1-gen-2007 Costantini, S; Formisano, Andrea
Answer Set Programming with Resources 1-gen-2010 Costantini, S.; Formisano, Andrea
Answer Set Programming with Resources 1-gen-2007 S., Costantini; Formisano, Andrea
ASP Applications in Bio-informatics: A Short Tour 1-gen-2018 Dal Palu, Alessandro; Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 1-gen-2016 Costantini, Stefania; Formisano, Andrea
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 1-gen-2016 Costantini, Stefania; Formisano, Andrea