FORMISANO, Andrea
FORMISANO, Andrea
Dipartimento di Matematica e Informatica
23rd RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”
2018 Bistarelli, Stefano; Formisano, Andrea; Maratea, Marco
2D object reconstruction with ASP
2018 Dal Palù, Alessandro; Dovier, Agostino; Formisano, Andrea
A comparison of CLP(FD) and ASP solutions to NP-complete problems
2005 A., Dovier; Formisano, Andrea; E., Pontelli
A comparison of CLP(FD) and ASP solutions to NP-complete problems
2005 A., Dovier; Formisano, Andrea; E., Pontelli
A comparison of CLP(FD) and ASP solutions to NP-complete problems
2005 Dovier, A.; Formisano, Andrea; Pontelli, E.
A declarative approach to uncertainty orders
2004 Capotorti, Andrea; Formisano, Andrea
A GPU implementation of the ASP computation
2016 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico; Vella, Flavio
A graphical approach to relational reasoning
2003 Formisano, Andrea; Omodeo, E.; Simeoni, M.
A graphical representation of relational formulae with complementation
2010 D., Cantone; Formisano, Andrea; M., Nicolosi Asmundo; E., Omodeo
A graphical representation of relational formulae with complementation
2008 D., Cantone; Formisano, Andrea; M., Nicolosi Asmundo; E. G., Omodeo
A graphical representation of relational formulae with complementation
2012 D., Cantone; Formisano, Andrea; M., Nicolosi Asmundo; E., Omodeo
A Prolog tool for relational translation of modal logics
2004 Formisano, Andrea; E., Omodeo; E., Orlowska
A Prolog tool for relational translation of modal logics: a front-end for relational proof systems
2005 Formisano, Andrea; Omodeo, E.; Orlowska, E.
Accelerating Energy Games Solvers on Modern Architectures
2017 Formisano, Andrea; Gentilini, Raffaella; Vella, Flavio
Advances in Computational Logic
2009 Formisano, Andrea; Pettorossi, . A.
An AGG application supporting visual reasoning
2001 Formisano, Andrea; M., Simeoni
An efficient relational deductive system for propositional non-classical logics
2006 Formisano, Andrea; Nicolosi Asmundo, M.
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems
2009 Dovier, A; Formisano, Andrea; Pontelli, E.
An environment for specifying properties of dyadic relations and reasoning about them. II:Relational presentation of non-classical logics
2006 Formisano, Andrea; Omodeo, E.; Orlowska, E.
An Equational Re-Engineering of Set Theories
2000 Formisano, Andrea; Omodeo, E. G.