Ofer Arieli, Christian Straßer. Dynamic Derivations for Sequent-Based Logical Argumentation. In Simon Parsons, Nir Oren, Chris Reed, Federico Cerutti, editors, Computational Models of Argument - Proceedings of COMMA 2014, Atholl Palace Hotel, Scottish Highlands, UK, September 9-12, 2014. Volume 266 of Frontiers in Artificial Intelligence and Applications, pages 89-100, IOS Press, 2014. [doi]
Abstract is missing.