Keyword:embedding

Publications
Embedding in language and in thinking: A double dissociation in aphasia and aTOMia Maayan Gabso-Rajuan, Noga Balaban and Naama Friedmann EasyChair Preprint 6454
Complete Variable-Length Codes: An Excursion into Word Edit Operations Jean Néraud EasyChair Preprint 2195
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)
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