IRIS

REALE, Kristian

REALE, Kristian  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 17 di 17 (tempo di esecuzione: 0.032 secondi).
Titolo Data di pubblicazione Autore(i) File
A Logic-Based Question Answering System for Cultural Heritage 1-gen-2019 Cuteri, B.; Reale, K.; Ricca, F.
A REST-based development framework for ASP: Tools and application 1-gen-2018 Catalano, Gelsomina; Laboccetta, Giovanni; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco
An integrated environment for reasoning over ontologies via logic programming 1-gen-2013 Nardi, B; Reale, K; Ricca, Francesco; Terracina, Giorgio
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 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
ASPIDE: Integrated Development Environment for Answer Set Programming 1-gen-2011 Febbraro, O; Reale, K; Ricca, Francesco
Debugging non-ground ASP programs: Technique and graphical tools 1-gen-2019 Dodaro, C.; Gasteiger, P.; Reale, K.; Ricca, F.; Schekotihin, K.
Developing ASP programs with ASPIDE and LoIDE 1-gen-2018 Calimeri, Francesco; Germano, Stefano; Palermiti, Eliana; Reale, Kristian; Ricca, Francesco
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.
Insegnare Answer Set Programming nelle Scuole Superiori 1-gen-2023 Reale, Kristian
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
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.
Querying cultural heritage knowledge bases in natural language: Discussion paper 1-gen-2019 Cuteri, B.; Reale, K.; Ricca, F.
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.
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.
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications 1-gen-2022 Reale, Kristian; Calimeri, Francesco; Leone, Nicola; Ricca, Francesco
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 1-gen-2011 Calimeri, Francesco; Ianni, Giovambattista; Ricca, Francesco; Alviano, Mario; Bria, Annamaria; Catalano, Gelsomina; Cozza, S; Faber, W; Febbraro, Onofrio; Leone, Nicola; Manna, Marco; Martello, A; Panetta, C; Perri, Simona; Reale, K; Santoro, Mc; Sirianni, M; Terracina, Giorgio; Veltri, P.