Author:Alessandra Russo
KeyphrasesAnswer 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. |