Davide Soldà , Thomas Eiter. B: A Language for Well-Founded Deontic Planning. In Giovanni Casini, Besik Dundua, Temur Kutsia, editors, Logics in Artificial Intelligence - 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part I. Volume 16093 of Lecture Notes in Computer Science, pages 187-204, Springer, 2025. [doi]
Abstract is missing.