Implementing semantic merging operators using binary decision diagrams (Q2379333): Difference between revisions

@@ Property / describes a project that uses @@
+BuDDy
@@ Property / describes a project that uses: BuDDy / 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.1016/j.ijar.2008.03.008
+Normal rank
@@ Property / OpenAlex ID @@
+W1972791848
@@ Property / OpenAlex ID: W1972791848 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475626
@@ Property / cites work: Q4475626 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Some computational aspects of DISTANCE SAT
@@ Property / cites work: Some computational aspects of DISTANCE SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329351
@@ Property / cites work: Q4329351 / rank @@
+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 complexity of propositional knowledge base revision, updates, and counterfactuals
+Normal rank
@@ Property / cites work @@
+Disjunctive merging: quota and Gmin merging operators
+Normal rank
@@ Property / cites work @@
+Easy problems are sometimes hard
@@ Property / cites work: Easy problems are sometimes hard / rank @@
+Normal rank
@@ Property / cites work @@
+Implementation of belief change operators using BDDs
+Normal rank
@@ Property / cites work @@
+Ordered binary decision diagrams and the Shannon effect
+Normal rank
@@ Property / cites work @@
+Two modellings for theory change
@@ Property / cites work: Two modellings for theory change / rank @@
+Normal rank
@@ Property / cites work @@
+Error Detecting and Error Correcting Codes
@@ Property / cites work: Error Detecting and Error Correcting Codes / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with ordered binary decision diagrams
@@ Property / cites work: Reasoning with ordered binary decision diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic Propositional Belief Bases Fusion with Removed Sets
+Normal rank
@@ Property / cites work @@
+\(\text{DA}^2\) merging operators
@@ Property / cites work: \(\text{DA}^2\) merging operators / rank @@
+Normal rank
@@ Property / cites work @@
+Merging Information Under Constraints: A Logical Framework
+Normal rank
@@ Property / cites work @@
+Q4012209
@@ Property / cites work: Q4012209 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Semantics of Arbitration
@@ Property / cites work: On the Semantics of Arbitration / rank @@
+Normal rank
@@ Property / cites work @@
+Generating hard satisfiability problems
@@ Property / cites work: Generating hard satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4787415
@@ Property / cites work: Q4787415 / rank @@
+Normal rank