DISSEMINATION

DISSEMINATION ACTIVITIES

  • Ken Satoh, Stefania Constantini and Raffaele Olivieri (members of the Action) organized an international workshop on AI application to forensics (AI2Forensics) associated with KR 2020 (virtual workshop) on 14 September:
Here is a schedule. Non preminary authors can attend the workshop by free registration:

  • On July 9, 2020, Jesús Medina (Action Chair)  will attend a conference entitled Modelling Vagueness and Uncertainty in DH with a talk entitled DIGital FORensics: evidence Analysis via intelligent Systems and Practices (DigForASP). COST Action 17124. Goals and intermediate achievements. Francesca A. Lisi (Science Communication Manager) will also attend the conference with a presentation entitled Representing Fuzzy Quantified Sentences in OWL 2. 
 The final version of the programme and the abstracts for each talk are available on the following link:

 

 


  • On May 22, 2020, Raffaele Olivieri (WG1 Leader) will attend a seminar entitled I percorsi dell’intelligenza artificiale nel diritto with a talk entitled Intelligenza Artificiale applicata alle Investigazioni di Polizia e di Digital Forensics, to be held through the Zoom streaming platform (h.17.00 – h.19.00 in Italy) and which is part of an interdisciplinary path dedicated to AI. The event has been organized by Emanuela Cerasella, a new member of the Action and a lawyer in criminal filed at the Court of Rome. She is also the coordinator of the study and research of the sub-group of “Neurodiritto of the Neurobioethics” at Regina Apostolorum Pontifical University and the European University of Rome, directed by Prof. Father Alberto Carrara LC.

           -Meeting ID: 971 543 8095
           -Link: https://us02web.zoom.us/j/9715438095

 


Authors:
Raffaele Olivieri – WG1 Leader – Arma dei Carabinieri – Ra.C.I.S. – raffaele.olivieri@gmail.com (Italy)
Jesùs Medina – Chair DigForASP – University of Cadiz – jesus.medina@uca.es (Spain)
Stefania Costantini – vice-Chair – University of L’Aquila – stefania.costantini@univaq.it (Italy)
Francesca Alessandra Lisi  – Science Communication Manager – University of Bari – francesca.lisi@uniba.it (Italy)


  • On February 17-22, 2020, Zeno Jean Geradts (MC member of the Action) attended the  “72nd Annual Scientific Meeting” of the American Academy of Forensic Sciences in Anaheim (United States), with a talk entitled “The Application of Artificial Intelligence (AI) in Digital Forensic Science” (page 463) and organized a workshop with a presentation on deep fakes entitled “Forensic Multimedia Authentication: Real-Life Challenges” (page 30).




    • On November 22, 2019, at Bologna University (Italy), Raffaele Olivieri (Leader of WG1: Digital Forensics requirement analysis) participated in the Seminar “Analisi forense di dati digitali: linee guida e nuove prospettive” with a conference entitled “Analisi forensi attraverso sistemi intelligenti: stato dell’arte”.


    • On November 15, 2019, at the Institute for Biostatistics and Medical Informatics, Faculty of Medicine of the University of Ljubljana (Slovenia), Andreja Tepavcevic, Ivana Stajner Papuga gave a presentation entitled “Artificial intelligence methods in digital forensics”.


    SCIENTIFIC PUBLICATIONS
    • Lubomir Antoni, M. Eugenia Cornejo, Jesús Medina, Eloísa Ramírez-Poussa. Attribute classification and reduct computation in multi-adjoint concept lattices. IEEE Transactions on Fuzzy Systems. Available online  24 January 2020, 10.1109/TFUZZ.2020.2969114
    • M. J. Benítez-Caballero, J. Medina, E. Ramírez-Poussa, and D. Slezak. A computational procedure for variable selection preserving different initial conditions. International Journal of Computer Mathematics, 97:387–404, 2020.
    • M. J. Benítez-Caballero, J. Medina, E. Ramírez-Poussa, and D. Slezak. Rough-set driven approach for attribute reduction in fuzzy formal concept analysis. Fuzzy Sets and Systems, 391:117 – 138, 2020.
    • N. Madrid, J. Medina, and E. Ramírez-Poussa. Rough sets based on galois connections. International Journal of Applied Mathematics, 30 (2):299–313, 2020.
    • Madrid N., Ramírez-Poussa E. (2020) Representative Set of Objects in Rough Sets Based on Galois Connections. In: Bello R., Miao D., Falcon R., Nakata M., Rosete A., Ciucci D. (eds) Rough Sets. IJCRS 2020. Lecture Notes in Computer Science, vol 12179. Springer, Cham. https://doi.org/10.1007/978-3-030-52705-1_26
    • Aragón R.G., Medina J., Ramírez-Poussa E. (2020) On the Hierarchy of Equivalence Classes Provided by Local Congruences. In: Bello R., Miao D., Falcon R., Nakata M., Rosete A., Ciucci D. (eds) Rough Sets. IJCRS 2020. Lecture Notes in Computer Science, vol 12179. Springer, Cham. https://doi.org/10.1007/978-3-030-52705-1_22
    • Benítez-Caballero M.J., Medina J., Ramírez-Poussa E. (2020) Fuzzy FCA Attribute Reduction Properties in Rough Set Theory. In: Bello R., Miao D., Falcon R., Nakata M., Rosete A., Ciucci D. (eds) Rough Sets. IJCRS 2020. Lecture Notes in Computer Science, vol 12179. Springer, Cham. https://doi.org/10.1007/978-3-030-52705-1_24
    • Aragón R.G., Medina J., Ramírez-Poussa E. (2020) Impact of Local Congruences in Attribute Reduction. In: Lesot MJ. et al. (eds) Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU 2020. Communications in Computer and Information Science, vol 1239. Springer, Cham. https://doi.org/10.1007/978-3-030-50153-2_55
    • Benítez-Caballero M.J., Medina J., Ramírez-Poussa E. (2020) Towards a Classification of Rough Set Bireducts. In: Lesot MJ. et al. (eds) Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU 2020. Communications in Computer and Information Science, vol 1239. Springer, Cham. https://doi.org/10.1007/978-3-030-50153-2_56
    • M. Eugenia Cornejo, Juan Carlos Díaz-Moreno, Juan López-Rodríguez, Jesús Medina. Quantified formal-concept operators. Published in Francisco J. Valverde-Albacete, Martin Trnecka (Eds.): Proceedings of the 15th International Conference on Concept Lattices and Their Applications, CLA 2020, pp. 273–280, 2020.
    • M. Eugenia Cornejo, Jesús Medina, Eloísa Ramírez-Poussa. Algebraic structure of adjoint triples generating a weak negation on the unit interval. In: Bello R., Miao D., Falcon R., Nakata M., Rosete A., Ciucci D. (eds) Rough Sets. IJCRS 2020. Lecture Notes in Computer Science, vol 12179, pp 337-348. Springer, Cham. https://doi.org/10.1007/978-3-030-52705-1_25
    • M. Eugenia Cornejo, David Lobo, Jesús Medina. Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach. Mathematics 2020, 8, 881.
    • M. Eugenia Cornejo, David Lobo, Jesús Medina. On sup-equations with a multi-adjoint nature. International Conference on Computational and Mathematical Methods in Science and Engineering.
    • M. Eugenia Cornejo, Jesús Medina, Clemente Rubio-Manzano. Linguistic descriptions of data via fuzzy formal concept analysis. In: István Á. Harmati, László T. Kóczy, Jesús Medina, Eloísa Ramírez Poussa (eds) Computational Intelligence and Mathematics for tackling complex problems 3.
    • Roberto G. Aragón, M. Eugenia Cornejo, Jesús Medina, Eloísa Ramírez-Poussa, Clemente Rubio-Manzano. Formal concept analysis for detecting criminal patterns. In: István Á. Harmati, László T. Kóczy, Jesús Medina, Eloísa Ramírez Poussa (eds) Computational Intelligence and Mathematics for tackling complex problems 3.
    • Preface of  Kóczy L., Medina-Moreno J., Ramírez-Poussa E., Šostak A. (eds) Computational Intelligence and Mathematics for Tackling Complex Problems. Studies in Computational Intelligence, vol 819. Springer, Cham. 10.1007/978-3-030-16024-1
    • Milan Milosavljevic, Sasa Adamovic, Aleksandar Jevremovic, Milos Antonijevic:  “Secret key agreement by public discussion from EEG signals of participants”, 5th International Conference on Electrical, Electronic and Computing Engineering, 2018.
    • Biagetti A., Ferrando A., Mascardi V. (2020) The DigForSim Agent Based Simulator of People Movements in Crime Scenes. In: Demazeau Y., Holvoet T., Corchado J., Costantini S. (eds) Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection. PAAMS 2020. Lecture Notes in Computer Science, vol 12092. Springer, Cham. https://doi.org/10.1007/978-3-030-49778-1_4
    • Mascardi V., Pellegrini D. (2020) Logical Judges Challenge Human Judges on the Strange Case of B.C.-Valjean. To appear as an ICLP2020 Technical Communication.
    • Yusuf Izmirlioglu, Esra Erdem. Qualitative Spatial Reasoning for Digital Forensics: A Cardinal Directional Calculus Approach using Answer Set Programming.  Proc. of KR AI2Forensics Workshop, 2020.
    • Yusuf Izmirlioglu and Esra Erdem: “Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming”. To appear in Theory and Practice of Logic Programming. (arXiv:2008.04126) 
    • Milena Djukanovic, Lazar Novicevic, Mihailo Jovanovic: “Dictionary Based Brute Force Attack”, In: Karabegović I. (eds) New Technologies, Development and Application III. NT 2020. Lecture Notes in Networks and Systems, vol 128. Springer, Cham.
    • Piotr S. Maciąg, Marzena Kryszkiewicz, Robert Bembenik: “Discovery of closed spatio-temporal sequential patterns from event data”, Knowledge-Based and Intelligent Information & Engineering Systems. Proceedings of the 23rd International Conference KES2019, 2019, pp. 707-716. (4 – 6 September , Budapest, issn: 1877-0509)
    • Farrugia, Neil, Joseph Vella: “Automating Footwear Impressions Retrieval through Texture”, Information & Security: An International Journal, vol. 43, 2019, pp. 73-86.
    • Igor Kotsiuba, Inna Skarga-Bandurova, Alkiviadis Giannakoulias, Mykhailo Chaikin, Aleksandar Jevremovic: “Technique for Finding and Investigating the Strongest Combinations of Cyberattacks on Smart Grid Infrastructure”, 3rd International Workshop on Big Data Analytic for Cybercrime Investigation and Prevention, within the IEEE Big Data 2019 conference, 2019.
    • Marko Krstic, Milan Cabarkapa, Aleksandar Jevremovic: “Machine Learning Applications in Computer Emergency Response Team Operations”, 27th Telecommunications Forum TELFOR 2019, 2019.
    • Stefania Costantini, Francesca Alessandra Lisi, Raffaele Olivieri: “DigForASP: A European Cooperation Network for Logic-based AI in Digital Forensics”, in Alberto Casagrande, Eugenio G. Omodeo: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019 (CEUR Workshop Proceedings 2396, CEUR-WS.org).
    • Johannes Oetsch, Juan Carlos Nieves: “Stable-Ordered Models for Propositional Theories with Order Operators”, Logics in Artificial Intelligence – 16th European Conference (JELIA), 2019, pp. 794—802.

    PhD THESIS
    • David Lobo, “Programación lógica multiadjunta no monótona y ecuaciones bipolares de relaciones difusas: extensiones y relaciones”,  April 30, 2020. Thesis supervisors: Jesús Medina (Action Chair) and Mª Eugenia Cornejo (MC member).

    DigForASP Leaflet

    DIGFORASP Logos