MoL-2018-20: Haukur Páll Jónsson Real Logic and Logic Tensor Networks 1.Full Text, 2.Abstract. < Back