ACLAI'23

Challenges and Adequacy Conditions for Logics in the New Age of Artificial Intelligence. Málaga Nov 2-4, 2023



In this workshop, organised by the Spanish project LIANDA (BBVA Foundation), our colleague Nicolás Madrid presented his work on
"Adequacy of AI techniques for Digital Forensic tasks".

The event hosted a range of talks and discussions that include technical work on current systems of logic for AI as well as philosophical reflections on logical methodology, besides examining external desiderata for logics that arise for instance from legal or ethical requirements for AI systems.