Showing results 1 to 20 of 51
next >
Issue Date | Title | Author(s) |
2014-11-28 | 3d web-based parallel applications for the numerical modeling of natural phenomena | Parise, Roberto; Leone, Nicola; D'Ambrosio, Donato; Spataro, William |
2014-03-31 | Advanced Techniques and Systems for Data and Process Management | Granata, Luigi; Greco, Gianluigi; Leone, Nicola |
2014-04-01 | Answer Set Programming with Functions | Cozza, Susanna; Leone, Nicola |
2015-12-15 | Answer set programming:development tols and applications to tourism | Nardi, Barbara; Leone, Nicola; Terracina, Giorgio |
2013-11-25 | Capitulation and stabilization in various aspects of Iwasawa theory for Zp-extensions | Caldarola, Fabio; Bandini, Andrea; Leone, Nicola |
2015-12-15 | Cellular automata for modeling and simulating complex phenomena : lahars | Machado Sotomayor, Guillermo Edvin; Salvatore Di Gregori, Salvatore; Lupiano, Valeria; Leone, Nicola |
2014-12-01 | Computational tasks in answer set programming: algorithms and implementation | Dodaro, Carmine; Leone, Nicola; Ricca, Francesco |
2014-05-27 | Concentration and asymptotic behavior of solutions for some singularly perturbed mixed problems | Montoto, Luigi; Leone, Nicola; Canino, Annamaria; Peral, Ireneo |
2014-05-27 | Convex tomography in dimension two and three | Dicosta, Marina; Leone, Nicola; Volcic, Aljosa |
2017-02-22 | CORE: an intelligent trasportation systems in Calabria | Santoro, Francesco; Leone, Nicola; Laganà , Demetrio; Musmanno, Roberto |
2012-11-11 | Datalog with existential quantifiers: an optimal trade-off between expressiveness and scalability | Veltri, Pierfrancesco; Leone, Nicola; Terracina, Giorgio |
2020-03-17 | Declarative solutions for the the Manipulation of Articulated Objects Using Dual-Arm Robots | Bertolucci, Riccardo; Leone, Nicola; Maratea, Marco; Mastrogiovanni, Fulvio |
2018-01-19 | Design and implementation of a modern ASP grounder | Zangari, Jessica; Leone, Nicola; Calimeri, Francesco; Perri, Simona |
2012-11-09 | A DLP-Based System for Ontology Representation and Reasoning | Gallucci, Lorenzo; Leone, Nicola; Talia, Domenico |
2014-04-01 | DLVDB An ASP System for Data Intensive ApplicationsRisorsa elettronica | Panetta, Claudio; Leone, Nicola; Terracina, Giorgio |
2019-01-17 | Domain specific languages for parallel numerical modeling on structured grids | De Rango, Alessio; Leone, Nicola; D'Ambrosio, Donato; Spataro, William; Mudalige, Gihan |
2022-03-11 | Dyadic TGDs - A new paradigm for ontological query answering | Marte, Cinzia; Greco, Gianluigi; Manna, Marco; Guerriero, Francesca; Leone, Nicola |
2014-03-31 | Eccient evaluation of disjunctive logic programs | Catalano, Gelsomina; Leone, Nicola; Perri, Simona |
2019-01-17 | Enhancing and Applying Answer Set Programming: Lazy Constraints, Partial Compilation and Question Answering | Cuteri, Bernardo; Leone, Nicola; Ricca, Francesco |
2014-03-31 | Extending the ASP System DLVDB to Support Complex Terms and Procedural Sub-tasks | De Francesco, Erika; Terracina, Giorgio; Leone, Nicola |