(Joint with DL2020)
Andreas Herzig, IRIT CNRS, France
Short Bio: Andreas Herzig is a CNRS senior researcher (Directeur de Recherches CNRS) in the
Logic, Interaction, Language, and Computation Group (LILaC) of IRIT at Universite Paul Sabatier. He is the head of
IRIT's AI Department. He is the editor-in-chief of the Journal Applied Non-Classical Logics and associated editor
of Artificial Intelligence. He is an EurAI Fellow. Andreas studied computer science in Darmstadt and Toulouse.
In 1989 he obtained a Ph.D. in Computer Science at Paul Sabatier University in Toulouse on Automated Deduction
in Modal Logics. Since 1990 he is a CNRS researcher (senior researcher since 2004). His main research topic is
the investigation of logical models of interaction, with a focus on logics for reasoning about knowledge, belief,
time, action, intention and obligation, and the development of automated reasoning methods for them.
Talk Title: Knowledge Base Repair: from Active Integrity Constraints to Active TBoxes
(joint work with Guillaume Feuillade and Christos Rantsoudis)
Abstract:In the database literature it has been proposed to resort to active integrity constraints in order to restore database integrity. Such active integrity constraints consist of a classical constraint together with a set of preferred update actions that can be triggered when the constraint is violated. In the first part of the talk, we review the main repairing routes that have been proposed in the literature. We do so from the perspective of Dynamic Logic, viewing active integrity constraints as programs that test whether a constraint is violated and if so perform appropriate update actions. In the second part of the talk we discuss how these ideas can be adapted to Description Logics. We assume extensions of TBox axioms by update actions that denote the preferred ways an ABox should be repaired in case of inconsistency with the axioms of the TBox. The extension of the TBox axioms with these update actions constitute new, active TBoxes.
Francesca Toni, Imperial College London, UK
Short Bio: Francesca Toni is Professor in Computational Logic in the Department of Computing, Imperial College London, UK, and
the founder and leader of the CLArg (Computational Logic and Argumentation) research group. Her research interests lie within the broad area of
KR and Explainable AI, and in particular include Argumentation, Argument Mining, Logic-Based Multi-Agent Systems, Logic Programming,
Non-monotonic/Default/Defeasible Reasoning. She graduated, summa cum laude, in Computing at the University of Pisa, Italy, in 1990,
and received her PhD in Computing in 1995, from Imperial College London. She has coordinated two EU projects, received funding from EPSRC (in the UK)
and the EU, and awarded a Senior Research Fellowship from The Royal Academy of Engineering and the Leverhulme Trust. She is currently Technical
Director of the ROAD2H EPSRC-funded project (www.road2h.org/) and co-Director for the Centres of Doctoral Training in Safe and Trusted AI and
in AI for Healthcare. She has co-chaired ICLP2015 (the 31st International Conference on Logic Programming) and KR 2018 (the 16th Conference
on Principles of Knowledge Representation and Reasoning). She is EurAI fellow and a member of the steering committee of and KR, inc.,
corner editor on Argumentation for the Journal of Logic and Computation, and in the editorial board of the Argument and Computation journal and
the AI journal.
Talk Title: Non-monotonic reasoning by computational argumentation
Abstract:TBA
invited speakers
