Antoine Martina
Identifiers
No identifiers captured yet.
Papers (1)
- An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic cs.LO · 2023 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Alexander Steen 1 shared papers