Pakota: A System for Enforcement in Abstract Argumentation (Q2835885): Difference between revisions

@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+maxino
@@ Property / describes a project that uses: maxino / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-48758-8_25
+Normal rank
@@ Property / OpenAlex ID @@
+W2539750312
@@ Property / OpenAlex ID: W2539750312 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3457206
@@ Property / cites work: Q3457206 / rank @@
+Normal rank
@@ Property / cites work @@
+Normal and strong expansion equivalence for argumentation frameworks
+Normal rank
@@ Property / cites work @@
+Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+A Translation-Based Approach for Revision of Argumentation Frameworks
+Normal rank
@@ Property / cites work @@
+Exploiting the Power of mip Solvers in maxsat
@@ Property / cites work: Exploiting the Power of mip Solvers in maxsat / 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 @@
+Complexity-sensitive decision procedures for abstract argumentation
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3100233
@@ Property / cites work: Q3100233 / rank @@
+Normal rank
@@ Property / cites work @@
+Open-WBO: A Modular MaxSAT Solver,
@@ Property / cites work: Open-WBO: A Modular MaxSAT Solver, / rank @@
+Normal rank
@@ Property / cites work @@
+Pakota: A System for Enforcement in Abstract Argumentation
+Normal rank
@@ Property / cites work @@
+Algorithms for decision problems in argument systems under preferred semantics
+Normal rank
@@ Property / cites work @@
+Looking-ahead in backtracking algorithms for abstract argumentation
+Normal rank
@@ Property / cites work @@
+LMHS: A SAT-IP Hybrid MaxSAT Solver
@@ Property / cites work: LMHS: A SAT-IP Hybrid MaxSAT Solver / rank @@
+Normal rank