IRIS

Sfoglia per Serie  CEUR WORKSHOP PROCEEDINGS

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 1 a 20 di 37
Titolo Data di pubblicazione Autore(i) File
ASP and ontologies for reasoning on business processes 1-gen-2019 Giordano, L.; Theseider Dupre, D.
A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems 1-gen-2019 Cerotti, Davide; CODETTA RAITERI, Daniele; Dondossola, Giovanna; Egidi, Lavinia; Franceschinis, Giuliana; Portinale, Luigi; Terruggia, Roberta
Biblioteche digitali e ontologie 1-gen-2015 Lana, Maurizio
Business Processes Veri fication with Temporal Answer Set Programming 1-gen-2012 Giordano, Laura; A., Martelli; M., Spiotta; THESEIDER DUPRE', Daniele
Compiling Dynamic Fault Trees into Dynamic Bayesian Networks: the RADYBAN Tool 1-gen-2007 Portinale, Luigi; Bobbio, Andrea; CODETTA RAITERI, Daniele; Montani, Stefania
A context-aware miner for medical processes 1-gen-2016 Canensi, L.; Leonardi, Giorgio; Montani, Stefania; Terenziani, Paolo
The digital library DigilibLT 1-gen-2022 Rosso, N.
Enhancing Medical Image Report Generation through Standard Language Models: Leveraging the Power of LLMs in Healthcare 1-gen-2023 Leonardi, Giorgio; Portinale, Luigi; Santomauro, Andrea
Explainable Answer Set Programming for Legal Decision Support 1-gen-2023 THESEIDER DUPRE', Daniele
Formal Methods Meet XAI: the Tool DEGARI 2.0 for Social Inclusion 1-gen-2022 Lieto, Antonio; Pozzato, GIAN LUCA; Striani, Manuel; Zoia, Stefano; Damiano, Rossana
Fostering Awareness and Personalization of Learning Artificial Intelligence 1-gen-2023 Baldoni, M.; Baroglio, C.; Bottrighi, A.; Bucciarelli, M.; Capecchi, S.; Gandolfi, E.; Gena, C.; Iani, F.; Marengo, E.; Marocco, D.; Micalizio, R.; Piovesan, L.; Ponticorvo, M.; Rapp, A.; Roveta, A.; Terenziani, P.; Ugo, F.
A framework for a modular multi-concept lexicographic closure semantics (an abridged report) 1-gen-2021 Giordano, Laura; THESEIDER DUPRE', Daniele
From knowledge-based trace abstraction to process model comparison 1-gen-2018 Leonardi, G.; Striani, M.; Quaglini, S.; Cavallini, A.; Montani, S.
From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics and back 1-gen-2022 Giordano, L.
Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo 1-gen-2017 Giordano, Laura; Gliozzi, Valentina; Pozzato, GIAN LUCA; Renzulli, Riccardo
A Java-like Calculus with User-Defined Coeffects 1-gen-2022 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
Model Checking Verification of MultiLayer Perceptrons in Datalog: A Many-valued Approach with Typicality 1-gen-2022 Bartoli, F.; Botta, M.; Esposito, R.; Giordano, L.; THESEIDER DUPRE', Daniele
Multilayer Perceptrons as Weighted Conditional Knowledge Bases: An Overview 1-gen-2022 Giordano, L.; THESEIDER DUPRE', Daniele
A multipreference semantics from common sense reasoning to neural network models: An overview 1-gen-2021 Giordano, L.; Gliozzi, V.; Theseider Dupre', Daniele.
On a plausible concept-wise multipreference semantics and its relations with self-organising maps 1-gen-2020 Giordano, L.; Gliozzi, V.; Theseider Dupre', D.
Mostrati risultati da 1 a 20 di 37
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