Neural Logic Machines.

Honghua Dong Jiayuan Mao Tian Lin Chong Wang Lihong Li Denny Zhou

Published in: ICLR (Poster) (2019)

Keyphrases

network architecture
neural network
logic programming
automated reasoning
predicate logic

nonlinear predictive control
neural information processing
artificial neural
bio inspired
associative memory

modal logic
defeasible logic
sound and complete axiomatization
computational properties
epistemic logic

deontic logic
linear logic
logic programs
data sets