Nicola Leone
Università della Calabria
H-index: 60
Europe-Italy
Top articles of Nicola Leone
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
“OR GOES GREEN”: a first step toward reducing our carbon footprint in the operating room and hospital | Updates in Surgery | Nicola Leone Gitana Scozzari Francesco Olandese Tim Horeman Roberto Passera | 2024/3/25 |
Design and evaluation of a smart passive dynamic arm support for robotic-assisted laparoscopic surgery | Journal of Robotic Surgery | Pim Schrijvershof A Masie Rahimi Nicola Leone EAES TC Robotics Alexander Bloemendaal | 2024/2/10 |
ASP-based declarative reasoning in data-intensive enterprise and IoT applications | Algorithms | Francesco Calimeri Nicola Leone Giovanni Melissari Francesco Pacenza Simona Perri | 2023/3/14 |
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels | Theory and Practice of Logic Programming | Vito Barbara Massimo Guarascio Nicola Leone Giuseppe Manco Alessandro Quarta | 2023/7 |
Colorectal cancer with synchronous unresectable liver metastases: resecting the primary tumor improves survival | International Journal of Colorectal Disease | Nicola Leone Simone Arolfo Rosella Spadi Maria Roberta Fortunato Roberto Passera | 2023/6/15 |
Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | K Reale F Calimeri N Leone S Perri F Ricca | 2022 |
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels | CEUR Workshop Proceedings | Vito Barbara Dimitri Buelli Massimo Guarascio Stefano Ierace Salvatore Iiritano | 2022 |
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version) | arXiv preprint arXiv:2208.12726 | Nicola Leone Marco Manna Maria Concetta Morelli Simona Perri | 2022/8/26 |
Dyadic TGDs-A new paradigm for ontological query answering | Cinzia Marte Gianluigi Greco Marco Manna Francesca Guerriero Nicola Leone | 2022/3/11 | |
Clinical assessment of liver metabolism during hypothermic oxygenated machine perfusion using microdialysis | Artificial Organs | Damiano Patrono Dorotea Roggio Anna Teresa Mazzeo Giorgia Catalano Elena Mazza | 2022/2 |
Smart devices and large scale reasoning via ASP: tools and applications | Kristian Reale Francesco Calimeri Nicola Leone Francesco Ricca | 2022/1/7 | |
Manipulation of articulated objects using dual-arm robots via answer set programming | arXiv preprint arXiv:2010.01164 | Riccardo Bertolucci Alessio Capitanelli Carmine Dodaro Nicola Leone Marco Maratea | 2020/10/2 |
2 Invited Talks | LPOP: Challenges and Advances in Logic and Practice of Programming | John Hooker Nicola Leone | 2020/8 |
Role-Based Access Control via JASP | LPOP: Challenges and Advances in Logic and Practice of Programming | Roberta Costabile Alessio Fiorentino Nicola Leone Marco Manna Kristian Reale | 2020/8 |
On the Development of Industrial Applications with ASP | LPOP: Challenges and Advances in Logic and Practice of Programming | Nicola Leone Bernardo Cuteri Marco Manna Kristian Reale Francesco Ricca | 2020/8 |
ASP-Core-2 input language format | Theory and Practice of Logic Programming | Francesco Calimeri Wolfgang Faber Martin Gebser Giovambattista Ianni Roland Kaminski | 2020/3 |
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification | Theory and Practice of Logic Programming | Roberta Costabile Gelsomina Catalano Bernardo Cuteri Maria Concetta Morelli Nicola Leone | 2020/11 |
Proceedings 36th International Conference on Logic Programming (Technical Communications) | arXiv preprint arXiv:2009.09158 | Francesco Ricca Alessandra Russo Sergio Greco Nicola Leone Alexander Artikis | 2020/9/19 |