GOVERNATORI, GUIDO
GOVERNATORI, GUIDO
DIPARTIMENTO DI INFORMATICA
Deontic meta-rules
2023-01-01 Olivieri, F; Governatori, G; Cristani, M; Rotolo, A; Sattar, A
Extraction of Defeasible Proofs as Explanations
2023-01-01 Pasetto, Luca; Cristani, Matteo; Governatori, Guido; Olivieri, Francesco; Zorzi, Edoardo
From Defeasible Logic to Counterfactual Reasoning
2022-01-01 Cristani, Matteo; Governatori, Guido; Olivieri, Francesco; Rotolo, Antonino
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
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
Revising non-monotonic theories with sufficient and necessary conditions: the case of Defeasible Logic
2024-01-01 Olivieri, Francesco; Cristani, Matteo; Governatori, Guido; Pasetto, Luca; Antonino, Rotolo; Scannapieco, Simone; Tomazzoli, Claudio; Workneh, Tewabe Chekole
Stable Normative Explanations
2022-01-01 Governatori, Guido; Olivieri, Francesco; Rotolo, Antonino; Cristani, Matteo
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 |
|---|---|---|---|
| Deontic meta-rules | 1-gen-2023 | Olivieri, F; Governatori, G; Cristani, M; Rotolo, A; Sattar, A | |
| Extraction of Defeasible Proofs as Explanations | 1-gen-2023 | Pasetto, Luca; Cristani, Matteo; Governatori, Guido; Olivieri, Francesco; Zorzi, Edoardo | |
| From Defeasible Logic to Counterfactual Reasoning | 1-gen-2022 | Cristani, Matteo; Governatori, Guido; Olivieri, Francesco; Rotolo, Antonino | |
| 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 | |
| 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 | |
| Revising non-monotonic theories with sufficient and necessary conditions: the case of Defeasible Logic | 1-gen-2024 | Olivieri, Francesco; Cristani, Matteo; Governatori, Guido; Pasetto, Luca; Antonino, Rotolo; Scannapieco, Simone; Tomazzoli, Claudio; Workneh, Tewabe Chekole | |
| Stable Normative Explanations | 1-gen-2022 | Governatori, Guido; Olivieri, Francesco; Rotolo, Antonino; Cristani, Matteo | |
| 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 |