Differentiable Logic Machines.

Matthieu Zimmer Xuening Feng Claire Glanois Zhaohui Jiang Jianyi Zhang Paul Weng Jianye Hao Dong Li Wulong Liu

Published in: CoRR (2021)

Keyphrases

logic programming
classical logic
modal logic
data sets
sound and complete axiomatization
multi valued
automated reasoning
loss function
objective function
human intelligence
dynamic logic
database
parallel machines
database systems
website
artificial intelligence
deontic logic
asynchronous circuits