Implementing crash-resistance and non-interference in logic-based argumentation

Yining Wu, Mikolaj Podlaszewski. Implementing crash-resistance and non-interference in logic-based argumentation. Journal of Logic and Computation, 25(2):303-333, 2015. [doi]

Abstract

Abstract is missing.