digital forensics, digital investigation, Forensic Lucid, intensional logic, intensional programming, formal methods, event reconstruction, Dempster-Shafer theory of evidence, GIPSY, MARF