ZORZI, EDOARDO
ZORZI, EDOARDO
DIPARTIMENTO DI INFORMATICA
Extraction of Defeasible Proofs as Explanations
2023-01-01 Pasetto, Luca; Cristani, Matteo; Governatori, Guido; Olivieri, Francesco; Zorzi, Edoardo
Houdini (unchained): an effective reasoner for defeasible logic
2022-01-01 Cristani, Matteo; Governatori, Guido; Olivieri, Francesco; Pasetto, Luca; Tubini, Francesco; Veronese, Celeste; Villa, Alessandro; Zorzi, Edoardo
Scalable Safe Policy Improvement for Factored Multi-Agent MDPs
2024-01-01 Bianchi, Federico; Zorzi, Edoardo; Castellini, Alberto; Simao, Thiago; Spaan, Matthijs T. J.; Farinelli, Alessandro
Scalable Safe Policy Improvement via Monte Carlo Tree Search
2023-01-01 Castellini, A.; Bianchi, F.; Zorzi, E.; Simao, T. D.; Farinelli, A.; Spaan, M. T. J.
The architecture of a reasoning system for Defeasible Deontic Logic
2023-01-01 Cristani, Matteo; Governatori, Guido; Olivieri, Francesco; Pasetto, Luca; Tubini, Francesco; Veronese, Celeste; Villa, Alessandro; Zorzi, Edoardo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Extraction of Defeasible Proofs as Explanations | 1-gen-2023 | Pasetto, Luca; Cristani, Matteo; Governatori, Guido; Olivieri, Francesco; Zorzi, Edoardo | |
Houdini (unchained): an effective reasoner for defeasible logic | 1-gen-2022 | Cristani, Matteo; Governatori, Guido; Olivieri, Francesco; Pasetto, Luca; Tubini, Francesco; Veronese, Celeste; Villa, Alessandro; Zorzi, Edoardo | |
Scalable Safe Policy Improvement for Factored Multi-Agent MDPs | 1-gen-2024 | Bianchi, Federico; Zorzi, Edoardo; Castellini, Alberto; Simao, Thiago; Spaan, Matthijs T. J.; Farinelli, Alessandro | |
Scalable Safe Policy Improvement via Monte Carlo Tree Search | 1-gen-2023 | Castellini, A.; Bianchi, F.; Zorzi, E.; Simao, T. D.; Farinelli, A.; Spaan, M. T. J. | |
The architecture of a reasoning system for Defeasible Deontic Logic | 1-gen-2023 | Cristani, Matteo; Governatori, Guido; Olivieri, Francesco; Pasetto, Luca; Tubini, Francesco; Veronese, Celeste; Villa, Alessandro; Zorzi, Edoardo |