OLIVIERI, FRANCESCO

OLIVIERI, FRANCESCO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 36 (tempo di esecuzione: 0.025 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 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