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
502018
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
242017
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
192019
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
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
142020
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
92019
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
Debugging of Answer Set Programs Using Paracoherent Reasoning.
B Cuteri, C Dodaro, F Ricca
CILC, 289-299, 2019
62019
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
52020
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
SPARQL-QA enters the QALD challenge
M Borroto, F Ricca, B Cuteri, V Barbara
3
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
MA Borroto, F Ricca, B Cuteri
Proc. 29th Italian Symp. Adv. Database Syst., 1-12, 2021
12021
Large scale DLV: preliminary results
N Leone, A Carlo, M Alviano, F Calimeri, C Cristina, 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
Declarative specification of benchmark sessions via asp
M Alviano, B Cuteri, F Ricca
21th RCRA workshop on Experimental Evaluation of Algorithms for Solving …, 2014
12014
The system can't perform the operation now. Try again later.
Articles 1–20