Kristian Reale

26 papers B 4C 3Journal 6Unranked 13
YearRankTypeTitle / Venue / Authors
2025 — conf
Logic and Answer Set Programming in High School: Two Learning Unit Experiences.
ICLP Workshops
Kristian Reale
2025 — conf
On the Translation of ASP Rules to (Controlled) Natural Language Sentences.
ICLP Workshops
Simone Caruso, Carmine Dodaro, Fabrizio Lo Scudo, Marco Maratea, Kristian Reale
2023 J jnl
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications.
Algorithms
Francesco Calimeri, Nicola Leone, Giovanni Melissari, Francesco Pacenza, Simona Perri, Kristian Reale, Francesco Ricca, Jessica Zangari
2022 C conf
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications.
PADL
Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca
2019 B conf
A Logic-Based Question Answering System for Cultural Heritage.
JELIA
Bernardo Cuteri, Kristian Reale, Francesco Ricca
2019 J jnl
Debugging Non-ground ASP Programs: Technique and Graphical Tools.
Theory Pract. Log. Program.
Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
2019 B conf
Enhancing DLV for Large-Scale Reasoning.
LPNMR
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2019 — conf
Large Scale DLV: Preliminary Results.
CILC
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2019 — conf
Large-Scale Reasoning on Expressive Horn Ontologies.
Datalog
Carlo Allocca, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2019 — conf
Querying Cultural Heritage Knowledge Bases in Natural Language: Discussion Paper.
SEBD
Bernardo Cuteri, Kristian Reale, Francesco Ricca
2019 — conf
Querying Large Expressive Horn Ontologies.
SEBD
Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2018 C conf
A REST-Based Development Framework for ASP: Tools and Application.
PADL
Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri
2018 J jnl
Debugging Non-Ground ASP Programs: Technique and Graphical Tools.
CoRR
Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
2018 J jnl
Developing ASP Programs with ASPIDE and LoIDE.
Künstliche Intell.
Francesco Calimeri, Stefano Germano, Eliana Palermiti, Kristian Reale, Francesco Ricca
2018 C conf
Reasoning over Ontologies with DLV.
IC3K
Carlo Allocca, Mario Alviano, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2016 J jnl
An integrated Graphical User Interface for Debugging Answer Set Programs.
CoRR
Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
2013 — conf
An Integrated Environment for Reasoning over Ontologies via Logic Programming.
RR
Barbara Nardi, Kristian Reale, Francesco Ricca, Giorgio Terracina
2013 — conf
Development Tools for Datalog.
SEBD
Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca
2012 — conf
Datalog Development Tools - (Extended Abstract).
Datalog
Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca
2012 — conf
Extending ASPIDE with User-defined Plugins.
CILC
Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca
2011 B conf
ASPIDE: Integrated Development Environment for Answer Set Programming.
LPNMR
Onofrio Febbraro, Kristian Reale, Francesco Ricca
2011 — conf
Testing ASP programs in ASPIDE.
CILC
Onofrio Febbraro, Kristian Reale, Francesco Ricca
2011 B conf
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.
LPNMR
Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri
2011 J jnl
Unit Testing in ASPIDE
CoRR
Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca
2011 — conf
Unit Testing in ASPIDE.
INAP/WLP
Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca
2010 — conf
A Visual Interface for Drawing ASP Programs.
CILC
Onofrio Febbraro, Kristian Reale, Francesco Ricca