Author:Krysia Broda

Publications
Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings Yaniv Aspis, Krysia Broda, Jorge Lobo and Alessandra Russo EasyChair Preprint 8637
Topical Neural Theorem Prover that Induces Rules Shuang Xia, Krysia Broda and Alessandra Russo In:GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)
Reasoning in the presence of inconsistency through Preferential ALC Graham Deane, Krysia Broda and Alessandra Russo In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations

Keyphrases

Answer Set Program, Answer Set Programming, Clustering, deep learning, Description Logic, embedding, embedding space, inconsistency-tolerant, neural-symbolic integration, neural theorem prover, neuro-symbolic, Perception & Reasoning, rule induction, Tableau, topic, unstructured data.