Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 341
Titolo Data di pubblicazione Autore(i) File
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications 1-gen-2023 Calimeri, F; Leone, N; Melissari, G; Pacenza, F; Perri, S; Reale, K; Ricca, F; Zangari, J
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels 1-gen-2023 Barbara, V.; Leone, N.; Ricca, F.; Guarascio, M.; Manco, G.; Quarta, A.; Ritacco, E.
A Formal Comparison between Datalog-based Languages for Stream Reasoning 1-gen-2022 Leone, N.; Manna, M.; Morelli, M. C.; Perri, S.
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications 1-gen-2022 Reale, Kristian; Calimeri, Francesco; Leone, Nicola; Ricca, Francesco
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels 1-gen-2022 Barbara, V.; Buelli, D.; Guarascio, M.; Ierace, S.; Iiritano, S.; Laboccetta, G.; Leone, N.; Manco, G.; Pesenti, V.; Quarta, A.; Ricca, F.; Ritacco, E.
Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning 1-gen-2022 Reale, K.; Calimeri, F.; Leone, N.; Perri, S.; Ricca, F.
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming 1-gen-2021 Bertolucci, R.; Capitanelli, A.; Dodaro, C.; Leone, N.; Maratea, M. A. R. C. O.; Mastrogiovanni, F.; Vallati, M.
Proceedings 36th International Conference on Logic Programming (Technical Communications) 1-gen-2020 Ricca, Francesco; Russo, Alessandra; Greco, Sergio; Leone, Nicola; Artikis, Alexander; Friedrich, Gerhard; Fodor, Paul; Kimmig, Angelika; Lisi, Francesca A.; Maratea, Marco; Mileo, Alessandra; Riguzzi, Fabrizio
ASP-Core-2 Input Language Format 1-gen-2020 Calimeri, F.; Faber, W.; Gebser, M.; Ianni, G.; Kaminski, R.; Krennwallner, T.; Leone, N.; Maratea, M.; Ricca, F.; Schaub, T.
Reasoning over Ontologies with DLV 1-gen-2020 Allocca, C.; Alviano, M.; Calimeri, F.; Costabile, R.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification 1-gen-2020 Costabile, Roberta; Catalano, Gelsomina; Cuteri, Bernardo; Morelli, MARIA CONCETTA; Leone, Nicola; Manna, Marco
Large Scale DLV: Preliminary Results 1-gen-2019 Leone, Nicola; Allocca, Carlo; Alviano, Mario; Calimeri, Francesco; Civili, Cristina; Costabile, Roberta; Cuteri, Bernardo; Fiorentino, Alessio; Fusca', Davide; Germano, Stefano; Laboccetta, Giovanni; Manna, Marco; Perri, Simona; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots 1-gen-2019 Bertolucci, Riccardo; Capitanelli, A.; Dodaro, C.; Leone, N.; Maratea, M.; Mastrogiovanni, F.; Vallati, M.
Fast query answering over existential rules 1-gen-2019 Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, Pierfrancesco
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings 1-gen-2019 Calimeri, Francesco; Leone, Nicola; Manna, Marco
Enhancing Magic Sets with an Application to Ontological Reasoning 1-gen-2019 Alviano, M.; Leone, N.; Veltri, P.; Zangari, J.
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios 1-gen-2019 Fiorentino, A.; Leone, N.; Manna, M.; Perri, S.; Zangari, J.
Enhancing DLV for Large-Scale Reasoning 1-gen-2019 Leone, N.; Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Cuteri, B.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
Querying large expressive horn ontologies 1-gen-2019 Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
Evaluation of Disjunctive Programs in WASP 1-gen-2019 Alviano, M.; Amendola, G.; Dodaro, C.; Leone, N.; Maratea, M.; Ricca, F.
Mostrati risultati da 1 a 20 di 341
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile