Declarative AI and Digital Forensics: Activities and Results within the DigForASP project

This paper reports the activities done and the results obtained by the University of Bari within the COST Action DigForASP. The objectives of this project are to create a cooperation network for exploring the potential of logic-based Artificial Intelligence (AI) applications in the Digital Forensics field. Specifically, the challenges of our work were to develop a declarative AI approach, based on Answer Set Programming, to call pattern analysis, for extracting useful information or suspects “lifestyles” from anonymized phone recordings of real crimes, made available within the DigForASP project.