Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
embedding
Papers
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)
Complete Variable-Length Codes: An Excursion into Word Edit Operations
Jean Néraud
EasyChair Preprint no. 2195
Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
Max Wisniewski
and
Alexander Steen
In
:
ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics
Copyright © 2012-2021 easychair.org. All rights reserved.