Follow
Kristian Reale
Kristian Reale
Assegnista di Ricerca, Dipartimento di Matematica e Informatica, Universitā della Calabria
Verified email at mat.unical.it
Title
Cited by
Cited by
Year
ASPIDE: Integrated development environment for answer set programming
O Febbraro, K Reale, F Ricca
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
972011
The third answer set programming competition: Preliminary report of the system competition track
F Calimeri, G Ianni, F Ricca, M Alviano, A Bria, G Catalano, S Cozza, ...
Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011
842011
Unit Testing in ASPIDE
O Febbraro, N Leone, K Reale, F Ricca
International Conference on Applications of Declarative Programming and …, 2011
242011
Debugging non-ground ASP programs: Technique and graphical tools
C Dodaro, P Gasteiger, K Reale, F Ricca, K Schekotihin
Theory and Practice of Logic Programming 19 (2), 290-316, 2019
212019
A logic-based question answering system for cultural heritage
B Cuteri, K Reale, F Ricca
European Conference on Logics in Artificial Intelligence, 526-541, 2019
182019
A Visual Interface for Drawing ASP Programs.
O Febbraro, K Reale, F Ricca
CILC, 2010
182010
Enhancing DLV for large-scale reasoning
N Leone, C Allocca, M Alviano, F Calimeri, C Civili, R Costabile, ...
Logic Programming and Nonmonotonic Reasoning: 15th International Conference …, 2019
162019
Large-scale reasoning on expressive horn ontologies
C Allocca, F Calimeri, C Civili, R Costabile, B Cuteri, A Fiorentino, ...
CEUR WORKSHOP PROCEEDINGS 2368, 10-21, 2019
72019
Datalog development tools
O Febbraro, G Grasso, N Leone, K Reale, F Ricca
International Datalog 2.0 Workshop, 81-85, 2012
52012
Extending ASPIDE with User-defined Plugins.
O Febbraro, N Leone, K Reale, F Ricca
CILC, 236-240, 2012
52012
An integrated environment for reasoning over ontologies via logic programming
B Nardi, K Reale, F Ricca, G Terracina
Web Reasoning and Rule Systems: 7th International Conference, RR 2013 …, 2013
42013
Developing ASP Programs with ASPIDE and LoIDE
F Calimeri, S Germano, E Palermiti, K Reale, F Ricca
KI-Künstliche Intelligenz 32, 185-186, 2018
32018
A rest-based development framework for ASP: tools and application
G Catalano, G Laboccetta, K Reale, F Ricca, P Veltri
International Symposium on Practical Aspects of Declarative Languages, 161-169, 2017
32017
Testing ASP programs in ASPIDE.
O Febbraro, K Reale, F Ricca
CILC, 115-129, 2011
32011
Smart devices and large scale reasoning via ASP: tools and applications
K Reale, F Calimeri, N Leone, F Ricca
International Symposium on Practical Aspects of Declarative Languages, 154-161, 2022
22022
An integrated graphical user interface for debugging answer set programs
P Gasteiger, C Dodaro, B Musitsch, K Reale, F Ricca, K Schekotihin
arXiv preprint arXiv:1611.04969, 2016
22016
ASP-based declarative reasoning in data-intensive enterprise and IoT applications
F Calimeri, N Leone, G Melissari, F Pacenza, S Perri, K Reale, F Ricca, ...
Algorithms 16 (3), 159, 2023
12023
Large scale DLV: preliminary results
N Leone, C Allocca, M Alviano, F Calimeri, C Civili, R Costabile, B Cuteri, ...
CEUR WORKSHOP PROCEEDINGS 2396, 2019
12019
ASPIDE the Integrated Development Environment for Answer Set Programming: Progress Report
O Febbraro, N Leone, F Ricca
Atti del convegno" NMR 2012", 1-4, 2012
12012
Insegnare Answer Set Programming nelle Scuole Superiori
K Reale
ITADINFO. Metodi e Pratiche Didattiche Innovative, Ricerca Scientifica …, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20