Author:Krysia Broda

Keyphrases

Answer Set Program, deep learning, Description Logic, embedding, inconsistency-tolerant, neural theorem prover, neural-symbolic integration, rule induction, Tableau, topic.