Neural Logic Machines.
Honghua DongJiayuan MaoTian LinChong WangLihong LiDenny ZhouPublished 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