FORMISANO, Andrea

FORMISANO, Andrea  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 101 (tempo di esecuzione: 0.028 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.
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 Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems 1-gen-2009 Dovier, Agostino; Formisano, A.; Pontelli, E.
An investigation of Multi-Agent Planning in CLP. 1-gen-2010 Dovier, Agostino; Formisano, A.; Pontelli, E.
Answer set programming with resources 1-gen-2010 Costantini, S.; Formisano, A.
ASP Applications in Bio-informatics: A Short Tour 1-gen-2018 Dal Palù, Alessandro; Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
Augmenting agent computational environments with quantitative reasoning modules and customisable bridge rules 1-gen-2018 Costantini, Stefania; Formisano, Andrea
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
Augmenting Datalog ± with Customizable Metalogic Features for Powerful Ontological Reasoning 1-gen-2019 Costantini, Stefania; Formisano, Andrea
Augmenting knowledge representation and reasoning languages with customizable metalogic features 1-gen-2019 Costantini, Stefania; Formisano, Andrea
Augmenting weight constraints with complex preferences 1-gen-2011 Costantini, S.; Formisano, A.
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda 1-gen-2010 Dovier, Agostino; Formisano, A; Pontelli, Enrico
Autonomous agents coordination: Action languages meet CLP(FD) and Linda 1-gen-2013 Dovier, Agostino; Formisano, A; Pontelli, E.
BAAC: A Prolog System for Action Description and Agents Coordination 1-gen-2011 Dovier, Agostino; Formisano, Andrea; Enrico, Pontelli
Budget-constrained reasoning in agent computational environments 1-gen-2016 Costantini, Stefania; Formisano, Andrea