Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
On a plausible concept-wise multipreference semantics and its relations with self-organising maps
2020-01-01 Giordano, L.; Gliozzi, V.; Theseider Dupre', D.
Ontologies and the Cultural Heritage. The case of GO!
2016-01-01 Lana, Maurizio; Borgna, Alice; Ciotti, Fabio; Tambassi, Timothy
Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract)
2021-01-01 Giordano, Laura; THESEIDER DUPRE', Daniele
Preface to the EVALITA 2023 Proceedings
2023-01-01 Lai, M.; Menini, S.; Polignano, M.; Russo, V.; Sprugnoli, R.; Venturi, G.
Preferential Low Complexity Description Logics: Complexity Results and Proof Methods.
2012-01-01 Giordano, Laura; Gliozzi, V; Olivetti, N; Pozzato, G. L.
Preferential reasoning with typicality and neural network models (Extended abstract)
2021-01-01 Giordano, L.; Gliozzi, V.; Theseider Dupre', D.
Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics
2023-01-01 Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases
2023-01-01 Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele
Reasoning about actions with ℰℒ ontologies and temporal answer sets
2021-01-01 Giordano, L.; Martelli, A.; Theseider Dupre', Daniele.
Reasoning About Typicality in ALC and EL
2009-01-01 Giordano, Laura; V., Gliozzi; N., Olivetti; G. L., Pozzato
Runtime checks as nominal types
2016-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena
SecuriDN: a customizable GUI generating cybersecurity models for DER control architectures
2024-01-01 Cerotti, D.; Codetta Raiteri, D.; Dondossola, G.; Egidi, L.; Franceschinis, G.; Portinale, L.; Savarro, D.; Terruggia, R.
Similarity-based positional encoding for enhanced classification in medical images
2024-01-01 Leonardi, G.; Portinale, L.; Santomauro, A.
A smart financial advisory system exploiting Case-Based Reasoning
2016-01-01 Leonardi, Giorgio; Portinale, Luigi; Artusio, Palo; Valsania, Marco
Strengthening the rational closure for description logics: An overview
2019-01-01 Giordano, L.; Gliozzi, V.
Structural Positional Encoding for knowledge integration in transformer-based medical process monitoring
2023-01-01 Dossena, M.; Irwin, C.; Leonardi, G.; Montani, S.
Towards a conditional interpretation of self organizing maps
2020-01-01 Giordano, L.; Gliozzi, V.; Theseider Dupre', D.
Towards semantic process mining through knowledge-based trace abstraction
2017-01-01 Montani, S.; Striani, Manuel; Quaglini, S.; Cavallini, A.; Leonardi, G.
Types for Immutability and Aliasing Control
2016-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation
2023-01-01 Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele
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