AI RESEARCH
BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
arXiv CS.LG
•
ArXi:2604.27576v1 Announce Type: cross We present BAss (BDD-based ADF symbolic solver), a novel analysis tool for Abstract Dialectical Frameworks (ADFs) based on Binary Decision Diagrams (BDDs). It s the fully symbolic computation of all admissible, complete, and preferred interpretations, as well as two-valued and stable models of an ADFs. Our approach is inspired by the recently discovered equivalence between Boolean Networks (BNs) and ADFs by Heyninck and Azpeitia, significantly extending current BDD-based tools bioLQM, AEON, and adf-bdd.