Bernardo Cuteri
Bernardo Cuteri
post-doc researcher University of Calabria
Email verificata su mat.unical.it
Titolo
Citata da
Citata da
Anno
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis
B Cuteri, C Dodaro, F Ricca, P Schüller
arXiv preprint arXiv:1707.04027, 2017
222017
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), 177-179, 2018
212018
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
82019
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
72019
Large-scale reasoning on expressive horn ontologies
C Allocca, F Calimeri, C Civili, R Costabile, B Cuteri, A Fiorentino, ...
3rd International Workshop on the Resurgence of Datalog in Academia and …, 2019
72019
Partial compilation of ASP programs
B Cuteri, C Dodaro, F Ricca, P Schüller
arXiv preprint arXiv:1907.10469, 2019
42019
Debugging of Answer Set Programs Using Paracoherent Reasoning.
B Cuteri, C Dodaro, F Ricca
CILC, 289-299, 2019
32019
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
22020
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
Large scale DLV: preliminary results
N Leone, A Carlo, M Alviano, F Calimeri, C Cristina, R Costabile, B Cuteri, ...
the 34th Italian Conference on Computational Logic 2396, 2019
12019
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20