Logic and Answer Set Programming in High School: Two Learning Unit Experiences
2025-01-01 Reale, Kristian
ASP and PDDL+ Applications in Urban Traffic Distribution and Control
2025-01-01 Vallati, M.; Dodaro, C.; Doria, F.; Fiorentino, S.; Maratea, M.; Percassi, F.; Tarzariol, A.
On the Translation of ASP Rules to (Controlled) Natural Language Sentences
2025-01-01 Caruso, S.; Dodaro, C.; Lo Scudo, F.; Maratea, M.; Reale, K.
A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms
2025-01-01 Caruso, S.; Dodaro, C.; Maratea, M.; Tarzariol, A.
Representing and Evaluating SBVR Specification via ASP
2025-01-01 Caruso, S.; Dodaro, C.; Maratea, M.
Model Checker For Recursive Aggregates
2025-01-01 Alviano, M.; Dodaro, C.; Fiorentino, S.
Exploring Process Mining in Human Activity Recognition: Challenges and Future Directions
2026-01-01 Thakur, Dipanwita; Guzzo, Antonella; Fortino, Giancarlo
Analyzing the Fusion of Federated Learning and Large Language Model
2025-01-01 Thakur, Dipanwita.; Guzzo, Antonella.; Fortino, Giancarlo.
Anomalous Client Detection in Federated Learning
2025-01-01 Thakur, Dipanwita; Guzzo, Antonella; Fortino, Giancarlo
Robustness in Single-Audience Value-based Abstract Argumentation: Complexity Results
2025-01-01 Fazzinga, B.; Flesca, S.; Furfaro, F.
An explorative analysis of different distance metrics to compare unweighted undirected networks
2022-01-01 Simonetto, Anna; Ventura, Matteo; Gilioli, Gianni
Model-based Clustering of Multivariate Rating Data to Evaluate Consumer Perceptions on Sustainability
2025-01-01 Ventura, Matteo; Jacques, Julien; Zuccolotto, Paola
Le risposte della biodiversità edafica alla gestione degli agroecosistemi: un approccio basato sull’Ecologial Network Analysis
2021-01-01 Simonetto, Anna; Ventura, Matteo; Ghiglieno, Isabella; Gatti, Fabio; Gilioli, Gianni
Impatto delle condizioni ambientali e della gestione del suolo sugli artropodi edafici dell’ecosistema vigneto
2021-01-01 Ghiglieno, Isabella; Simonetto, Anna; Sperandio, Giorgio; Ventura, Matteo; Gatti, Fabio; Donna, Pierluigi; Tonni, Marco; Valenti, Leonardo; Gilioli, Gianni
Clustering Multivariate Rating Data within the CUB Framework
2024-01-01 Ventura, Matteo; Jacques, Julien; Zuccolotto, Paola
Impact of the vertical component of near-fault earthquakes on the nonlinear response of RC structures with horizontal and vertical base-isolation
2026-01-01 Mazza, Fabio; Braile, Andrea; Labernarda, Rodolfo
Ruolo dell’imaging funzionale nel management delle emorragie cerebrali atipiche: proposta di un protocollo diagnostico derivato dalla sperimentazione clinica
2005-01-01 Angileri, Ff; Conti, A; Minutoli, F; Giusa, M; Cardali, S; Grasso, G; La Torre, D; Maugeri, R; Baldari, S; Tomasello, F
Hybrid GNN–Kriging model for missing spatial data
2025-01-01 Amerise, Ilaria Lucrezia; Giordano, Sabrina
A Low-Power 4-bit Tracking-Type Analog-to-Digital Converter in SKY130 Process
2025-01-01 Astudillo, Esteban; Holguín, Eduardo; Garzon, Esteban; Prócel, Luis Miguel
ESG, financial performance and digitalization: an empirical analysis of European firms
2026-01-01 Adduci, L.; Baldissarro, G.; Iazzolino, G.; Morea, D.; Farinelli, E.
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 ...16478
- 1 Contributo su Rivista1
- 2 Contributo in Volume1
- 5 Altro1
Data di pubblicazione
- In corso di stampa39
- 2020 - 20262473
- 2010 - 20196025
- 2000 - 20096295
- 1990 - 19991328
- 1980 - 1989292
- 1973 - 197928
Editore
- Institute of Electrical and Elect...509
- IEEE377
- Springer323
- Springer Verlag161
- CEUR-WS150
- Springer Science and Business Med...139
- IEEE Computer Society134
- Elsevier B.V.125
- ACM89
- Editore Bios58
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE206
- CEUR WORKSHOP PROCEEDINGS73
- PROCEDIA COMPUTER SCIENCE71
- PROCEDIA STRUCTURAL INTEGRITY61
- POS PROCEEDINGS OF SCIENCE49
- AIP CONFERENCE PROCEEDINGS41
- IJCAI38
- PROCEEDINGS OF THE EUROPEAN CONFE...36
- ACM INTERNATIONAL CONFERENCE PROC...33
- AIP CONFERENCE PROCEEDINGS32
Serie
- CEUR WORKSHOP PROCEEDINGS161
- LECTURE NOTES IN COMPUTER SCIENCE119
- LECTURE NOTES IN ARTIFICIAL INTEL...77
- MECHANISMS AND MACHINE SCIENCE51
- AIP CONFERENCE PROCEEDINGS27
- LECTURE NOTES IN MECHANICAL ENGIN...22
- COMMUNICATIONS IN COMPUTER AND IN...21
- IFAC-PAPERSONLINE20
- PROCEDIA CIRP20
- ADVANCES IN INTELLIGENT SYSTEMS A...16
Keyword
- Computer Science (all)98
- Computer Networks and Communications94
- -87
- Software77
- Artificial Intelligence75
- Theoretical Computer Science69
- Answer Set Programming68
- Computer Science Applications1707...52
- Electrical and Electronic Enginee...47
- Instrumentation37
Lingua
- eng11163
- ita3458
- fre69
- spa29
- rus17
- ger15
- alb13
- und8
- por4
- mul3
Accesso al fulltext
- no fulltext16450
- open19
- embargoed10
- reserved1