IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 46
Titolo Data di pubblicazione Autore(i) File
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
Memory-Saving Evaluation Plans for Datalog 1-gen-2019 Allocca, C.; Costabile, R.; Fiorentino, A.; Perri, S.; Zangari, J.
An infrastructure for stream reasoning with incremental grounding 1-gen-2019 Ianni, G.; Pacenza, F.; Zangari, J.
Enhancing Magic Sets with an Application to Ontological Reasoning 1-gen-2019 Alviano, M.; Leone, N.; 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.
Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework 1-gen-2019 Calimeri, Francesco; Fuscà, Davide; Germano, Stefano; Perri, Simona; Zangari, Jessica
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios 1-gen-2019 Fiorentino, A.; Leone, N.; Manna, M.; Perri, S.; Zangari, J.
Incremental Answer Set Programming with Overgrounding 1-gen-2019 Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, Simona; 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.
Optimizing Answer Set Computation via Heuristic-Based Decomposition -- [Extended version of the work winner of the BEST PAPER AWARD at PADL 2018] 1-gen-2019 Calimeri, Francesco; Perri, Simona; Zangari, Jessica
A machine learning guided rewriting approach for asp logic programs 1-gen-2020 Mastria, E.; Zangari, J.; Perri, S.; Calimeri, F.
Incremental maintenance of overgrounded logic programs with tailored simplifications 1-gen-2020 Ianni, G.; Pacenza, F.; Zangari, J.
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.
Darling: A datalog rewriter for owl 2 rl ontological reasoning under sparql queries 1-gen-2020 Fiorentino, A.; Zangari, J.; Manna, M.
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.
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities 1-gen-2022 Calimeri, Francesco; Mastria, Elena; Perri, Simona; Zangari, Jessica
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding 1-gen-2022 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
Mostrati risultati da 21 a 40 di 46
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