La lezione universitaria come occasione di ricerca collettiva
2024-01-01 Citroni, Sebastiano
Reasoning on Information Term Semantics with ASP for Constructive EL_bot
2020-01-01 Bozzato, Loris; Fiorentini, Camillo
Reasoning with Justifiable Exceptions in Contextual Hierarchies
2020-01-01 Bozzato, Loris; Serafini, Luciano; Eiter, Thomas
Semantic Visual Query Answering on Heterogeneous Territorial Data
2020-01-01 Bozzato, Loris; Bruscagin, Giulia; Calabrese, Gaetano; Serafini, Luciano; Furlanello, Cesare
Extending ASP Based Reasoning to Expressive Constructive Description Logics
2020-01-01 Bozzato, Loris
Representing Mereological Relations in Weighted Description Logics
2022-01-01 Sacco, Gabriele; Bozzato, Loris; Kutz, Oliver
A Modular Strategy to Build a Large-Scale Functional Status Knowledge Graph
2023-01-01 Dragoni, M.; Bailoni, T.; Sacco, G.; Bozzato, L.
Generics in defeasible reasoning. Exceptionality, Gradability, and Content Sensitivity
2023-01-01 Sacco, G.; Bozzato, L.; Kutz, O.
Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures
2023-01-01 Bozzato, Loris; Eiter, Thomas; Kiesel, Rafael; Stepanova, Daria
Defeasible Reasoning with Prototype Descriptions: First Steps
2023-01-01 Sacco, G.; Bozzato, L.; Kutz, O.
Ontology-Mediated Data Migration: Deriving Migration Rules by Reasoning on Schema Descriptions
2023-01-01 Bozzato, Loris; Serafini, Luciano
A comparison of closed-source and open-source code static measures
2024-01-01 Lavazza, Luigi
Quasi-stationary hydrodynamics in high repetition rate filamentation
2024-01-01 Loscher, R.; Kesim, D. K.; Schroeder, M. C.; Saraceno, C. J.; Moreno, V.; Wolf, J. -P.; Adamou, D.; Clerici, M.
Bio-Stark: A Tool for the Time-Point Robustness Analysis of Biological Systems
2024-01-01 Castiglioni, V.; Loreti, M.; Tini, S.
Giustizia e bellezza di fronte alla sfida tecnologica
2023-01-01 Ghirga, MARIA FRANCESCA
Pattern recognition and classification for electrical energy use in residential buildings
2019-01-01 Ferrando, M.; Marchenko, A.; Erba, S.; Causone, F.; Carlucci, S.
L’immediatezza nella lettura delle Alte Corti
2024-01-01 Ruggieri, Francesca
Comparison of environmental impact of similar prefabricated industrial structures made of precast concrete or steel
2024-01-01 Dal Lago, B.; Krelani, V.; Visconti, D.; Berisha, E.; Baltrocchi, A. P. D.; Torretta, V.
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations
2024-01-01 Castiglioni, V.; Lanotte, R.; Loreti, M.; Tini, S.
RobTL: Robustness Temporal Logic for CPS
2024-01-01 Castiglioni, Valentina; Loreti, Michele; Tini, Simone
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
- Atti di Convegno3777
Data di pubblicazione
- In corso di stampa6
- 2020 - 2026532
- 2010 - 20191597
- 2000 - 20091063
- 1990 - 1999376
- 1980 - 1989178
- 1971 - 197925
Editore
- Institute of Electrical and Elect...102
- Springer93
- IEEE Computer Society78
- IEEE72
- ACM50
- Springer Verlag45
- CEUR-WS27
- Optica Publishing Group (formerly...27
- WITPress23
- Springer Science and Business Med...22
Rivista
- GIORNALE ITALIANO DI MEDICINA DEL...3
- ACM INTERNATIONAL CONFERENCE PROC...1
- CLINICAL TOXICOLOGY1
- IEEE TRANSACTIONS ON NEURAL SYSTE...1
- INTERNATIONAL JOURNAL OF ENERGY P...1
- JAHRBUCH FÜR INTERNATIONALE GERMA...1
- LECTURE NOTES IN COMPUTER SCIENCE1
- NEUROCOMPUTING1
- RIVISTA ARCHEOLOGICA DELL'ANTICA ...1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE66
- CEUR WORKSHOP PROCEEDINGS53
- Optics InfoBase Conference Papers38
- PROCEEDINGS OF SPIE, THE INTERNAT...29
- LECTURE NOTES IN ARTIFICIAL INTEL...25
- WIT TRANSACTIONS ON ECOLOGY AND T...17
- AIP CONFERENCE PROCEEDINGS13
- WIT TRANSACTIONS ON ECOLOGY AND T...12
- INTERNATIONAL ASTRONAUTICAL CONGR...8
- LECTURE NOTES IN COMPUTER SCIENCE8
Keyword
- MSW40
- Computer Networks and Communications22
- bio-drying21
- Physics and Astronomy (all)21
- Electrical and Electronic Enginee...20
- Computer Science (all)18
- Nuclear and High Energy Physics18
- SETI18
- Software18
- selective collection17
Lingua
- eng1302
- ita361
- fre16
- spa8
- ger5
- rus3
- gre2
- und2
- enm1
- mul1
Accesso al fulltext
- no fulltext3339
- reserved291
- open137
- restricted10