Seguir
Bernardo Cuteri
Bernardo Cuteri
post-doc researcher University of Calabria
Dirección de correo verificada de mat.unical.it
Título
Citado por
Citado por
Año
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
512018
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
262017
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
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
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
62022
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
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, 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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20