Concepedia

Francesco Olivieri

FO

6

Publications

127

Citations

6

H-Index

2013

Active since

Affiliations

University of Verona(Current)

Data61

Imperial College London

Griffith University

University of Bologna

Francesco Olivieri is an author at University of Verona specializing in formal methods, automated reasoning, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningSemanticsComputer ScienceSystems EngineeringFormal SpecificationEnergy EfficiencyEnergy ManagementEnergy Consumption

Publications per year

2013–2018

6

Publications

6

The rationale behind the concept of goal

Guido Governatori, Francesco Olivieri, Simone Scannapieco et al. · Theory and Practice of Logic Programming · 2016 · 36 citations · Full text

Defeasible Reasoning about Electric Consumptions

Matteo Cristani, Claudio Tomazzoli, Erisa Karafili et al. · 2016 · 23 citations · Full text

Engineering, Defeasible Logic, Electric Consumptions +19

Non-monotonic reasoning rules for energy efficiency

Claudio Tomazzoli, Matteo Cristani, Erisa Karafili et al. · Journal of Ambient Intelligence and Smart Environments · 2017 · 20 citations · Full text

Engineering, Energy Efficiency, Energy Efficiency Policy +19

Legal contractions

Guido Governatori, Antonino Rotolo, Francesco Olivieri et al. · 2013 · 18 citations · Full text

Non-classical Logic, Engineering, Automated Reasoning +10

Revision of defeasible preferences

Guido Governatori, Francesco Olivieri, Matteo Cristani et al. · International Journal of Approximate Reasoning · 2018 · 17 citations · Full text

Public Policy, Defeasible Preferences, Bias +4

Rows per page

1–5 of 6