OLIVIERI, FRANCESCO

OLIVIERI, FRANCESCO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 47 (tempo di esecuzione: 0.021 secondi).
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.