Follow
An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic. (arXiv:2312.08375v1 [cs.LO]) http://arxiv.org/abs/2312.08375
An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic. (arXiv:2312.08375v1 [cs.LO]) http://arxiv.org/abs/2312.08375