A Multi-Step Approach in Translating Natural Language into Logical Formula.

Ha-Thanh Nguyen, Wachara Fungwacharakorn, Fumihito Nishino, Ken Satoh

Browse the full JURIX paper archive.