LogiEx: Integrating Formal Logic and Large Language Model for Explainable Planning

Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Taylor T. Johnson, Jonathan Sprinkle, Ayan Mukhopadhyay, Meiyi Ma
January, 2025
Cite
Type
Conference paper
Publication
Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025)