4.1 Contributo in Atti di convegno: [16568] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 21 a 40 di 16.568
Titolo Data di pubblicazione Autore(i) File
MID-QUANTILE REGRESSION FOR DISCRETE PANEL DATA 1-gen-2023 Farcomeni, A.; Russo, A.; Geraci, M.
Bayesian Multivariate Semi-Markov-Switching MIxed DAta Sampling (MIDAS) Regression with Unknown Configuration of Hidden Regimes 1-gen-2024 Russo, A.; Maruotti, A.; Farcomeni, A.
Classifier Fusion for the Detection of Defects from Active Thermography 1-gen-2026 Salazar, Addisson; Zito, Rocco; Laureti, Stefano; Ricci, Marco; Vergara, Luis
Solving Hard Combinatorial Optimization Problems with PyQASP 1-gen-2026 Azzolini, D.; Leone, N.; Mazzotta, G.; Ricca, F.
Enumerating Minimal Unsatisfiable Cores of LTLf Formulae 1-gen-2026 Ielo, A.; Mazzotta, G.; Penaloza, R.; Ricca, F.
2-ASP(Q) Solving Based on CEGAR 1-gen-2026 Cuteri, A.; Mazzotta, G.; Ricca, F.
ASP Essentials: Modelling and Efficient Solving 1-gen-2025 Mazzotta, G.; Ricca, F.
A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming 1-gen-2025 Azzolini, D.; Mazzotta, G.; Ricca, F.; Riguzzi, F.
Lazy Atom Discovery in Compilation-Based ASP Solving 1-gen-2025 Cuteri, A.; Mazzotta, G.; Ricca, F.
Most Probable Explanation in Probabilistic Answer Set Programming 1-gen-2025 Azzolini, D.; Mazzotta, G.; Ricca, F.; Riguzzi, F.
Are Large Language Models Fluent in Declarative Process Mining? 1-gen-2025 Fionda, V.; Ielo, A.; Ricca, F.
Enhancing Compilation-based ASP Solving with Postponed Atom Discovery 1-gen-2025 Cuteri, A.; Mazzotta, G.; Ricca, F.
Toward Executing Datalog on Big Data Platforms 1-gen-2025 Cuteri, A.; Mazzotta, G.; Ricca, F.
An Algebraic View of MAP Inference in Probabilistic Answer Set Programs 1-gen-2025 Azzolini, D.; Mazzotta, G.; Ricca, F.; Riguzzi, F.
Toward Executing Datalog on Big Data Platforms - Extended Abstract 1-gen-2025 Cuteri, A.; Mazzotta, G.; Ricca, F.
Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf 1-gen-2024 Ielo, A.; Mazzotta, G.; Ricca, F.; Penaloza, R.
An ASP-Based Approach to Water Distribution System Reconstruction 1-gen-2024 Ielo, A.; Falco, S.; Iiritano, S.; Piro, P.; Polizzi, A.; Ricca, F.
Answer Set Programming and Neurosymbolic {AI:} Applications and Future Perspectives (Invited Talk) 1-gen-2024 Borroto, Manuel; Mazzotta, Giuseppe; Ricca, Francesco
A Declarative Framework for Temporal Reasoning in Green-Aware Applications 1-gen-2024 De Giacomo, Giuseppe; Fionda, Valeria; Gigante, Nicola; Ielo, Antonio; Ricca, Francesco; Russo, Alessandra
Hybrid Compilation-based ASP solving (Short paper) 1-gen-2024 Dodaro, Carmine; Mazzotta, Giuseppe; Ricca, Francesco
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 21 a 40 di 16.568
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 ...16566
  • 1 Contributo su Rivista1
  • 2 Contributo in Volume1
  • 5 Altro1
Autore
  • CUZZOCREA, ALFREDO509
  • GABRIELE, Bartolo351
  • FORTINO, GIANCARLO249
  • DI MASSA, Giuseppe247
  • MANCUSO, RAFFAELLA244
  • LONGO, Francesco237
  • ANDO', Sebastiano235
  • TALIA, DOMENICO216
  • IERA, ANTONIO215
  • LEONE, NICOLA198
Data di pubblicazione
  • In corso di stampa39
  • 2020 - 20262556
  • 2010 - 20196027
  • 2000 - 20096298
  • 1990 - 19991328
  • 1980 - 1989292
  • 1973 - 197928
Editore
  • Institute of Electrical and Elect...514
  • IEEE377
  • Springer323
  • Springer Verlag161
  • CEUR-WS157
  • Springer Science and Business Med...148
  • IEEE Computer Society134
  • 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 PROCEEDINGS171
  • LECTURE NOTES IN COMPUTER SCIENCE128
  • LECTURE NOTES IN ARTIFICIAL INTEL...77
  • MECHANISMS AND MACHINE SCIENCE51
  • 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
  • Artificial Intelligence75
  • Answer Set Programming74
  • Theoretical Computer Science69
  • Computer Science Applications1707...52
  • Electrical and Electronic Enginee...47
  • Instrumentation37
Lingua
  • eng11222
  • ita3474
  • fre69
  • spa30
  • rus17
  • ger15
  • alb13
  • und8
  • por4
  • mul3
Accesso al fulltext
  • no fulltext16538
  • open19
  • embargoed10
  • reserved1