Sign in
User action representation and automated reasoning for the forensic analysis of mobile devices.
Cosimo Anglano
Massimo Canonico
Laura Giordano
Marco Guazzone
Daniele Theseider Dupré
Published in:
ARES (2021)
Keyphrases
</>
automated reasoning
mobile devices
forensic analysis
knowledge representation
reasoning tasks
theorem prover
theorem proving
probabilistic reasoning
mobile phone
context aware
first order logic
machine learning
search space
supervised learning