Federated Logic Conference Floc 2018

Richard Evans: Inductive logic programming and deep learning I Federated Logic Conference FLoC 2018 5,122 6 лет назад
Richard Evans: Inductive logic programming and deep learning II Federated Logic Conference FLoC 2018 1,567 6 лет назад
Stephen H Muggleton: Inductive Logic Programming II Federated Logic Conference FLoC 2018 1,375 6 лет назад
Byron Cook: Formal Reasoning about the Security of Amazon Web Services Federated Logic Conference FLoC 2018 7,743 6 лет назад
Stephen H Muggleton: Inductive Logic Programming I Federated Logic Conference FLoC 2018 7,159 6 лет назад
Georges Gonthier: The Logic of Real Proofs Federated Logic Conference FLoC 2018 708 6 лет назад
Nina Gierasimczuk: Learning and Epistemic Modal Logic I Federated Logic Conference FLoC 2018 1,617 6 лет назад
Stuart Russell: Unifying logic & probability: the BLOG language Federated Logic Conference FLoC 2018 1,160 6 лет назад
Debate: Ethics & Morality of Robotics Federated Logic Conference FLoC 2018 976 6 лет назад
Peter O'Hearn: Continuous Reasoning: Scaling the impact of formal methods Federated Logic Conference FLoC 2018 976 6 лет назад
Doina Precup: Reinforcement Learning IV Federated Logic Conference FLoC 2018 258 6 лет назад
Guy Katz: Verification of Machine Learning Programs II Federated Logic Conference FLoC 2018 2,132 6 лет назад
Borja Balle: Automata Learning II Federated Logic Conference FLoC 2018 290 6 лет назад
Borja Balle: Automata Learning I Federated Logic Conference FLoC 2018 1,169 6 лет назад
Doina Precup: Reinforcement Learning III Federated Logic Conference FLoC 2018 379 6 лет назад
James Worrell: Computational Learning Theory I Federated Logic Conference FLoC 2018 1,385 6 лет назад
James Worrell: Computational Learning Theory II Federated Logic Conference FLoC 2018 781 6 лет назад
Dana Scott: Looking Backward; Looking Forward Federated Logic Conference FLoC 2018 2,822 6 лет назад
Dan Roy: Bayesian Learning II Federated Logic Conference FLoC 2018 685 6 лет назад