2-ASP(Q) Solving Based on CEGAR
2026-01-01 Cuteri, A.; Mazzotta, G.; Ricca, F.
ASP Essentials: Modelling and Efficient Solving
2025-01-01 Mazzotta, G.; Ricca, F.
A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming
2025-01-01 Azzolini, D.; Mazzotta, G.; Ricca, F.; Riguzzi, F.
Lazy Atom Discovery in Compilation-Based ASP Solving
2025-01-01 Cuteri, A.; Mazzotta, G.; Ricca, F.
Most Probable Explanation in Probabilistic Answer Set Programming
2025-01-01 Azzolini, D.; Mazzotta, G.; Ricca, F.; Riguzzi, F.
Are Large Language Models Fluent in Declarative Process Mining?
2025-01-01 Fionda, V.; Ielo, A.; Ricca, F.
Enhancing Compilation-based ASP Solving with Postponed Atom Discovery
2025-01-01 Cuteri, A.; Mazzotta, G.; Ricca, F.
Toward Executing Datalog on Big Data Platforms
2025-01-01 Cuteri, A.; Mazzotta, G.; Ricca, F.
An Algebraic View of MAP Inference in Probabilistic Answer Set Programs
2025-01-01 Azzolini, D.; Mazzotta, G.; Ricca, F.; Riguzzi, F.
Toward Executing Datalog on Big Data Platforms - Extended Abstract
2025-01-01 Cuteri, A.; Mazzotta, G.; Ricca, F.
Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf
2024-01-01 Ielo, A.; Mazzotta, G.; Ricca, F.; Penaloza, R.
An ASP-Based Approach to Water Distribution System Reconstruction
2024-01-01 Ielo, A.; Falco, S.; Iiritano, S.; Piro, P.; Polizzi, A.; Ricca, F.
Answer Set Programming and Neurosymbolic {AI:} Applications and Future Perspectives (Invited Talk)
2024-01-01 Borroto, Manuel; Mazzotta, Giuseppe; Ricca, Francesco
A Declarative Framework for Temporal Reasoning in Green-Aware Applications
2024-01-01 De Giacomo, Giuseppe; Fionda, Valeria; Gigante, Nicola; Ielo, Antonio; Ricca, Francesco; Russo, Alessandra
Hybrid Compilation-based ASP solving (Short paper)
2024-01-01 Dodaro, Carmine; Mazzotta, Giuseppe; Ricca, Francesco
Una «lotta integrale contro l’analfabetismo». Rocco Scotellaro e l’inchiesta Scuole di Basilicata
2026-01-01 Gigliotti, Maria Teresa
Esperimenti Idrogeofisici in laboratorio ed in campo: Stima delle caratteristiche idrodinamiche di un mezzo poroso reale attraverso un approccio Idrogeofisico.
2008-01-01 Chidichimo, F.; Fallico, C.; Giampaolo, V.; Rizzo, E.; Straface, S.; Votta, M.; Lapenna, V.; Troisi, S.
Laboratorio Hydrogeosite: primi esperimenti idrogeofisici
2007-01-01 Chidichimo, F.; Rizzo, E.; Straface, S.; Lapenna, V.
RIMOZIONE DI METALLI PESANTI IN FALDA MEDIANTE BARRIERE PERMEABILI REATTIVE IN FIBRE DI GINESTRA
2009-01-01 Troisi, S.; Straface, S.; Fallico, C.; Chidichimo, F.; Molinari, A.
ESTIMA DEL VOLUMEN DE AGUA SUBTERRANEA PROVENIENTE DE LOS DESHIELOS DEL NEVADO CHIMBORAZO
2014-01-01 Mendoza T., B.; Chidichimo, F.; Straface, S.
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
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...16661
- 1 Contributo su Rivista1
- 2 Contributo in Volume1
- 5 Altro1
Data di pubblicazione
- In corso di stampa40
- 2020 - 20272647
- 2010 - 20196029
- 2000 - 20096298
- 1990 - 19991328
- 1980 - 1989293
- 1973 - 197928
Editore
- Institute of Electrical and Elect...530
- IEEE377
- Springer326
- Springer Verlag161
- CEUR-WS158
- Springer Science and Business Med...151
- IEEE Computer Society137
- Elsevier B.V.128
- ACM89
- Editore Bios58
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE206
- CEUR WORKSHOP PROCEEDINGS73
- PROCEDIA COMPUTER SCIENCE71
- PROCEDIA STRUCTURAL INTEGRITY64
- POS PROCEEDINGS OF SCIENCE49
- AIP CONFERENCE PROCEEDINGS41
- IJCAI41
- PROCEEDINGS OF THE EUROPEAN CONFE...36
- ACM INTERNATIONAL CONFERENCE PROC...33
- AIP CONFERENCE PROCEEDINGS32
Serie
- CEUR WORKSHOP PROCEEDINGS172
- LECTURE NOTES IN COMPUTER SCIENCE129
- LECTURE NOTES IN ARTIFICIAL INTEL...77
- MECHANISMS AND MACHINE SCIENCE52
- AIP CONFERENCE PROCEEDINGS27
- COMMUNICATIONS IN COMPUTER AND IN...23
- LECTURE NOTES IN MECHANICAL ENGIN...22
- IFAC-PAPERSONLINE20
- PROCEDIA CIRP20
- FRONTIERS IN ARTIFICIAL INTELLIGE...18
Keyword
- Computer Science (all)98
- Computer Networks and Communications94
- -87
- Software77
- Answer Set Programming75
- Artificial Intelligence75
- Theoretical Computer Science69
- Computer Science Applications1707...52
- Electrical and Electronic Enginee...47
- Instrumentation37
Lingua
- eng11290
- ita3493
- fre69
- spa30
- rus17
- ger15
- alb13
- und8
- por4
- mul3
Accesso al fulltext
- no fulltext16634
- open22
- embargoed6
- reserved1