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
1022011
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
872011
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
292019
Unit Testing in ASPIDE
O Febbraro, N Leone, K Reale, F Ricca
International Conference on Applications of Declarative Programming and …, 2011
242011
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
212019
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
192019
A Visual Interface for Drawing ASP Programs.
O Febbraro, K Reale, F Ricca
CILC, 2010
182010
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
82019
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
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
42018
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
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
32022
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
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
32016
Testing ASP programs in ASPIDE.
O Febbraro, K Reale, F Ricca
CILC, 115-129, 2011
32011
Large scale DLV: preliminary results
N Leone, C Allocca, M Alviano, F Calimeri, C Civili, R Costabile, B Cuteri, ...
CEUR WORKSHOP PROCEEDINGS 2396, 2019
22019
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
Reasoning over Ontologies with DLV
C Allocca, M Alviano, F Calimeri, R Costabile, A Fiorentino, D Fuscą, ...
International Joint Conference on Knowledge Discovery, Knowledge Engineering …, 2018
12018
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
The system can't perform the operation now. Try again later.
Articles 1–20