Nina Gierasimczuk: Learning and Epistemic Modal Logic I
Lecture 15, Thursday 5 July 2018, part of the FoPSS Logic and Learning School at FLoC 2018 - see http://fopss18.mimuw.edu.pl/ and www.floc2018.org for further information.
Видео Nina Gierasimczuk: Learning and Epistemic Modal Logic I канала Federated Logic Conference FLoC 2018
Видео Nina Gierasimczuk: Learning and Epistemic Modal Logic I канала Federated Logic Conference FLoC 2018
Показать
Комментарии отсутствуют
Информация о видео
30 июля 2018 г. 17:57:13
01:09:04
Другие видео канала
Doina Precup: Reinforcement Learning III
Jan Křetínský: Learning in Verification II
Dan Roy: Bayesian Learning II
Borja Balle: Automata Learning I
Peter O'Hearn: Continuous Reasoning: Scaling the impact of formal methods
Nina Gierasimczuk: Learning and Epistemic Modal Logic II
Stephen H Muggleton: Inductive Logic Programming II
Guy Katz: Verification of Machine Learning Programs I
Stuart Russell: Unifying logic & probability: the BLOG language
Borja Balle: Automata Learning II
Hado van Hasselt: Reinforcement Learning I
Jan Křetínský: Learning in Verification I
Georges Gonthier: The Logic of Real Proofs
Doina Precup: Reinforcement Learning IV
Guy Katz: Verification of Machine Learning Programs II
Hado van Hasselt: Reinforcement Learning II
Stephen H Muggleton: Inductive Logic Programming I
Richard Evans: Inductive logic programming and deep learning I
Varun Kanade: Statistical Learning Theory I
Dana Scott: Looking Backward; Looking Forward