BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
arXiv:2604.27576v1 Announce Type: cross
Abstract: We present BAss (BDD-based ADF symbolic solver), a novel analysis tool for Abstract Dialectical Frameworks (ADFs) based on Binary Decision Diagrams (BDDs). It supports the fully symbolic computation of…