Picture for Antoine Martina

Antoine Martina

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic

Add code
Dec 08, 2023
Viaarxiv icon