Author:Alessandra Russo

Keyphrases

Answer Set Program, Answer Set Programming, commonsense reasoning, deep learning, Description Logic, embedding, Event Calculus, inconsistency-tolerant, Inductive Logic Programming, neural theorem prover, neural-symbolic integration, rule induction, Tableau, topic.