An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic

8 December 2023

Antoine Martina

Alexander Steen

ArXiv (abs)PDF HTML

Papers citing "An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic"

Title
No papers