Representing abstract dialectical frameworks with binary decision diagrams (Q2694565): Difference between revisions

@@ Property / cites work @@
+Q4585837
@@ Property / cites work: Q4585837 / rank @@
+Normal rank
@@ Property / cites work @@
+AEON: attractor bifurcation analysis of parametrised Boolean networks
+Normal rank
@@ Property / cites work @@
+Improving the variable ordering of OBDDs is NP-complete
+Normal rank
@@ Property / cites work @@
+Solving Advanced Argumentation Problems with Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Q4411139
@@ Property / cites work: Q4411139 / rank @@
+Normal rank
@@ Property / cites work @@
+On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
+Normal rank
@@ Property / cites work @@
+On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics
+Normal rank
@@ Property / cites work @@
+Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond
+Normal rank
@@ Property / cites work @@
+Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory
+Normal rank