Crossmark

A Comparison of Text Representation Techniques and Encoder-Decoder Implementations in a Deep Neural Network for Converting Natural Language into Formal Logic Formulas

Crossref DOI link: https://doi.org/10.1007/978-3-031-64881-6_14

Published Online: 2024-07-08

Published Print: 2024

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Tissink, Kade Devan https://orcid.org/0000-0002-9739-9526
du Plessis, Mathys Cornelius https://orcid.org/0000-0002-9187-3960
License Information

Text and Data Mining valid from 2024-01-01

Version of Record valid from 2024-01-01
More Information

Chapter History

First Online: 8 July 2024

Conference Information

Conference Acronym: SAICSIT

Conference Name: Annual Conference of South African Institute of Computer Scientists and Information Technologists

Conference City: Gqeberha

Conference Country: South Africa

Conference Year: 2024

Conference Start Date: 15 July 2024

Conference End Date: 17 July 2024

Conference Number: 45

Conference ID: saicsit2024

Conference URL: https://saicsit2024.mandela.ac.za/

Document is current

Any future updates will be listed below