Marc Denecker is an associate professor and the head of the Knowledge Representation and Reasoning research group at the K.U.Leuven. His research is concerned with foundational and computational aspects of computational logic and non-monotonic reasoning which has resulted in contributions in areas such as abductive inference and knowledge representation. His course presents ID-logic, an extension of classical logic with inductive definitions, and its application for knowledge representation and declarative problem solving.