Ryuta Arisaka. Discussion Graph Semantics of First-Order Logic with Equality for Reasoning About Discussion and Argumentation. In Catalin Dima, Angelo Ferrando 0001, Vadim Malvone, editors, PRIMA 2025: Principles and Practice of Multi-Agent Systems - 26th International Conference, Modena, Italy, December 16-19, 2025, Proceedings. Volume 16366 of Lecture Notes in Computer Science, pages 374-391, Springer, 2025. [doi]
Abstract is missing.