We cordially invite you to our joint event with DigForASP (Digital forensics: evidence analysis via intelligent systems and practices).

Abstract

As the definition of AI changes towards building rational agents that are provably beneficial for humans, answer set programming (ASP) plays an important role in addressing the user-oriented challenges in applications that come along during this shift, such as generality, flexibility, provability, hybridity, bi-directional interactions, and explainability. In this talk, I will focus on explainability and present different methods for explanation generation in three applications of ASP: complex biomedical queries for drug discovery, multi-modal multi-agent path finding with resource consumption, and robotic plan execution monitoring.

About the Speaker

Esra Erdem is a professor in computer science and engineering at Sabanci University, Istanbul. She received her Ph.D. in computer sciences at the University of Texas at Austin, and carried out postdoctoral research at the University of Toronto and Vienna University of Technology. Her research is in the area of artificial intelligence, in particular, the mathematical foundations of knowledge representation and automated reasoning, and their applications to various domains, including robotics, bioinformatics, logistics, and economics. Dr. Erdem was a general co-chair of ICLP 2013, a program co-chair of ICLP 2019 and KR 2020, and the general chair of KR 2021. She is an associate editor for Artificial Intelligence (AIJ) and Theory and Practice of Logic Programming (TPLP), and the president of KR Inc.

Program

January 26th, FAV Hörsaal 2, Ground Floor ##

The talk is part of the DigForASP Focused Thematic Working Group Meeting (FTWG3-4-5).

• 9.00-10.00 First Day Opening and Initial Discussion
• 10.00-10.30 Pedro Cabalar, “Deontic Equilibrium Logic: preliminary work”
• 10.30-11.00 Xavier Parent, “Logics for normative reasoning and their proof theory”
• 11.00-11.30 Coffee break 1
• 11.30-12.00 Daniele Theseider Dupré, “From common sense reasoning to Neural Network models: a conditional and multi-preferential approach for explainability and neuro-symbolic integration”
• 12.00-13.00 Invited talk by Emmanuel Sallinger, “Anti money-loundering activities at the Bank of Italy using Datalog extensions”
• 13.00-14.30 Lunch
• 14.30-16.00 Brainstorming and discussion
• 16.00-16.30 Coffee break 2
• 16.30-18.00 Brainstorming and discussion

January 27th, Zemanek Room, Ground Floor ##

• 9.00-9.30 Second Day Opening
• 9.30-10.30 Invited talk by Esra Erdem, “Explanation generation in applications of Answer Set Programming”, jointly organized by the Center of AI and ML of TU Wien and the DigForASP COST action
• 10.30-11.00 Coffee break 3
• 11.00-11.30 Giovanbattista Ianni, “On the connection between games, stream reasoning, and timeline analysis”
• 11.30-12.00 David Billard, “Anonymization of the Bank Attack Database”
• 12.30-13.00 Viviana Mascardi, “MACISTE 4 HEALTH: a MultiAgent system for the data aCt Implementation and verification in the healthcare SecTor”
• 12.30-13.00 Juan Carlos Nieves, “Topic Planning in Information-Seeking Dialogues”
• 13.00-14.30 Lunch
• 14.30-15.30 Working on the final report of the COST Action
• 15.30-16.00 Closing