Sfoglia per Autore
Logic-based Composition of Business Process Models
2023-01-01 Fionda, Valeria; Ielo, Antonio; Ricca, Francesco
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics
2023-01-01 Cuteri, A.; Mazzotta, G.; Ricca, F.
SPARQL-QA-v2 system for Knowledge Base Question Answering
2023-01-01 Borroto, M. A.; Ricca, F.
An Efficient Solver for ASP(Q)
2023-01-01 Faber, W.; Mazzotta, G.; Ricca, F.
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
2023-01-01 Barbara, V.; Leone, N.; Ricca, F.; Guarascio, M.; Manco, G.; Quarta, A.; Ritacco, E.
Compilation of ASP programs: Recent developments
2023-01-01 Dodaro, C.; Mazzotta, G.; Ricca, F.
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications
2023-01-01 Calimeri, F; Leone, N; Melissari, G; Pacenza, F; Perri, S; Reale, K; Ricca, F; Zangari, J
ASP and subset minimality: Enumeration, cautious reasoning and MUSes
2023-01-01 Alviano, M.; Dodaro, C.; Fiorentino, S.; Previti, A.; Ricca, F.
Solving Problems in the Polynomial Hierarchy with ASP(Q)
2022-01-01 Amendola, Giovanni; Cuteri, Bernardo; Ricca, Francesco; Truszczynski, Mirek
Declarative Mining of Business Processes via ASP
2022-01-01 Ielo, A.; Pontieri, L.; Ricca, F.
Pinpointing Axioms in Ontologies via ASP
2022-01-01 Penaloza, R.; Ricca, F.
Compilation of Aggregates in ASP Systems
2022-01-01 Mazzotta, Giuseppe; Ricca, Francesco; Dodaro, Carmine
Enumeration of Minimal Models and MUSes in WASP
2022-01-01 Alviano, M.; Dodaro, C.; Fiorentino, S.; Previti, A.; Ricca, F.
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels
2022-01-01 Barbara, V.; Buelli, D.; Guarascio, M.; Ierace, S.; Iiritano, S.; Laboccetta, G.; Leone, N.; Manco, G.; Pesenti, V.; Quarta, A.; Ricca, F.; Ritacco, E.
Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning
2022-01-01 Reale, K.; Calimeri, F.; Leone, N.; Perri, S.; Ricca, F.
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring
2022-01-01 Dodaro, Carmine; Ilardi, Davide; Oneto, Luca; Ricca, Francesco
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications
2022-01-01 Reale, Kristian; Calimeri, Francesco; Leone, Nicola; Ricca, Francesco
Solving Problems in PH with ASP(Q): Preliminary Results
2022-01-01 Amendola, G.; Cuteri, B.; Ricca, F.; Truszczynski, M.
Modelling the Outlier Detection Problem in ASP(Q)
2022-01-01 Bellusci, P.; Mazzotta, G.; Ricca, F.
Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results
2021-01-01 Ielo, Antonio; Ricca, Francesco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Logic-based Composition of Business Process Models | 1-gen-2023 | Fionda, Valeria; Ielo, Antonio; Ricca, Francesco | |
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics | 1-gen-2023 | Cuteri, A.; Mazzotta, G.; Ricca, F. | |
SPARQL-QA-v2 system for Knowledge Base Question Answering | 1-gen-2023 | Borroto, M. A.; Ricca, F. | |
An Efficient Solver for ASP(Q) | 1-gen-2023 | Faber, W.; Mazzotta, G.; Ricca, F. | |
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels | 1-gen-2023 | Barbara, V.; Leone, N.; Ricca, F.; Guarascio, M.; Manco, G.; Quarta, A.; Ritacco, E. | |
Compilation of ASP programs: Recent developments | 1-gen-2023 | Dodaro, C.; Mazzotta, G.; Ricca, F. | |
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications | 1-gen-2023 | Calimeri, F; Leone, N; Melissari, G; Pacenza, F; Perri, S; Reale, K; Ricca, F; Zangari, J | |
ASP and subset minimality: Enumeration, cautious reasoning and MUSes | 1-gen-2023 | Alviano, M.; Dodaro, C.; Fiorentino, S.; Previti, A.; Ricca, F. | |
Solving Problems in the Polynomial Hierarchy with ASP(Q) | 1-gen-2022 | Amendola, Giovanni; Cuteri, Bernardo; Ricca, Francesco; Truszczynski, Mirek | |
Declarative Mining of Business Processes via ASP | 1-gen-2022 | Ielo, A.; Pontieri, L.; Ricca, F. | |
Pinpointing Axioms in Ontologies via ASP | 1-gen-2022 | Penaloza, R.; Ricca, F. | |
Compilation of Aggregates in ASP Systems | 1-gen-2022 | Mazzotta, Giuseppe; Ricca, Francesco; Dodaro, Carmine | |
Enumeration of Minimal Models and MUSes in WASP | 1-gen-2022 | Alviano, M.; Dodaro, C.; Fiorentino, S.; Previti, A.; Ricca, F. | |
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels | 1-gen-2022 | Barbara, V.; Buelli, D.; Guarascio, M.; Ierace, S.; Iiritano, S.; Laboccetta, G.; Leone, N.; Manco, G.; Pesenti, V.; Quarta, A.; Ricca, F.; Ritacco, E. | |
Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning | 1-gen-2022 | Reale, K.; Calimeri, F.; Leone, N.; Perri, S.; Ricca, F. | |
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring | 1-gen-2022 | Dodaro, Carmine; Ilardi, Davide; Oneto, Luca; Ricca, Francesco | |
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications | 1-gen-2022 | Reale, Kristian; Calimeri, Francesco; Leone, Nicola; Ricca, Francesco | |
Solving Problems in PH with ASP(Q): Preliminary Results | 1-gen-2022 | Amendola, G.; Cuteri, B.; Ricca, F.; Truszczynski, M. | |
Modelling the Outlier Detection Problem in ASP(Q) | 1-gen-2022 | Bellusci, P.; Mazzotta, G.; Ricca, F. | |
Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results | 1-gen-2021 | Ielo, Antonio; Ricca, Francesco |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile