HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Krysia Broda

Publications
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, deep learning, Description Logic, embedding, inconsistency-tolerant, neural theorem prover, neural-symbolic integration, rule induction, Tableau, topic.

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