A Direct ASP Encoding for Declare
2024-01-01 Chiariello, Francesco; Fionda, Valeria; Ielo, Antonio; Ricca, Francesco
LTLf2ASP: LTLf Bounded Satisfiability in ASP
2024-01-01 Fionda, Valeria; Ielo, Antonio; Ricca, Francesco
Learning Triple Embeddings from Knowledge Graphs
2020-01-01 Fionda, Valeria; Pirrò, Giuseppe
Relatedness and TBox-Driven Rule Learning in Large Knowledge Bases
2020-01-01 Pirrò, Giuseppe
Community Deception in Networks: Where We Are and Where We Should Go
2021-01-01 Fionda, Valeria; Pirrò, Giuseppe
Community deception in weighted networks
2021-01-01 Fionda, Valeria; Pirrò, Giuseppe
Influence-Based Community Deception
2023-01-01 Madi, Saif Aldeen; Pirrò, Giuseppe
Overlay Neural Networks for Heterophilous Graphs
2023-01-01 Pirrò, Giuseppe
Characterizing Evolutionary Trends in Temporal Knowledge Graphs with Linear Temporal Logic
2023-01-01 Fionda, Valeria; Pirrò, Giuseppe
Adaptive Spectral-Heterophily for Node Classification
2024-01-01 Pirrò, Giuseppe
Synthesis of Dihydrofuroquinolinone Derivatives by Pd-Catalyzed Double Carbonylative Cyclization Reaction of 4-(2-Aminophenyl)-3-in-1 ols
2023-01-01 Mancuso, Raffaella; Russo, Patrizio; DE SALVO, Alex; Gabriele, Bartolo
Surriscaldamento globale e cambiamento climatico
2023-01-01 Mancuso, Raffaella
Limonene Recovery From VOCS: Zeolite-Catalysed Selective Ethoxylation
2023-01-01 Bruno, Paolo; Catizzone, Enrico; Mancuso, Raffaella; Giordano, Girolamo; Migliori, Massimo
New green solvents for cleaning and conservation of Cultural Heritage: Deep Eutectic Solvents (DESs)
2023-01-01 Strangis, Romina; LA RUSSA, Mauro Francesco; Macchia, Andrea; Biribicchi, Chiara; Salatino, Giorgia; Arcudi, Anna; Mancuso, Raffaella
Use of Hydrophobic Deep Eutectic Solvents for the removal of aged wax coatings from Cultural Heritage
2023-01-01 Biribicchi, C.; Strangis, R.; Macchia, A.; Favero, G.; Gabriele, B.; La Russa, M. F.; Mancuso, R.
Palladium-Catalyzed Selective Carbonylative Double Cyclization of 4-(2-Aminophenyl)-3-yn-1-ols to Dihydrofuroquinolinone Derivatives
2023-01-01 Mancuso, Raffaella; Russo, P.; De Salvo, A.; Gabriele, B.
Synthesis of Benzothienofuranones and Benzothienopyranones by Pd-Catalyzed Carbonylative Double Cyclization
2023-01-01 Mancuso, R.; Santandrea, D.; Ziccarelli, I.; Gabriele, B.
Environment and fight against climate change
2023-01-01 Mancuso, Raffaella
Dalla conoscenza alla conservazione di un patrimonio di archeologia industriale nel Mediterraneo: le imprese della cannamele
2024-01-01 Canonaco, Brunella
Blending Grounding and Compilation for Efficient ASP Solving
2024-01-01 Dodaro, Carmine; Mazzotta, Giuseppe; 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
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...16695
- 1 Contributo su Rivista1
- 2 Contributo in Volume1
- 5 Altro1
Data di pubblicazione
- In corso di stampa40
- 2020 - 20272681
- 2010 - 20196029
- 2000 - 20096298
- 1990 - 19991328
- 1980 - 1989293
- 1973 - 197928
Editore
- Institute of Electrical and Elect...546
- IEEE378
- Springer326
- Springer Verlag161
- CEUR-WS158
- Springer Science and Business Med...151
- IEEE Computer Society138
- Elsevier B.V.129
- ACM89
- Editore Bios58
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE206
- CEUR WORKSHOP PROCEEDINGS73
- PROCEDIA COMPUTER SCIENCE72
- PROCEDIA STRUCTURAL INTEGRITY64
- POS PROCEEDINGS OF SCIENCE50
- 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-PAPERSONLINE21
- PROCEDIA CIRP20
- LECTURE NOTES IN NETWORKS AND SYS...19
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
- eng11317
- ita3493
- fre69
- spa30
- rus17
- ger15
- alb13
- und8
- por4
- mul3
Accesso al fulltext
- no fulltext16668
- open22
- embargoed6
- reserved1