TUBINI, FRANCESCO
TUBINI, FRANCESCO
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.005 secondi).
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
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 |
---|---|---|---|
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 | |
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 |