HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Alessandra Russo

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)
Learning Commonsense Knowledge through Interactive Dialogue
Benjamin Wu, Alessandra Russo, Mark Law and Katsumi Inoue
EasyChair Preprint no. 224
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, commonsense reasoning, deep learning, Description Logic, embedding, Event Calculus, inconsistency-tolerant, Inductive Logic Programming, neural theorem prover, neural-symbolic integration, rule induction, Tableau, topic.

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