International Workshop on Applications of AI to Forensics
associated with 17th International Conference on Principles of Knowledge Representation and Reasoning (KR-2020)

14:20-18:20, September 14, 2020 (on line)

New Information

AI2Forensics Workshop Proceedings is now uploaded. Follow a lik to "Proceedings".

AI2Forensics Workshop Program is revised according to KR WS schedule change. (4, September 2020)

AI2Forensics Workshop Program is now uploaded.

Message from KR 2020 conference chair:
We are continuously monitoring the COVID-19 situation from local authorities and the World Health Organization. KR 2020 is half a year away, and we are confident that COVID-19 emergency will pass over and the conference will be held in September, as planned. And, if necessary, alternative solutions, such as postponement, remote presentations, etc will be looked into and identified.

The submission deadline is now extended to 22 June!!

Aims and Scope

Digital forensics is a part of the criminalistics sciences which deals with digital evidence recovery and exploitation in the solution of criminal cases through the application of scientific principles. There are several and increasingly sophisticated methods for collecting digital evidence. As a matter of fact, the evolution of technology continuously pushes such kind of methods. Rough evidence must however be used to elicit hypotheses concerning events, actions and facts (or sequences of them) with the goal to obtain evidence to present in court. Evidence analysis involves examining fragmented incomplete knowledge, and reconstructing and aggregating complex scenarios involving time, uncertainty, causality, and alternative possibilities. No established methodology exists today for digital evidence analysis. The purpose of this workshop is to bring together AI researchers and practitioners on forensics with the goal of fostering new connections and inspiring joint collaborations to explore the potential of the application of Artificial Intelligence and Automated Reasoning in the Digital Forensics field, and creating synergies between these fields.

Important Dates

Workshop: September 12 - 14, 2020

Deadline is now extended!
Submission Deadline: 22 June 2020( AOE )
Notification: 21 July 2020 (extended)
Camera-ready due: 31 July 2020 ( AOE )




Relevant topics include, but are not limited to, the following:

  • Formal models of reasoning in forensics
  • Usage of argumentation in forensics
  • Ontology in forensics
  • Legal issues in using AI in forensics
  • Machine learning for forensics data
  • Natural language processing and understanding for forensics data
  • Evidential reasoning for forensics
  • Automated reasoning for forensics
  • Temporal and spatial reasoning for forensics
  • Logical/probabilistic knowledge representation for forensics
  • Epistemic reasoning for forensics
  • Defeasible reasoning for forensic

Invited Speaker

Francesca Alessandra Lisi, University of Bari Aldo Moro, Italy
"Combining Knowledge Representation and Machine Learning in Forensics"


We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere.

Submissions are not anonymous (i.e., reviewing will be single-blind) and have to be formatted using the following style files: and not exceed 9 pages including figures, references, etc. If you use a word file, please follow the instruction of the format, and then convert it into a pdf form and submit it at the paper submission page.

You can submit your paper by going to "" and selecting "Int. WS on Applications of AI to Forensics" track.

AI2Forensics Proceedings

Download from here

AI2Forensics Programme

14:20-14:25: Opening Remark, Stefania Constantini

14:25-15:25: Invited Talk
Francesca Alessandra Lisi, University of Bari Aldo Moro, Italy
"Combining Knowledge Representation and Machine Learning in Forensics"

15:25-15:50: Break

15:50-16:20: Technical Presentation 1
"Machine Learning to Predict London Crime Rates",
Stefania Costantini and Lorenzo De Lauretis

16:20-16:50: Technical Presentation 2
"Qualitative Spatial Reasoning for Digital Forensics: A Cardinal Directional Calculus Approach using Answer Set Programming",
Yusuf Izmirlioglu and Esra Erdem

16:50-17:10: Break

17:10-17:40: Technical Presentation 3
"Legal Issues in AI forensics: understanding the importance of humanware",
Raffaella Brighi, Michele Ferrazzano and Leonardo Summa

17:40-17:55: Demonstration 1
"Digital Forensics & real cases: from Prosecutor's request to solution",
Raffaele Olivieri, Stefania Costantini and David Billard

17:55-18:10 Demonstration 2
"Efficient Argument-based Inquiry at the Dutch Police",
Daphne Odekerken, AnneMarie Borg and Floris Bex

18:10-18:15: Closing Remark, Floris Bex

Workshop Organizers

Floris BEX, Utrecht University & Tilburg University, The Netherlands
Stefania COSTANTINI, Universita' degli Studi dell'Aquila, Italy
Antonis KAKAS, University of Cyprus, Cyprus
Raffaele OLIVIERI, Arma dei Carabinieri, Italy
Ken SATOH, National Institute of Informatics, Japan

Program Committee Members

David BILLARD, University of Applied Sciences in Geneva, Switzerland
Pedro CABALAR, Universidade da Coruña, Spain
Zeno GERADTS, Netherlands Forensic Institute, The Netherlands
Aleksandra DEDINEC, The Ss. Cyril and Methodius University in Skopje, North Macedonia
Martin DIEGUEZ, ENIB – Lab-STICC, France
Hans HENSELER, Magnet Forensics, The Netherlands
Aleksandar JEVREMOVIC, Sinergija University, Bosnia and Herzegovina
Viviana MASCARDI, University of Genova, Italy
Jesus MEDINA, Universidad de Cadiz, Spain
Jelte MENSE, Netherlands National Police, The Netherlands
Alessandra MILEO, Dublin City University, Ireland
Yoshiaki NISHIGAI, Chiba University, Japan
Manuel OJEDA ACIEGO, Universidad de Málaga, Spain
Alessandro PROVETTI, Birbeck University of London, UK
Bas TESTERINK, Netherlands National Police, The Netherlands
Wataru ZAITSU, Mejiro University, Japan

For any inquiry concerning the workshop, please send it to "ksatoh[at]"

AI2Forensics home page

Back To Top