IRIS

2.1 Contributo in volume (Capitolo o Saggio): [45864] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 81 a 100 di 45.864
Titolo Tipologia Data di pubblicazione Autore(i) File
Inclusività di genere e linguaggio computazionale: l’intelligenza artificiale tra esclusione e riconoscimento 2.1 Contributo in volume (Capitolo o Saggio) 2026 Maccaro, Alessia
Urban Planning in the Age of AI: Theoretical Approaches and Perspectives 2.1 Contributo in volume (Capitolo o Saggio) 2026 Fistola, Romano; Zingariello, Ida
Rethinking Inner Areas Through AI: Hybrid Approaches for Inclusive Planning 2.1 Contributo in volume (Capitolo o Saggio) 2026 La Rocca, Rosa Anna; Fistola, Romano; Zingariello, Ida
Artificial Intelligence and New Urban planning: Interpretative Paradigms and Impacts on Urban and Territorial Systems 2.1 Contributo in volume (Capitolo o Saggio) 2026 Fistola, Romano; La Rocca, Rosa Anna; Zingariello, Ida
ADNF-Clustering: An Adaptive and Dynamic Neuro-Fuzzy Clustering for Leukemia Prediction 2.1 Contributo in volume (Capitolo o Saggio) 2025 Aruta, Marco; Listone, Ciro; Murano, Giuseppe; Murano, Aniello
Theory and Practice of Natural Strategy Checking in Concurrent Games with Imperfect Information 2.1 Contributo in volume (Capitolo o Saggio) 2025 Aruta, Marco; Improta, Francesco; Malvone, Vadim; Murano, Aniello
FindMe: A Prototype Videogame AI based on CTL with an Optimized Synthesis Algorithm 2.1 Contributo in volume (Capitolo o Saggio) 2025 Aruta, Marco; Malvone, Vadim; Murano, Aniello; Pio Palma, Vincenzo; Romano, Salvatore
An Intuitionistic Version of Alternating-Time Temporal Logic 2.1 Contributo in volume (Capitolo o Saggio) 2025 Bozzelli, Laura; Capone, Andrea; Catta, Davide; Murano, Aniello
Theory and Practice of Quantitative ATL 2.1 Contributo in volume (Capitolo o Saggio) 2025 Ferrando, A.; Luongo, G.; Malvone, V.; Murano, A.
S4H: A Tool for Synthesizing Human-Like Strategies 2.1 Contributo in volume (Capitolo o Saggio) 2025 Aruta, Marco; Malvone, Vadim; Murano, Aniello
Strategies, Credences, and Shannon Entropy: Reasoning about Strategic Uncertainty in Stochastic Environments 2.1 Contributo in volume (Capitolo o Saggio) 2025 Jamroga, Wojciech; Godziszewski, Michal Tomasz; Murano, Aniello
Formal Aspects of Strategic Reasoning 2.1 Contributo in volume (Capitolo o Saggio) 2024 Murano, Aniello
Development of Natural Strategies in Strategic Logics (short paper) 2.1 Contributo in volume (Capitolo o Saggio) 2024 Aruta, Marco; Malvone, Vadim; Murano, Aniello
Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy 2.1 Contributo in volume (Capitolo o Saggio) 2024 Spegni, Francesco; Spalazzi, Luca; Rosetti, Roberto; Murano, Aniello
ATL for Dynamic Gaming Environments 2.1 Contributo in volume (Capitolo o Saggio) 2024 Aruta, Marco; Murano, Aniello; Romano, Salvatore
Obstruction Alternating-time Temporal Logic: a Strategic Logic to Reason about Dynamic Models 2.1 Contributo in volume (Capitolo o Saggio) 2024 Catta, D.; Leneutre, J.; Malvone, V.; Murano, A.
Temporal (Non-)Paradox: Yablo's Sequences in {LTL} over Finite Traces 2.1 Contributo in volume (Capitolo o Saggio) 2024 Godziszewski, Michal Tomasz; Catta, Davide; Murano, Aniello
First-Order Coalition Logic 2.1 Contributo in volume (Capitolo o Saggio) 2025 Catta, Davide; Galimullin, Rustam; Murano, Aniello
Repairing General Game Descriptions 2.1 Contributo in volume (Capitolo o Saggio) 2025 He, Yifan; Mittelmann, Munyque; Murano, Aniello; Saffidine, Abdallah; Thielscher, Michael
Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking 2.1 Contributo in volume (Capitolo o Saggio) 2026 Galimullin, Rustam; Jamroga, Wojciech; Kurpiewski, Damian; Malvone, Vadim; Murano, Aniello
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 81 a 100 di 45.864
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
  • 2 Contributo in Volume45860
  • 1 Contributo su Rivista2
  • 3 Libro1
  • 4 Contributo in Atti di Convegno ...1
  • 5 Altro1
Autore
  • VALENTE, ISABELLA240
  • CAPOZZI, RENATO224
  • STROZZA, SALVATORE181
  • MANGONE, FABIO178
  • BUCCARO, ALFREDO157
  • CACCIATORE, GIUSEPPE153
  • LOMONACO, FABRIZIO151
  • TRIONE, VINCENZO145
  • VISCONTI, FEDERICA145
  • CERRETA, MARIA142
Data di pubblicazione
  • In corso di stampa51
  • 2020 - 202710430
  • 2010 - 201917206
  • 2000 - 200913763
  • 1990 - 19993420
  • 1980 - 1989874
  • 1970 - 1979103
  • 1960 - 196917
Editore
  • Springer853
  • Edizioni Scientifiche Italiane762
  • Franco Angeli759
  • Giappichelli678
  • Editoriale Scientifica654
  • FrancoAngeli506
  • Clean394
  • CLEAN333
  • Aracne316
  • Il Mulino310
Rivista
  • AIP CONFERENCE PROCEEDINGS1
  • CEUR WORKSHOP PROCEEDINGS1
  • GLOBAL CRIME1
  • I-LAND JOURNAL1
  • Methods in Molecular Biology1
  • ONCOLOGY REPORTS1
  • RECENT ADVANCES IN COMPUTER ENGIN...1
  • RENDICONTI ONLINE DELLA SOCIETÀ G...1
  • STRUCTURE AND BONDING1
  • STUDIES IN PUBLIC AND NON-PROFIT ...1
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE122
  • ABITARE IL FUTURO72
  • STUDIES IN CLASSIFICATION, DATA A...66
  • SMART INNOVATION, SYSTEMS AND TEC...29
  • LECTURE NOTES IN ARTIFICIAL INTEL...28
  • LECTURE NOTES IN ELECTRICAL ENGIN...27
  • STORIA E ICONOGRAFIA DELL’ARCHITE...27
  • LECTURE NOTES IN CIVIL ENGINEERING26
  • LO STILE DELLA SIRENA26
  • LECTURE NOTES IN NETWORKS AND SYS...25
Keyword
  • Napoli537
  • architettura256
  • Architettura204
  • paesaggio169
  • Campania148
  • progetto146
  • Italia133
  • città108
  • urbanistica107
  • Mezzogiorno105
Lingua
  • ita21887
  • eng10249
  • fre550
  • spa486
  • ger389
  • lat100
  • por54
  • und44
  • grc24
  • mul15
Accesso al fulltext
  • no fulltext34465
  • restricted4435
  • reserved3558
  • open3359
  • partially open27
  • mixed12
  • embargoed7
  • internalNetwork1