Get started
Author

Kristian Reale

Observed names: KRISTIAN REALE, Reale K, Reale K., Reale, Kristian, kristian reale
ORCID: 0000-0002-5988-2429
Observed ORCID: 0000-0002-5988-2429
OpenAlex ID: A5073764938
ASPIDE: Integrated Development Environment for Answer Set Programming
2011 · Onofrio Febbraro, Kristian Reale, et al. · Lecture notes in computer science · 77
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track
2011 · Francesco Calimeri, Giovambattista Ianni, et al. · Lecture notes in computer science · 65
A Logic-Based Question Answering System for Cultural Heritage
2019 · Bernardo Cuteri, Kristian Reale, et al. · Lecture notes in computer science · 20
Unit Testing in ASPIDE
2013 · Onofrio Febbraro, Nicola Leone, et al. · Lecture notes in computer science · 20
Debugging Non-ground ASP Programs: Technique and Graphical Tools
2019 · CARMINE DODARO, PHILIP GASTEIGER, et al. · Theory and Practice of Logic Programming · 19
PDF
Enhancing DLV for Large-Scale Reasoning
2019 · Nicola Leone, Carlo Allocca, et al. · Lecture notes in computer science · 14
A Visual Interface for Drawing ASP Programs.
2010 · Onofrio Febbraro, Kristian Reale, et al. · 12
Developing ASP Programs with ASPIDE and LoIDE
2018 · Francesco Calimeri, Stefano Germano, et al. · Künstliche Intell. · 7
Large-Scale Reasoning on Expressive Horn Ontologies.
2019 · Carlo Allocca, Francesco Calimeri, et al. · International conference on Datalog in Academia and Industry · 6
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications
2022 · Kristian Reale, Francesco Calimeri, et al. · Lecture notes in computer science · 3
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications
2023 · Francesco Calimeri, Nicola Leone, et al. · Algorithms · 2
PDF
A REST-Based Development Framework for ASP: Tools and Application
2017 · Gelsomina Catalano, Giovanni Laboccetta, et al. · Lecture notes in computer science · 2
Large Scale DLV: Preliminary Results.
2019 · Nicola Leone, Carlo Allocca, et al. · Archive of Doctoral Theses and Digital Collections (University of Calabria) · 1
An integrated Graphical User Interface for Debugging Answer Set Programs
2016 · Gasteiger, Philip, Dodaro, Carmine, et al. · arXiv (Cornell University) · 1
PDF
An Integrated Environment for Reasoning over Ontologies via Logic Programming
2013 · Barbara Nardi, Kristian Reale, et al. · Lecture notes in computer science · 1
Datalog Development Tools - (Extended Abstract).
2012 · Onofrio Febbraro, Giovanni Grasso, et al. · International conference on Datalog in Academia and Industry · 1
Extending ASPIDE with User-defined Plugins.
2012 · Onofrio Febbraro, Nicola Leone, et al. · 1
A neurosymbolic decision framework for flexible battery scheduling in renewable energy communities
2026 · Fabrizio Lo Scudo, Kristian Reale, et al. · Energy and AI
A Neurosymbolic Framework for Flexible Energy Scheduling in Renewable Energy Communities
2026 · Fabrizio Lo Scudo, Kristian Reale, et al. · SSRN Electronic Journal
Logica e Intelligenza Artificiale: pratiche didattiche per il Liceo Classico
2026 · Simone Cuconato, Kristian Reale · Archive of Doctoral Theses and Digital Collections (University of Calabria)
Logic and Answer Set Programming in High School: Two Learning Unit Experiences
2025 · Kristian Reale · Archive of Doctoral Theses and Digital Collections (University of Calabria)
Liceo Classico Digitale: Proposta Contenuti Disciplinari e Prime Sperimentazioni
2025 · simone cuconato, kristian reale · Archive of Doctoral Theses and Digital Collections (University of Calabria)
On the Translation of ASP Rules to (Controlled) Natural Language Sentences
2025 · Caruso S., Dodaro C., et al. · Archive of Doctoral Theses and Digital Collections (University of Calabria)
Insegnare Answer Set Programming nelle Scuole Superiori
2023 · Kristian Reale · Archive of Doctoral Theses and Digital Collections (University of Calabria)
Proceedings 38th International Conference on Logic Programming
2022 · Kristian Reale, Francesco Calimeri, et al. · Electronic Proceedings in Theoretical Computer Science
Works count: 42
Citation count: 246
H-index: 7
I10-index: 7
Year
Topic
Type