Bernardo Cuteri
Bernardo Cuteri
post-doc researcher University of Calabria
Verified email at mat.unical.it
Title
Cited by
Cited by
Year
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
182017
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 (2-3), 177-179, 2018
132018
Enhancing DLV for large-scale reasoning
N Leone, C Allocca, M Alviano, F Calimeri, C Civili, R Costabile, ...
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019
42019
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
42019
Debugging of answer set programs using paracoherent reasoning
B Cuteri, C Dodaro, F Ricca
Proceedings of the Italian Conference on Computational Logic (CILC), 289-299, 2019
22019
A compiler for stratified Datalog programs: preliminary results.
B Cuteri, F Ricca
SEBD, 158, 2017
22017
lp2cpp: A Tool For Compiling Stratified Logic Programs
B Cuteri, AF De Rosis, F Ricca
Conference of the Italian Association for Artificial Intelligence, 200-212, 2017
12017
Closed Domain Question Answering for Cultural Heritage
B Cuteri
databases 1, 2, 2016
12016
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
2019
Querying Cultural Heritage Knowledge Bases in Natural Language: Discussion Paper
B Cuteri, K Reale, F Ricca
2019
Empowering ASPQ to Win in QBFEval 2018
B Cuteri, C Dodaro, F Ricca
34th Italian Conference on Computational Logic, CILC 2019 2396, 167-178, 2019
2019
Computing Modular Paracoherent Answer Sets: Preliminary Result
B Cuteri, C Dodaro, F Ricca
34th Italian Conference on Computational Logic, CILC 2019 2396, 279-288, 2019
2019
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis
P Schüller, F Ricca, C Dodaro, B Cuteri
2017
Towards Compilation-Based Grounding of Answer Set Programming
B Cuteri
On the Development of Industrial Applications with ASP
N Leone, B Cuteri, M Manna, K Reale, F Ricca
A compiler for stratified logic programs: preliminary report
B Cuteri, F Ricca
The system can't perform the operation now. Try again later.
Articles 1–16