IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 84
Titolo Data di pubblicazione Autore(i) File
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning 1-gen-2024 Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, S.; Zangari, J.
EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring 1-gen-2023 Mastria, Elena; Pacenza, Francesco; Zangari, Jessica; Calimeri, Francesco; Perri, Simona; Terracina, Giorgio
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
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.
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding 1-gen-2022 Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, S.; Zangari, J.
A Formal Comparison between Datalog-based Languages for Stream Reasoning 1-gen-2022 Leone, N.; Manna, M.; Morelli, M. C.; Perri, S.
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities 1-gen-2022 Calimeri, Francesco; Mastria, Elena; Perri, Simona; Zangari, Jessica
Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020) 1-gen-2022 Calimeri, F.; Perri, S.; Zumpano, E.
I-DLV-sr: A stream reasoning system based on I-DLV 1-gen-2021 Calimeri, F.; Manna, M.; Mastria, E.; Morelli, M. C.; Perri, S.; Zangari, J.
Optimized 3D path planner for steerable catheters with deductive reasoning 1-gen-2021 Segato, A.; Corbetta, V.; Zangari, J.; Perri, S.; Calimeri, F.; de Momi, E.
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019) 1-gen-2021 Calimeri, Francesco; Manna, Marco; Perri, Simona
A machine learning guided rewriting approach for asp logic programs 1-gen-2020 Mastria, E.; Zangari, J.; Perri, S.; Calimeri, F.
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.
Optimizing Answer Set Computation via Heuristic-Based Decomposition 1-gen-2019 Calimeri, Francesco; Perri, Simona; Zangari, Jessica
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
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.
Large-scale reasoning on expressive horn ontologies 1-gen-2019 Allocca, C.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Manna, M.; Perri, Simona; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
Memory-Saving Evaluation Plans for Datalog 1-gen-2019 Allocca, C.; Costabile, R.; Fiorentino, A.; Perri, S.; Zangari, J.
Mostrati risultati da 1 a 20 di 84
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