CUTERI, BERNARDO

CUTERI, BERNARDO  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 19 di 19 (tempo di esecuzione: 0.032 secondi).
Titolo Data di pubblicazione Autore(i) File
The ASP System DLV: Advancements and Applications 1-gen-2018 Adrian, Weronika T.; Alviano, Mario; Calimeri, Francesco; Cuteri, Bernardo; Dodaro, Carmine; Faber, Wolfgang; Fusca', Davide; Leone, Nicola; Manna, Marco; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
Compilation of aggregates in ASP: Preliminary results 1-gen-2020 Mazzotta, G.; Cuteri, B.; Dodaro, C.; Ricca, F.
A compiler for stratified Datalog programs: preliminary results 1-gen-2017 Cuteri, Bernardo; Ricca, Francesco
Computing modular paracoherent answer sets: Preliminary result 1-gen-2019 Cuteri, B.; Dodaro, C.; Ricca, F.
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis 1-gen-2017 Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter
Debugging of answer set programs using paracoherent reasoning 1-gen-2019 Cuteri, B.; Dodaro, C.; Ricca, F.
Empowering ASPQ to win in QBFEval 2018 1-gen-2019 Cuteri, B.; Dodaro, C.; Ricca, F.
Enhancing DLV for Large-Scale Reasoning 1-gen-2019 Leone, N.; Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Cuteri, B.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
Large Scale DLV: Preliminary Results 1-gen-2019 Leone, Nicola; Allocca, Carlo; Alviano, Mario; Calimeri, Francesco; Civili, Cristina; Costabile, Roberta; Cuteri, Bernardo; Fiorentino, Alessio; Fusca', Davide; Germano, Stefano; Laboccetta, Giovanni; Manna, Marco; Perri, Simona; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
Large-scale reasoning on expressive horn ontologies 1-gen-2019 Allocca, C.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Manna, M.; Perri, Simona; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification 1-gen-2020 Costabile, Roberta; Catalano, Gelsomina; Cuteri, Bernardo; Morelli, MARIA CONCETTA; Leone, Nicola; Manna, Marco
A Logic-Based Question Answering System for Cultural Heritage 1-gen-2019 Cuteri, B.; Reale, K.; Ricca, F.
lp2cpp: A tool for compiling stratified logic programs 1-gen-2017 Cuteri, Bernardo; DE ROSIS, ALESSANDRO FRANCESCO; Ricca, Francesco
Mitigating the Impact of out of Vocabulary Words in a Neural-Machine-Translation-based Question Answering System 1-gen-2021 Manuel, Borroto; Cuteri, Bernardo; Ricca, Francesco
Overcoming the grounding bottleneck due to constraints in ASP solving: Constraints become propagators 1-gen-2020 Cuteri, B.; Dodaro, C.; Ricca, F.; Schuller, P.
Partial Compilation of ASP Programs 1-gen-2019 Cuteri, B.; Dodaro, C.; Ricca, F.; Schuller, P.
Querying cultural heritage knowledge bases in natural language: Discussion paper 1-gen-2019 Cuteri, B.; Reale, K.; Ricca, F.
Querying large expressive horn ontologies 1-gen-2019 Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
A system for translating natural language questions into SPARQL queries with neural networks: Preliminary results (Discussion Paper) 1-gen-2021 BORROTO SANTANA, MANUEL ALEJANDRO; Ricca, Francesco; Cuteri, Bernardo