Levin Tree Search with Context Models
Laurent Orseau, Marcus Hutter, Levi H. S. Lelis
SAT-Based PAC Learning of Description Logic Concepts
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
Safe Reinforcement Learning via Probabilistic Logic Shields
Wen-Chi Yang; Giuseppe Marra; Gavin Rens; Luc De Raedt