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
192017
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
152018
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
62019
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
52019
Large-Scale Reasoning on Expressive Horn Ontologies.
C Allocca, F Calimeri, C Civili, R Costabile, B Cuteri, A Fiorentino, ...
Datalog, 10-21, 2019
52019
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
32019
Debugging of Answer Set Programs Using Paracoherent Reasoning.
B Cuteri, C Dodaro, F Ricca
CILC, 289-299, 2019
22019
A compiler for stratified Datalog programs: preliminary results.
B Cuteri, F Ricca
SEBD, 158, 2017
22017
Closed Domain Question Answering for Cultural Heritage
B Cuteri
databases 1, 2, 2016
22016
Overcoming the grounding bottleneck due to constraints in ASP solving: Constraints become propagators
B Cuteri, C Dodaro, F Ricca, P Schüller
Proceedings of the Twenty-Ninth International Joint Conference on Artificial …, 2020
12020
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
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
2020
On the Development of Industrial Applications with ASP
N Leone, B Cuteri, M Manna, K Reale, F Ricca
LPOP: Challenges and Advances in Logic and Practice of Programming, 11, 2020
2020
Enhancing and Applying Answer Set Programming: Lazy Constraints, Partial Compilation and Question Answering
B Cuteri, N Leone, F Ricca
2019
Querying Large Expressive Horn Ontologies.
C Allocca, M Alviano, F Calimeri, C Civili, R Costabile, B Cuteri, ...
SEBD, 2019
2019
Querying Cultural Heritage Knowledge Bases in Natural Language: Discussion Paper.
B Cuteri, K Reale, F Ricca
SEBD, 2019
2019
Empowering ASPQ to Win in QBFEval 2018.
B Cuteri, C Dodaro, F Ricca
CILC, 167-178, 2019
2019
Computing Modular Paracoherent Answer Sets: Preliminary Result.
B Cuteri, C Dodaro, F Ricca
CILC, 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
The system can't perform the operation now. Try again later.
Articles 1–20