Sep, 2024

将论证框架的扩展可视化为分层图

TL;DR本研究针对论证框架(AFs)的可视化问题,提出了一种新颖的三层图布局技术,以帮助用户更轻松地探索可视化的AF,理解扩展以及验证计算语义的算法。研究表明,该方法在优化视觉清晰度和美学的同时,通过精确的ILP方法和快速启发式流程,能有效处理较大实例,减少边缘交叉现象。