HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:embedding

Papers
Embedding in language and in thinking: A double dissociation in aphasia and aTOMia
Maayan Gabso-Rajuan, Noga Balaban and Naama Friedmann
EasyChair Preprint no. 6454
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-2023 easychair.org. All rights reserved.