Towards Machine-Readable Traffic Laws: Formalizing Traffic Rules into PROLOG Using LLMs.

May Myo Zin, Georg Borges, Ken Satoh, Wachara Fungwacharakorn

Browse the full ICAIL paper archive.