38 citations · 82 across the 12 of their papers we have counts for
12 papers
Explainability by design: an experimental analysis of the legal coding process
Matteo Cristani, Guido Governatori, Francesco Olivieri +2
Behind a set of rules in Deontic Defeasible Logic, there is a mapping process of normative background fragments. This process goes from text to rules and implicitly encompasses an…
Deontic Meta-Rules
Francesco Olivieri, Guido Governatori, Matteo Cristani +2
The use of meta-rules in logic, i.e., rules whose content includes other rules, has recently gained attention in the setting of non-monotonic reasoning: a first logical formalisati…
Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes
Francesco Olivieri, Guido Governatori, Claudio Tomazzoli +1
Linear Logic and Defeasible Logic have been adopted to formalise different features of knowledge representation: consumption of resources, and non monotonic reasoning in particular…
It could be worse, it could be raining: reliable automatic meteorological forecasting
Matteo Cristani, Francesco Domenichini, Claudio Tomazzoli +2
Meteorological forecasting provides reliable prediction about the future weather within a given interval of time. Meteorological forecasting can be viewed as a form of hybrid diagn…
Resource-driven Substructural Defeasible Logic
Francesco Olivieri, Guido Governatori, Matteo Cristani +2
Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions. We propose a framew…
A Formal Approach to Analyzing Cyber-Forensics Evidence
Erisa Karafili, Matteo Cristani, Luca Viganò
The frequency and harmfulness of cyber-attacks are increasing every day, and with them also the amount of data that the cyber-forensics analysts need to collect and analyze. In thi…