User action representation and automated reasoning for the forensic analysis of mobile devices Cosimo Anglano, Massimo Canonico, Laura Giordano, Marco Guazzone, Daniele Theseider Dupré Last updated on Sep 28, 2025 PDF Cite DOI Computational Logic Automated Forensic Analysis Digital Forensics Mobile Forensics