TY - RPRT TI - Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation AU - Ryuta Arisaka PY - 2025 UR - https://arxiv.org/abs/2406.12163 ID - 2406.12163 ER -