Table of Contents

Classical Algorithms for Reasoning and Explanation in Description Logics.- Explanation-Friendly Query Answering Under Uncertainty.- Provenance in Databases: Principles and Applications.- Knowledge Representation and Rule Mining in Entity-Centric Knowledge Bases.- Explaining Data with Formal Concept Analysis.- Logic-based Learning of Answer Set Programs.- Constraint Learning: An Appetizer.- A Modest Markov Automata Tutorial.- Explainable AI Planning (XAIP): Overview and the Case of Contrastive.

About the Author

Markus Krötzsch is a full professor at the Faculty of Computer Science of TU Dresden, where he is holding the chair for Knowledge-Based Systems. He obtained his Ph.D. at Karlsruhe Institute of Technology (KIT) in 2010, and thereafter worked as a researcher and departmental lecturer at the Department of Computer Science of the University of Oxford until October 2013.  

Daria Stepanova is currently a research scientist at Bosch Center for Artificial Intelligence. Prior to that she was a senior researcher heading a group in Semantic Data at Max Planck  Institute for Informatics. She obtained her PhD in Computational Logic from Vienna University of Technology in 2015.