Enter a brief description of your changes
(Required)
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
NL2UNIFOL: From Natural Language Sentences to Uniform First-Order Logic Formulae
Ha Thanh Nguyen • Francesca Toni • Kostas Stathis • Ken Satoh • Randy Goebel • Francesco Chiariello • Yves Lespérance • Matteo Magnini • Federico Sabbatini • Elena Umili • Nourhan Ehab • Mervat Abu-Elkheir
where & when
— publication date
2026
— volume
Proceedings of the Joint Workshop on Statistics and Knowledge Integration for Logic, Learning, Ethical Decisions, and LLMs (SKILLED-LLMs 2026) co-located with the Federated Logic Conference 2026 (FLoC 2026), Lisbon, Portugal, July 18, 2026
