38 citations · 82 across the 12 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.AI2018★ 1 cited
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…
cs.CR2018★ 10 cited
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…