Sfoglia per Autore
Modeling, verifying and reasoning about web services
In corso di stampa M., Baldoni; C., Baroglio; G., Berio; A., Martelli; V., Patti; M. L., Sapino; C., Schifanella; M., Alberti; M., Gavanelli; E., Lamma; F., Riguzzi; S., Storari; F., Chesani; A., Ciampolini; P., Mello; M., Montali; P., Torroni; Bottrighi, Alessio; Giordano, Laura; V., Gliozzi; G. L., Pozzato; THESEIDER DUPRE', Daniele; Terenziani, Paolo; G., Casella; V., Mascardi
Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality
2024-01-01 Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele
Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability
2024-01-01 Alviano, Mario; Botta, Marco; Esposito, Roberto; Giordano, Laura; Theseider Dupre', Daniele
Weighted knowledge bases with typicality and defeasible reasoning in a gradual argumentation semantics
2024-01-01 Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality
2024-01-01 Alviano, M.; Bartoli, F.; Botta, M.; Esposito, R.; Giordano, L.; 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
Explainable Answer Set Programming for Legal Decision Support
2023-01-01 THESEIDER DUPRE', Daniele
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases
2023-01-01 Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele
Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases
2023-01-01 Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele
Answer Set Programming for Legal Decision Support and Explanation
2023-01-01 THESEIDER DUPRE', Daniele
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation
2023-01-01 Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele
Complexity and Scalability of Reasoning in many-valued Weighted Knowledge Bases with Typicality - Extended Abstract
2023-01-01 Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele
Intelligenza Artificiale in ambito forense all’Università del Piemonte Orientale: supporto alle decisioni in ambito penale , rappresentazione della conoscenza e ragionamento nell’analisi forense.
2022-01-01 Quattrocolo, Serena; Anglano, Cosimo Filomeno; Canonico, Massimo; Giordano, Laura; Guazzone, Marco; Portinale, Luigi; THESEIDER DUPRE', Daniele
Intelligenza Artificiale in Medicina presso il Dipartimento di Scienze e Innovazione Tecnologica dell’Università del Piemonte Orientale
2022-01-01 Bottrighi, Alessio; Canonico, Massimo; Giordano, Laura; Guazzone, Marco; Leonardi, Giorgio; Montani, Stefania; Pennisi, MARZIO ALFIO; Piovesan, Luca; Portinale, Luigi; Striani, Manuel; Terenziani, Paolo; THESEIDER DUPRE', Daniele
Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL
2022-01-01 Giordano, L.; Martelli, A.; Theseider Dupre, Daniele.
Multilayer Perceptrons as Weighted Conditional Knowledge Bases: An Overview
2022-01-01 Giordano, L.; THESEIDER DUPRE', Daniele
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases
2022-01-01 Giordano, L; THESEIDER DUPRE', Daniele
Model Checking Verification of MultiLayer Perceptrons in Datalog: A Many-valued Approach with Typicality
2022-01-01 Bartoli, F.; Botta, M.; Esposito, R.; Giordano, L.; THESEIDER DUPRE', Daniele
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps
2022-01-01 Giordano, Laura; Gliozzi, Valentina; THESEIDER DUPRE', Daniele
Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract)
2021-01-01 Giordano, Laura; THESEIDER DUPRE', Daniele
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Modeling, verifying and reasoning about web services | In corso di stampa | M., Baldoni; C., Baroglio; G., Berio; A., Martelli; V., Patti; M. L., Sapino; C., Schifanella; M., Alberti; M., Gavanelli; E., Lamma; F., Riguzzi; S., Storari; F., Chesani; A., Ciampolini; P., Mello; M., Montali; P., Torroni; Bottrighi, Alessio; Giordano, Laura; V., Gliozzi; G. L., Pozzato; THESEIDER DUPRE', Daniele; Terenziani, Paolo; G., Casella; V., Mascardi | |
Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality | 1-gen-2024 | Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele | |
Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability | 1-gen-2024 | Alviano, Mario; Botta, Marco; Esposito, Roberto; Giordano, Laura; Theseider Dupre', Daniele | |
Weighted knowledge bases with typicality and defeasible reasoning in a gradual argumentation semantics | 1-gen-2024 | Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele | |
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality | 1-gen-2024 | Alviano, M.; Bartoli, F.; Botta, M.; Esposito, R.; Giordano, L.; Theseider Dupre', D. | |
Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics | 1-gen-2023 | Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele | |
Explainable Answer Set Programming for Legal Decision Support | 1-gen-2023 | THESEIDER DUPRE', Daniele | |
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases | 1-gen-2023 | Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele | |
Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases | 1-gen-2023 | Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele | |
Answer Set Programming for Legal Decision Support and Explanation | 1-gen-2023 | THESEIDER DUPRE', Daniele | |
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation | 1-gen-2023 | Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele | |
Complexity and Scalability of Reasoning in many-valued Weighted Knowledge Bases with Typicality - Extended Abstract | 1-gen-2023 | Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele | |
Intelligenza Artificiale in ambito forense all’Università del Piemonte Orientale: supporto alle decisioni in ambito penale , rappresentazione della conoscenza e ragionamento nell’analisi forense. | 1-gen-2022 | Quattrocolo, Serena; Anglano, Cosimo Filomeno; Canonico, Massimo; Giordano, Laura; Guazzone, Marco; Portinale, Luigi; THESEIDER DUPRE', Daniele | |
Intelligenza Artificiale in Medicina presso il Dipartimento di Scienze e Innovazione Tecnologica dell’Università del Piemonte Orientale | 1-gen-2022 | Bottrighi, Alessio; Canonico, Massimo; Giordano, Laura; Guazzone, Marco; Leonardi, Giorgio; Montani, Stefania; Pennisi, MARZIO ALFIO; Piovesan, Luca; Portinale, Luigi; Striani, Manuel; Terenziani, Paolo; THESEIDER DUPRE', Daniele | |
Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL | 1-gen-2022 | Giordano, L.; Martelli, A.; Theseider Dupre, Daniele. | |
Multilayer Perceptrons as Weighted Conditional Knowledge Bases: An Overview | 1-gen-2022 | Giordano, L.; THESEIDER DUPRE', Daniele | |
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases | 1-gen-2022 | Giordano, L; THESEIDER DUPRE', Daniele | |
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 | |
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps | 1-gen-2022 | Giordano, Laura; Gliozzi, Valentina; THESEIDER DUPRE', Daniele | |
Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract) | 1-gen-2021 | 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