Logic-driven autoencoders.

Rami Al-Hmouz Witold Pedrycz Abdullah Saeed Balamash Ali Morfeq

Published in: Knowl. Based Syst. (2019)

Keyphrases

denoising
logic programming
classical logic
data sets
knowledge representation
modal logic
predicate logic
logic synthesis
databases
neural network
probability theory
automated reasoning