Extracting higher-order logic formulas from English sentences

Alexandre Rademaker, Guilherme Lima, Renato Cerqueira. Extracting higher-order logic formulas from English sentences. In Mourad Abbas, Abed Alhakim Freihat, editors, Proceedings of the 6th International Conference on Natural Language and Speech Processing (ICNLSP 2023), Virtual Event, 16-17 December 2023. pages 192-199, Association for Computational Linguistics, 2023. [doi]

@inproceedings{RademakerLC23,
  title = {Extracting higher-order logic formulas from English sentences},
  author = {Alexandre Rademaker and Guilherme Lima and Renato Cerqueira},
  year = {2023},
  url = {https://aclanthology.org/2023.icnlsp-1.19},
  researchr = {https://researchr.org/publication/RademakerLC23},
  cites = {0},
  citedby = {0},
  pages = {192-199},
  booktitle = {Proceedings of the 6th International Conference on Natural Language and Speech Processing (ICNLSP 2023), Virtual Event, 16-17 December 2023},
  editor = {Mourad Abbas and Abed Alhakim Freihat},
  publisher = {Association for Computational Linguistics},
  isbn = {979-8-89176-065-3},
}