Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
ASP and ontologies for reasoning on business processes
2019-01-01 Giordano, L.; Theseider Dupre, D.
A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems
2019-01-01 Cerotti, Davide; CODETTA RAITERI, Daniele; Dondossola, Giovanna; Egidi, Lavinia; Franceschinis, Giuliana; Portinale, Luigi; Terruggia, Roberta
Biblioteche digitali e ontologie
2015-01-01 Lana, Maurizio
Business Processes Veri fication with Temporal Answer Set Programming
2012-01-01 Giordano, Laura; A., Martelli; M., Spiotta; THESEIDER DUPRE', Daniele
Compiling Dynamic Fault Trees into Dynamic Bayesian Networks: the RADYBAN Tool
2007-01-01 Portinale, Luigi; Bobbio, Andrea; CODETTA RAITERI, Daniele; Montani, Stefania
A context-aware miner for medical processes
2016-01-01 Canensi, L.; Leonardi, Giorgio; Montani, Stefania; Terenziani, Paolo
The digital library DigilibLT
2022-01-01 Rosso, N.
Enhancing Medical Image Report Generation through Standard Language Models: Leveraging the Power of LLMs in Healthcare
2023-01-01 Leonardi, Giorgio; Portinale, Luigi; Santomauro, Andrea
Explainable Answer Set Programming for Legal Decision Support
2023-01-01 THESEIDER DUPRE', Daniele
Formal Methods Meet XAI: the Tool DEGARI 2.0 for Social Inclusion
2022-01-01 Lieto, Antonio; Pozzato, GIAN LUCA; Striani, Manuel; Zoia, Stefano; Damiano, Rossana
Fostering Awareness and Personalization of Learning Artificial Intelligence
2023-01-01 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)
2021-01-01 Giordano, Laura; THESEIDER DUPRE', Daniele
From knowledge-based trace abstraction to process model comparison
2018-01-01 Leonardi, G.; Striani, M.; Quaglini, S.; Cavallini, A.; Montani, S.
From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics and back
2022-01-01 Giordano, L.
Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo
2017-01-01 Giordano, Laura; Gliozzi, Valentina; Pozzato, GIAN LUCA; Renzulli, Riccardo
Global Types for Agent Interaction Protocols (short paper)
2024-01-01 Bergenti, F.; Galliera, L.; Giannini, P.; Monica, S.; Nazzari, R.
HaSpeeDe3 at EVALITA 2023: Overview of the Political and Religious Hate Speech Detection task
2023-01-01 Lai, M.; Celli, F.; Ramponi, A.; Tonelli, S.; Bosco, C.; Patti, V.
Inters8: A Corpus to Study Misogyny and Intersectionality on Twitter
2023-01-01 Spada, I.; Lai, M.; Patti, V.
A Java-like Calculus with User-Defined Coeffects
2022-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability
2024-01-01 Alviano, Mario; Botta, Marco; Esposito, Roberto; Giordano, Laura; Theseider Dupre', Daniele
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 | |
Global Types for Agent Interaction Protocols (short paper) | 1-gen-2024 | Bergenti, F.; Galliera, L.; Giannini, P.; Monica, S.; Nazzari, R. | |
HaSpeeDe3 at EVALITA 2023: Overview of the Political and Religious Hate Speech Detection task | 1-gen-2023 | Lai, M.; Celli, F.; Ramponi, A.; Tonelli, S.; Bosco, C.; Patti, V. | |
Inters8: A Corpus to Study Misogyny and Intersectionality on Twitter | 1-gen-2023 | Spada, I.; Lai, M.; Patti, V. | |
A Java-like Calculus with User-Defined Coeffects | 1-gen-2022 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena | |
Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability | 1-gen-2024 | Alviano, Mario; Botta, Marco; Esposito, Roberto; 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