FORMISANO, Andrea
FORMISANO, Andrea
DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE
23rd RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”
2018-01-01 Bistarelli, S.; Formisano, A.; Maratea, M.
2D object reconstruction with ASP
2018-01-01 Dal Palu, A.; Dovier, A.; Formisano, A.
A comparison of CLP(FD) and ASP solutions to NP-complete problems
2005-01-01 Dovier, Agostino; Formisano, A.; Pontelli, E.
A GPU implementation of the ASP computation
2016-01-01 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico; Vella, Flavio
A graphical approach to relational reasoning
2003-01-01 Formisano, A.; Omodeo, E. G.; Simeoni, M.
A graphical representation of relational formulae with complementation
2012-01-01 Cantone, Domenico; Formisano, Andrea; Nicolosi-Asmundo, Marianna; Omodeo, Eugenio
A logic of inferable in multi-agent systems with budget and costs
2021-01-01 Costantini, S.; Formisano, A.; Pitoni, V.
A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents
2023-01-01 Costantini, S.; Formisano, A.; Pitoni, V.
Accelerating energy games solvers on modern architectures
2017-01-01 Formisano, Andrea; Gentilini, Raffaella; Vella, Flavio
Adding Metalogic Features to Knowledge Representation Languages
2021-01-01 Costantini, S.; Formisano, A.
Advances in computational logic (CILC08): Preface
2009-01-01 Formisano, A.; Pettorossi, A.
An Agg application supporting visual reasoning
2001-01-01 Formisano, A.; Simeoni, M.
An efficient relational deductive system for propositional non-Classical logics
2006-01-01 Formisano, A.; Nicolosi-Asmundo, M.
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems
2009-01-01 Dovier, Agostino; Formisano, A.; Pontelli, E.
An environment for specifying properties of dyadic relations and reasoning about them II: Relational presentation of non-classical logics
2006-01-01 Formisano, A.; Omodeo, E. G.; Orlowska, E.
An epistemic logic for formalizing group dynamics of agents
2023-01-01 Costantini, S; Formisano, A; Pitoni, V
An Epistemic Logic for Modular Development of Multi-Agent Systems
2022-01-01 Costantini, S.; Formisano, A.; Pitoni, V.
An Epistemic Logic for Multi-agent Systems with Budget and Costs
2021-01-01 Costantini, S.; Formisano, A.; Pitoni, V.
An equational re-engineering of set theories
2000-01-01 Formisano, A.; Omodeo, E.
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.
2007-01-01 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico