Follow

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

· · feed2toot · 0 · 0 · 1
Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.