FORMISANO, Andrea

FORMISANO, Andrea  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

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, S.; Formisano, A.; Maratea, M.
2D object reconstruction with ASP 1-gen-2018 Dal Palu, A.; Dovier, A.; Formisano, A.
A comparison of CLP(FD) and ASP solutions to NP-complete problems 1-gen-2005 Dovier, Agostino; Formisano, A.; Pontelli, E.
A GPU implementation of the ASP computation 1-gen-2016 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico; Vella, Flavio
A graphical approach to relational reasoning 1-gen-2003 Formisano, A.; Omodeo, E. G.; Simeoni, M.
A graphical representation of relational formulae with complementation 1-gen-2012 Cantone, Domenico; Formisano, Andrea; Nicolosi-Asmundo, Marianna; Omodeo, Eugenio
A logic of inferable in multi-agent systems with budget and costs 1-gen-2021 Costantini, S.; Formisano, A.; Pitoni, V.
A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents 1-gen-2023 Costantini, S.; Formisano, A.; Pitoni, V.
Accelerating energy games solvers on modern architectures 1-gen-2017 Formisano, Andrea; Gentilini, Raffaella; Vella, Flavio
Adding Metalogic Features to Knowledge Representation Languages 1-gen-2021 Costantini, S.; Formisano, A.
Advances in computational logic (CILC08): Preface 1-gen-2009 Formisano, A.; Pettorossi, A.
An Agg application supporting visual reasoning 1-gen-2001 Formisano, A.; Simeoni, M.
An efficient relational deductive system for propositional non-Classical logics 1-gen-2006 Formisano, A.; Nicolosi-Asmundo, M.
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems 1-gen-2009 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 1-gen-2006 Formisano, A.; Omodeo, E. G.; Orlowska, E.
An epistemic logic for formalizing group dynamics of agents 1-gen-2023 Costantini, S; Formisano, A; Pitoni, V
An Epistemic Logic for Modular Development of Multi-Agent Systems 1-gen-2022 Costantini, S.; Formisano, A.; Pitoni, V.
An Epistemic Logic for Multi-agent Systems with Budget and Costs 1-gen-2021 Costantini, S.; Formisano, A.; Pitoni, V.
An equational re-engineering of set theories 1-gen-2000 Formisano, A.; Omodeo, E.
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. 1-gen-2007 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico