Política de Cookies

El sitio web de la Universidad de Cádiz utiliza cookies propias y de terceros para realizar análisis de uso y medición del tráfico, así como permitir el correcto funcionamiento en redes sociales, y de este modo poder mejorar su experiencia de navegación.

Si desea configurar las cookies, pulse el botón Personalizar Cookies. También puede acceder a la configuración de cookies en cualquier momento desde el enlace correspondiente en el pie de página.

Para obtener más información sobre las cookies puede consultar la Política de cookies del sitio web de la Universidad de Cádiz.

Personalización de Cookies

El sitio web de la Universidad de Cádiz utiliza cookies propias y de terceros para realizar análisis de uso y medición del tráfico, así como permitir el correcto funcionamiento en redes sociales, y de este modo poder mejorar su experiencia de navegación.

Para obtener más información sobre las cookies puede consultar la Política de cookies del sitio web de la Universidad de Cádiz. También puede acceder a la configuración de cookies en cualquier momento desde el enlace correspondiente en el pie de página.

A continuación podrá configurar las cookies del sitio web según su finalidad:

  • Análisis estadístico
    En este sitio se utilizan cookies de terceros (Google Analytics) que permiten cuantificar el número de usuarios de forma anónima (nunca se obtendrán datos personales que permitan identificar al usuario) y así poder analizar la utilización que hacen los usuarios del nuestro servicio, a fin de mejorar la experiencia de navegación y ofrecer nuestros contenidos de manera óptima.
  • Redes sociales
    En este sitio web se utilizan cookies de terceros que permiten el correcto funcionamiento de algunas redes sociales (principalmente Youtube y Twitter) sin utilizar ningún dato personal del usuario.

DISSEMINATION

DISSEMINATION ACTIVITIES


  • On October 29, 2020, will be held the OPEN DAY INTELLIGENZA ARTIFICIALE E PROCESSO, in the Salone Valente Palazzina Anmig, Via San Barnaba 29 – Milano, with the participation of Viviana Mascardi, in which the Introduction to Artificial Intelligence and study of the ethical problem within th scientific community and the DigForASP Cost Action on digital forensics will be presented.

29.10.2019 Open Day


  • 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

 


  • On the 12th and 13th of May 2020 the Italian School of Magistracy (Scuola Superiore della Magistratura, SSM) offered a course entitled Artificial Intelligence and Jurisdiction Practice, (“L’intelligenza artificiale e la pratica della giurisdizione: organizzazione degli uffici e funzione decisoria”, https://www.scuolamagistratura.it/documents/20126/0/ANNO+2020_ELENCO+CORSI+SVOLTI+ON+LINE.pdf/f081dd31-0eef-d5b1-5b1e-1699cc163af2?t=1595498998258)

    Within that course, Viviana Mascardi and a Magistrate of the Tribunal of Genova, Domenico Pellegrini, were in charge for the working group on Criminal Law carried out during the afternoon of May 12th. Once they aligned their shared terminology, the set up of the activities and the preparation of the teaching material run smoothly and many connections between the Italian law and computational logics were discovered, from the adoption of modus ponens as a well known oratory technique to closed world assumption.

    To show to the attendees the potential of computational logic, Mascardi and Pellegrini implemented a “logical judge” inspired by a real case of robbery. Although the judge is no more than a simple exercise of knowledge representation in Prolog, showing what automated reasoning in the legal domain could achieve via a practical demonstration to more than 70 magistrates represents a first and unique attempt in Italy and in the international panorama.

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

     

    • Francesca A. Lisi: Combining Knowledge Representation and Machine Learning in Forensics. Proceedings of the International Workshop on Applications of AI to Forensics 2020 (AI2Forensics 2020), Sept. 14, 2020.  http://research.nii.ac.jp/~ksatoh/AI2Forensics/AI2Forensics_proceedings.pdf
    • Raffaele Olivieri, Jesùs Medina, Stefania Costantini, Francesca Alessandra Lisi : Cost Action CA-17124 DigForASP: A European cooperative Action for AI applications in Police and Digital Investigations – An Exploration of Investigation Complexity”. Workshop “The “Good” Algorithm? Artificial Intelligence: Ethics, Law, Health. “, Vatican City, 26-28 February, 2020
    • : Knowledge Representation and Reasoning meets Digital Forensics: The COST Action DigForASP (short paper). RCRA/RiCeRcA@AI*IA http://ceur-ws.org/Vol-2538/paper5.pdf ()
    • : DigForASP: A European Cooperation Network for Logic-based AI in Digital Forensics. CILC 138-146 http://ceur-ws.org/Vol-2396/paper34.pdf
    • Stefania Costantini, Francesca Alessandra Lisi, Raffaele Olivieri DigForASP: Un’azione cooperativa europea per le applicazioni di Intelligenza Artificiale in Informatica Forense [PDF] [Presentazione] Workshop AI for Cybersecurity, Rome, 18 March 2019.
    • Zona Kostic, Aleksandar Jevremovic, “What Image Features Boost Housing Market Predictions?”, IEEE Transactions on Multimedia, 1/2020, ISSN:1520-9210, DOI:10.1109/TMM.2020.2966890, M21A
    • Roberto Salvaneschi, Daniela Muradore, Andrea Stanchi, and Viviana Mascardi: FrEX: Extracting Property Expropriation Frame Entities from Real Cases, submitted to the 4th Workshop on Natural Language for Artificial Intelligence (NL4AI), associated with AIxIA2020 (19th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2020)), 2020.
    • Milos Antonijevic, Miodrag Zivkovic, Sladjana Arsic, Aleksandar Jevremovic, “Using AI-Based Classification Techniques to Process EEG Data Collected During the Visual Short-Term Memory Assessment”, Journal of Sensors, 3/2020, ISSN:1687-725X, DOI:10.1155/2020/8767865, M22
    • 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, IEEE Big Data 2019, Los Angeles, USA, 12/2019, M33
    • Marko Krstic, Milan Cabarkapa, Aleksandar Jevremovic, “Machine Learning Applications in Computer Emergency Response Team Operations”, 27th Telecommunications Forum TELFOR 2019, Belgrade, Serbia, 11/2019, M33
    • Marko Krstic, Milan Cabarkapa, Aleksandar Jevremovic, “Improving digital forensic model explainability through model-agnostic methods”, 3rd Working Groups and MC Meeting, CA17124 – Digital forensics: evidence analysis via intelligent systems and practices, Valletta, Malta, 10/2019, M34
    • Stefania Costantini, Lorenzo De Lauretis, Aleksandar Jevremovic, “Neural Networks and other Machine Learning Techniques for Data Analysis”, 3rd Working Groups and MC Meeting, CA17124 – Digital forensics: evidence analysis via intelligent systems and practices, Valletta, Malta, 10/2019, M34
    • Aleksandar Jevremovic, Milan Cabarkapa, Marko Krstic, “CASPER – Children Agents for Secure and Privacy Enhanced Reaction”, 3rd Working Groups and MC Meeting, CA17124 – Digital forensics: evidence analysis via intelligent systems and practices, Valletta, Malta, 10/2019, M34
    • Aleksandar Miljkovic, Slobodan Nedeljkovic, Milan Cabarkapa, Aleksandar Jevremovic, “Implementation of artificial intelligence algorithms in digital forensics using Python programming language and its libraries”, 3rd Working Groups and MC Meeting, CA17124 – Digital forensics: evidence analysis via intelligent systems and practices, Valletta, Malta, 10/2019, M34
    • Aleksandar Jevremovic, Justin Bowling, Zona Kostic, “Caveats for using synthetic data sets in financial fraud detection algorithms training”, 3rd Working Groups and MC Meeting, CA17124 – Digital forensics: evidence analysis via intelligent systems and practices, Valletta, Malta, 10/2019, M34
    • Aleksandar Jevremovic, “Digital Forensics Challenges in Central Non-EU Countries”, Forensics Europe Expo, London, 3/2019, M34
    • 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, 6/2018, M33
    • Rangel F., Giachanou A., Ghanem B., Rosso P. Overview of the 8th  Author Profiling Task at PAN 2020: Profiling Fake News Spreaders on Twitter. In: L. Cappellato, C. Eickhoff, N. Ferro, and A. Névéol   (eds.) CLEF 2020 Labs and Workshops, Notebook Papers. CEUR Workshop   Proceedings.CEUR-WS.org
    • Rosso P., Rangel F. Author Profiling Tracks at FIRE. In: FIRE 10th Anniversary, SN Computer Science, vol. 1, paper n. 72, Springer
    • Giachanou A., Ríssola E., Ghanem B., Crestani F., Rosso P. The Role of Personality and Linguistic Patterns in Discriminating Between Fake  News Spreaders and Fact Checkers. In: Proc. 25th Int. Conf. on  Applications of Natural Language to Information Systems, NLDB-2020,  Springer-Verlag, LNCS(12089), pp.181-192
    • Giachanou A., Zhang G., Rosso P. Multimodal Fake News Detection with  Textual, Visual and Semantic Information. In: Proc. 23rd Int. Conf. on  Text, Speech and Dialogue, TSD-2020, Springer-Verlag, LNAI(12284), pp.  30-38
    • Ghanem B., Buscaldi D., Rosso P. TexTrolls: Identifying Trolls on  Twitter with Textual and Affective Features. In: Proc. Workshop on  Online Misinformation- and Harm-Aware Recommender Systems (OHARS),  Co-located with RecSys 2020
    • Rangel F., Rosso P., Zaghouani W., Charfi A. Fine-Grained Analysis of  Language Varieties and Demographics. In: Special Issue on NLP for  Similar Languages, Varieties, and Dialects. Natural Language  Engineering (JNLEL), Zampieri M. and Nakov P. (guest editors), pp. 1-12
    • Fornaciari T., Cagnina L., Rosso P., Poesio M. Fake Opinion Detection:  How Similar are Crowdsourced Datasets to Real Data? . In: Languages  Resources and Evaluation, pp. 1-40
    • Del Real-Castrillo, Cristina & Díaz-Fernández, Antonio M. (2020) “Lifeguards in the Sky: Examining the Public Acceptance of Beach-Rescue Drones”, Technology in Society. JCR Impact Factor: 2.414
    • Sánchez-Junquera J., Villaseñor-Pineda L., Montes-y-Gómez M., Rosso P., Stamatatos E. Masking domain-specific information for cross-domain  deception detection . In: Pattern Recognition Letters, vol. 135, pp.  122-130
    • Ghanem B., Rosso P., Rangel F. An Emotional Analysis of False Information in Social Media and News Articles. In: ACM Transactions on  Internet Technology (TOIT), vol. 20, issue 2, pp. 1-18
    • Siniša Husnjak, Ivan Forenbacher, Dragan Peraković and Ivan Cvitić (all from the University of Zagreb, Faculty of Transport and Traffic Sciences), UAV Forensics: DJI Mavic Air Non-Invasive Data Extraction and Analysis,. accepted for the conference EAI MMS 2020, and will be presented online very soon.
    • Dolos, Meyer, Attenberger, Steinberger (in Review): Driver identification using in-vehicle digital data in the forensic context of a hit and run accident. Forensic Science International: Digital Investigation
    • M. Rodríguez and M. Ojeda-Aciego. Formal concept analysis with negative attributes for forgery detection. Computational and Mathematical Methods, 2020. https://doi.org/10.1002/cmm4.1124
    • TimothyBollé, EoghanCasey, MaëligJacquet, The role of evaluations in reaching decisions using automated systems supporting forensic analysis, Forensic Science International: Digital Investigation Volume 34, August 2020, 301016. https://doi.org/10.1016/j.fsidi.2020.301016
    • Branimir Seselja and Andreja Tepavcevic: Lattice-valued algebraic structures via residuated maps, ESCIM2020, accepted.
    • Dragan Jocic and Ivana Stajner-Papuga: On solutions of distributivity equations for quasi-linear means, SISY 2020 ,IEEE 18th International Symposium on Intelligent Systems and Informatics, September 17-19, 2019 ,Subotica, Serbia
    • Stefania Costantini, Andrea Formisano: Augmenting Datalog± with Customizable Metalogic Features for Powerful Ontological Reasoning. AI*IA 2019 – Advances in Artificial Intelligence – XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019, Proceedings. Lecture Notes in Computer Science 11946, pp 30-45. Springer 2019, ISBN 978-3-030-35165-6
    • Stefania Costantini, Andrea Formisano: Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features. Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019. CEUR Workshop Proceedings 2396, CEUR-WS.org 2019. pp.14-29
    • Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano: Multi-context systems in dynamic environments. Ann. Math. Artif. Intell. 86(1-3): 87-120 (2019).
    • Adding Metalogic Features  to Knowledge Representation Languages: Stefania Costantini and Andrea Formisano, accepted for publication in Fundamenta Informatica
    • Constantinos Patsakis, Fran Casino: Hydras and IPFS: a decentralised playground for malware. Int. J. Inf. Sec. 18(6): 787-799 (2019) https://link.springer.com/article/10.1007/s10207-019-00443-0?shared-article-renderer
    • Evangelos Mantas, Constantinos Patsakis: GRYPHON: Drone Forensics in Dataflash and Telemetry Logs. IWSEC 2019: 377-390 http://link-springer-com-443.webvpn.fjmu.edu.cn/chapter/10.1007%2F978-3-030-26834-3_22
    • David Billard: “Tainted Digital Evidence and Privacy Protection in Blockchain-Based Systems”, Forensic Science International: Digital Investigation 32, 2020.
    • David Billard: Dismissing Poisoned Digital Evidence from Blockchain of Custody, Conference: The Fifth International Conference on Cyber-Technologies and Cyber-Systems, CYBER 2020, October 25, 2020 to October 29, 2020 .
    • Maciej Kusy and Piotr A. Kowalski: “Detection of Fraudulent Credit Card Transactions by Computational Intelligence Models As a Tool in Digital Forensics”. The publication is accepted for presentation at ESCIM2020 (to be held in Februrary 2021)
    • Stefania Costantini, Francesca A. Lisi, Raffaele Olivieri: Knowledge Representation and Reasoning meets Digital Forensics: The COST Action DigForASP (short paper). RCRA/RiCeRcA@AI*IA 2019
    • Stefania Costantini: About Epistemic Negation and World Views in Epistemic Logic Programs. Theory Pract. Log. Program. 19(5-6): 790-807 (2019) (application to establishing reliability of pieces of proof)
    • Stefania Costantini, Pasquale De Meo, Angelo Giorgianni, Valentina Migliorato, Alessandro Provetti, Federico Salvia: Exploring Low-degree Nodes First Accelerates Network Exploration.(application to the study of criminal organizations)
    • Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri: Digital forensics and investigations meet artificial intelligence. Ann. Math. Artif. Intell. 86(1-3): 193-229 (2019)
    • UAV Forensics: DJI Mavic Air Non-Invasive Data Extraction and Analysis, authored by: Siniša Husnjak, Ivan Forenbacher, Dragan Peraković and Ivan Cvitić (all from the University of Zagreb, Faculty of Transport and Traffic Sciences), accepted for the conference EAI MMS 2020, and will be presented online.
    • 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