Kristian Reale

According to our database, Kristian Reale authored at least 22 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications.

Francesco Calimeri, Nicola Leone, Giovanni Melissari, Francesco Pacenza, Simona Perri, Kristian Reale, Francesco Ricca, Jessica Zangari

Algorithms, March, 2023

2022

Smart Devices and Large Scale Reasoning via ASP: Tools and Applications.

Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca

Proceedings of the Practical Aspects of Declarative Languages, 2022

2019

Debugging Non-ground ASP Programs: Technique and Graphical Tools.

Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin

Theory Pract. Log. Program., 2019

Querying Cultural Heritage Knowledge Bases in Natural Language: Discussion Paper.

Bernardo Cuteri, Kristian Reale, Francesco Ricca

Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

Querying Large Expressive Horn Ontologies.

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

Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

Enhancing DLV for Large-Scale Reasoning.

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

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

A Logic-Based Question Answering System for Cultural Heritage.

Bernardo Cuteri, Kristian Reale, Francesco Ricca

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Large-Scale Reasoning on Expressive Horn Ontologies.

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

Proceedings of the Datalog 2.0 2019, 2019

Large Scale DLV: Preliminary Results.

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

Proceedings of the 34th Italian Conference on Computational Logic, 2019

2018

Developing ASP Programs with ASPIDE and LoIDE.

Francesco Calimeri, Stefano Germano, Eliana Palermiti, Kristian Reale, Francesco Ricca

Künstliche Intell., 2018

A REST-Based Development Framework for ASP: Tools and Application.

Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri

Proceedings of the Practical Aspects of Declarative Languages, 2018

Reasoning over Ontologies with DLV.

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

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2018

2016

An integrated Graphical User Interface for Debugging Answer Set Programs.

Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin

CoRR, 2016

2013

Development Tools for Datalog.

Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca

Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

An Integrated Environment for Reasoning over Ontologies via Logic Programming.

Barbara Nardi, Kristian Reale, Francesco Ricca, Giorgio Terracina

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

2012

Datalog Development Tools - (Extended Abstract).

Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca

Proceedings of the Datalog in Academia and Industry - Second International Workshop, 2012

Extending ASPIDE with User-defined Plugins.

Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca

Proceedings of the 9th Italian Convention on Computational Logic, 2012

2011

ASPIDE: Integrated Development Environment for Answer Set Programming.

Onofrio Febbraro, Kristian Reale, Francesco Ricca

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.

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

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Unit Testing in ASPIDE.

Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

Testing ASP programs in ASPIDE.

Onofrio Febbraro, Kristian Reale, Francesco Ricca

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010

A Visual Interface for Drawing ASP Programs.

Onofrio Febbraro, Kristian Reale, Francesco Ricca

Proceedings of the 25th Italian Conference on Computational Logic, 2010