OLIVIERI, FRANCESCO
OLIVIERI, FRANCESCO
DIPARTIMENTO DI INFORMATICA
A Decidable Multi-agent Logic forReasoning About Actions, Instruments, and Norms
2020-01-01 van Berkel, K; Lyon, T; Olivieri, F
A Methodology for Plan Revision under Norm and Outcome Compliance
2013-01-01 Scannapieco, Simone; Guido, Governatori; Olivieri, Francesco; Cristani, Matteo
Advancements in Resource-Driven Substructural Defeasible Logic
2019-01-01 Olivieri, Francesco; Governatori, Guido; Cristani, Matteo
An ontology of changes in normative systems from an agentive viewpoint
2020-01-01 Cristani, M.; Tomazzoli, C.; Olivieri, F.; Pasetto, L.
Automatic Detection of Device Types by Consumption Curve
2019-01-01 Tomazzoli, Claudio; Cristani, Matteo; Scannapieco, Simone; Olivieri, Francesco
Automatic Extraction of Legal Norms: Evaluation of Natural Language Processing Tools
2020-01-01 Ferraro, G; Lam, Hp; Tosatto, Sc; Olivieri, F; Islam, Mb; van Beest, N; Governatori, G
Automatic synthesis of best practices for energy consumptions
2016-01-01 Tomazzoli, Claudio; Cristani, Matteo; Olivieri, Francesco
Changes to temporary norms
2017-01-01 Cristani, Matteo; Olivieri, Francesco; Rotolo, Antonino
Compliant Business Process Design by Declarative Specifications
2013-01-01 Olivieri, Francesco; Governatori, Guido; Scannapieco, Simone; Cristani, Matteo
Compliant Business Processes with Exclusive Choices from Agent Specification
2015-01-01 Olivieri, Francesco; Cristani, Matteo; Governatori, Guido
Computing Defeasible Meta-logic
2021-01-01 Olivieri, F; Governatori, G; Cristani, M; Sattar, A
Computing Private International Law
2021-01-01 Governatori, G; Olivieri, F; Rotolo, A; Sattar, A; Cristani, M
Defeasible Reasoning about Electric Consumptions
2016-01-01 Cristani, Matteo; Tomazzoli, Claudio; Olivieri, Francesco; Erisa, Karafili
Designing for Compliance: Norms and Goals
2011-01-01 Olivieri, Francesco; Guido, Governatori; Scannapieco, Simone; Cristani, Matteo
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
Inference to the Stable Explanations
2022-01-01 Governatori, G; Olivieri, F; Rotolo, A; Cristani, M
It could rain: weather forecasting as a reasoning process
2018-01-01 Cristani, Matteo; Domenichini, Francesco; Olivieri, Francesco; Tomazzoli, Claudio; Zorzi, Margherita
It could rain: weather forecasting as a reasoning process
2018-01-01 Cristani, M; Domenichini, F; Olivieri, F; Tomazzoli, C; Zorzi, M
Legal contractions
2013-01-01 Governatori, Guido; Rotolo, Antonino; Olivieri, Francesco; Scannapieco, Simone
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Decidable Multi-agent Logic forReasoning About Actions, Instruments, and Norms | 1-gen-2020 | van Berkel, K; Lyon, T; Olivieri, F | |
| A Methodology for Plan Revision under Norm and Outcome Compliance | 1-gen-2013 | Scannapieco, Simone; Guido, Governatori; Olivieri, Francesco; Cristani, Matteo | |
| Advancements in Resource-Driven Substructural Defeasible Logic | 1-gen-2019 | Olivieri, Francesco; Governatori, Guido; Cristani, Matteo | |
| An ontology of changes in normative systems from an agentive viewpoint | 1-gen-2020 | Cristani, M.; Tomazzoli, C.; Olivieri, F.; Pasetto, L. | |
| Automatic Detection of Device Types by Consumption Curve | 1-gen-2019 | Tomazzoli, Claudio; Cristani, Matteo; Scannapieco, Simone; Olivieri, Francesco | |
| Automatic Extraction of Legal Norms: Evaluation of Natural Language Processing Tools | 1-gen-2020 | Ferraro, G; Lam, Hp; Tosatto, Sc; Olivieri, F; Islam, Mb; van Beest, N; Governatori, G | |
| Automatic synthesis of best practices for energy consumptions | 1-gen-2016 | Tomazzoli, Claudio; Cristani, Matteo; Olivieri, Francesco | |
| Changes to temporary norms | 1-gen-2017 | Cristani, Matteo; Olivieri, Francesco; Rotolo, Antonino | |
| Compliant Business Process Design by Declarative Specifications | 1-gen-2013 | Olivieri, Francesco; Governatori, Guido; Scannapieco, Simone; Cristani, Matteo | |
| Compliant Business Processes with Exclusive Choices from Agent Specification | 1-gen-2015 | Olivieri, Francesco; Cristani, Matteo; Governatori, Guido | |
| Computing Defeasible Meta-logic | 1-gen-2021 | Olivieri, F; Governatori, G; Cristani, M; Sattar, A | |
| Computing Private International Law | 1-gen-2021 | Governatori, G; Olivieri, F; Rotolo, A; Sattar, A; Cristani, M | |
| Defeasible Reasoning about Electric Consumptions | 1-gen-2016 | Cristani, Matteo; Tomazzoli, Claudio; Olivieri, Francesco; Erisa, Karafili | |
| Designing for Compliance: Norms and Goals | 1-gen-2011 | Olivieri, Francesco; Guido, Governatori; Scannapieco, Simone; Cristani, Matteo | |
| 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 | |
| Inference to the Stable Explanations | 1-gen-2022 | Governatori, G; Olivieri, F; Rotolo, A; Cristani, M | |
| It could rain: weather forecasting as a reasoning process | 1-gen-2018 | Cristani, Matteo; Domenichini, Francesco; Olivieri, Francesco; Tomazzoli, Claudio; Zorzi, Margherita | |
| It could rain: weather forecasting as a reasoning process | 1-gen-2018 | Cristani, M; Domenichini, F; Olivieri, F; Tomazzoli, C; Zorzi, M | |
| Legal contractions | 1-gen-2013 | Governatori, Guido; Rotolo, Antonino; Olivieri, Francesco; Scannapieco, Simone |