
Luc De Raedt
Professor @ KU Leuven
probabilistic inference
lifted inference
first-order logic
model checking
sequential decision making
planning with markov models
reasoning under uncertainty
probabilistic computation tree logic (pctl)
relational mdps
probabilistic circuits and graphical models
4
presentations
2
number of views
SHORT BIO
Prof. Dr. Luc De Raedt is currently Director of Leuven.AI, the KU Leuven Institute for AI, full professor of Computer Science at KU Leuven, and guestprofessor at Örebro University (Sweden) at the Center for Applied Autonomous Sensor Systems in the Wallenberg AI, Autonomous Systems and Software Program.
Luc De Raedt obtained his PhD in Computer Science from the KU Leuven (1991), was post-doctoral researcher of the Fund for Scientific Research, Flanders (FWO) (1991-99) and part-time assistant/associate professor (1993-1999) KU Leuven; full professor (C4) and Chair of the Machine Learning and Natural Language Processing Lab at the Albert-Ludwigs-University Freiburg, Germany (1999-2006); head of the Lab for Declarative Languages and Artificial intelligence at KU Leuven from (2015-2019).
Presentations

Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation
Gabriele Venturato and 3 other authors

Lifted model checking for relational MDPs
Wen-Chi Yang and 2 other authors

Mapping probability word problems to executable representations
Simon Suster and 6 other authors

Shape Inference and Grammar Induction for Example-based Procedural Generation
Gillis Hermans and 2 other authors