HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Krysia Broda

Publications
Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings
Yaniv Aspis, Krysia Broda, Jorge Lobo and Alessandra Russo
EasyChair Preprint no. 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 theorem prover, neural-symbolic integration, neuro-symbolic, Perception & Reasoning, rule induction, Tableau, topic, unstructured data.

Copyright © 2012-2023 easychair.org. All rights reserved.