Follow
Bernardo Cuteri
Bernardo Cuteri
post-doc researcher University of Calabria
Verified email at mat.unical.it
Title
Cited by
Cited by
Year
The ASP system DLV: advancements and applications
WT Adrian, M Alviano, F Calimeri, B Cuteri, C Dodaro, W Faber, D Fuscà, ...
KI-Künstliche Intelligenz 32, 177-179, 2018
552018
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis
B Cuteri, C Dodaro, F Ricca, P Schüller
Theory and Practice of Logic Programming 17 (5-6), 780-799, 2017
272017
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
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
172019
Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators.
B Cuteri, C Dodaro, F Ricca, P Schüller
IJCAI, 1688-1694, 2020
152020
Partial compilation of ASP programs
B Cuteri, C Dodaro, F Ricca, P Schüller
Theory and Practice of Logic Programming 19 (5-6), 857-873, 2019
102019
SPARQL-QA enters the QALD challenge
M Borroto, F Ricca, B Cuteri, V Barbara
Proceedings of the 7th Natural Language Interfaces for the Web of Data …, 2022
72022
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
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
R Costabile, G Catalano, B Cuteri, MC Morelli, N Leone, M Manna
Theory and Practice of Logic Programming 20 (6), 864-879, 2020
62020
Debugging of Answer Set Programs Using Paracoherent Reasoning.
B Cuteri, C Dodaro, F Ricca
CILC, 289-299, 2019
62019
Reducing the impact of out of vocabulary words in the translation of natural language questions into SPARQL queries
MAB Santana, F Ricca, B Cuteri
arXiv preprint arXiv:2111.03000, 2021
32021
A compiler for stratified Datalog programs: preliminary results.
B Cuteri, F Ricca
SEBD, 158, 2017
32017
Solving Problems in the Polynomial Hierarchy with ASP (Q)
G Amendola, B Cuteri, F Ricca, M Truszczynski
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2022
22022
Compilation of Aggregates in ASP: Preliminary Results.
G Mazzotta, B Cuteri, C Dodaro, F Ricca
CILC, 278-296, 2020
22020
Closed domain question answering for cultural heritage
B Cuteri
databases 1, 2, 2016
22016
A neural-machine-translation system resilient to out of vocabulary words for translating natural language to SPARQL
M Borroto, F Ricca, B Cuteri
International Conference of the Italian Association for Artificial …, 2021
12021
A system for translating natural language questions into SPARQL queries with neural networks: Preliminary results (Discussion Paper)
MA Borroto Santana, F Ricca, B Cuteri
Proceedings of the 29th Italian Symposium on Advanced Database Systems, SEBD …, 2021
12021
A system for translating natural language questions into SPARQL queries with neural networks: Preliminary results
MA Borroto, F Ricca, B Cuteri
Proc. 29th Italian Symp. Adv. Database Syst., 1-12, 2021
12021
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
lp2cpp: A Tool For Compiling Stratified Logic Programs
B Cuteri, AF De Rosis, F Ricca
AI* IA 2017 Advances in Artificial Intelligence: XVIth International …, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–20