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 Logical Model of Communication Channels
2015-01-01 Cristani, Matteo; Olivieri, Francesco; Santacà, Katia
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
Compliance by Design: Synthesis of business processes by declarative specifications
2014-01-01 Olivieri, Francesco
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
Computing Strong and Weak Permissions in Defeasible Logic
2013-01-01 Governatori, Guido; Olivieri, Francesco; Rotolo, Antonino; Scannapieco, Simone
Defeasible Reasoning about Electric Consumptions
2016-01-01 Cristani, Matteo; Tomazzoli, Claudio; Olivieri, Francesco; Erisa, Karafili
Deontic meta-rules
2023-01-01 Olivieri, F; Governatori, G; Cristani, M; Rotolo, A; Sattar, A
Designing for Compliance: Norms and Goals
2011-01-01 Olivieri, Francesco; Guido, Governatori; Scannapieco, Simone; Cristani, Matteo
Diagnostics as a reasoning process: From logic structure to software design
2019-01-01 Cristani, Matteo; Olivieri, Francesco; Tomazzoli, Claudio; Vigano', Luca; Zorzi, Margherita
Efficient full compliance checking of concurrent components for business process models
2019-01-01 Tosatto, S. C.; Governatori, G.; Beest, N. V.; Olivieri, F.
| 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 Logical Model of Communication Channels | 1-gen-2015 | Cristani, Matteo; Olivieri, Francesco; Santacà, Katia | |
| 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 | |
| Compliance by Design: Synthesis of business processes by declarative specifications | 1-gen-2014 | Olivieri, Francesco | |
| 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 | |
| Computing Strong and Weak Permissions in Defeasible Logic | 1-gen-2013 | Governatori, Guido; Olivieri, Francesco; Rotolo, Antonino; Scannapieco, Simone | |
| Defeasible Reasoning about Electric Consumptions | 1-gen-2016 | Cristani, Matteo; Tomazzoli, Claudio; Olivieri, Francesco; Erisa, Karafili | |
| Deontic meta-rules | 1-gen-2023 | Olivieri, F; Governatori, G; Cristani, M; Rotolo, A; Sattar, A | |
| Designing for Compliance: Norms and Goals | 1-gen-2011 | Olivieri, Francesco; Guido, Governatori; Scannapieco, Simone; Cristani, Matteo | |
| Diagnostics as a reasoning process: From logic structure to software design | 1-gen-2019 | Cristani, Matteo; Olivieri, Francesco; Tomazzoli, Claudio; Vigano', Luca; Zorzi, Margherita | |
| Efficient full compliance checking of concurrent components for business process models | 1-gen-2019 | Tosatto, S. C.; Governatori, G.; Beest, N. V.; Olivieri, F. |