Belief revision within fragments of propositional logic (Q386044): Difference between revisions

@@ 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.jcss.2013.08.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2122085722
@@ Property / OpenAlex ID: W2122085722 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Propositional knowledge base revision and minimal change
+Normal rank
@@ Property / cites work @@
+Q4236365
@@ Property / cites work: Q4236365 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of propositional knowledge base revision, updates, and counterfactuals
+Normal rank
@@ Property / cites work @@
+Belief revision and update: Complexity of model checking
+Normal rank
@@ Property / cites work @@
+Prime implicates and relevant belief revision
@@ Property / cites work: Prime implicates and relevant belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Information Fusion and Revision in Qualitative and Quantitative Settings
+Normal rank
@@ Property / cites work @@
+On sentences which are true of direct unions of algebras
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of nested counterfactuals and iterated knowledge base revisions
+Normal rank
@@ Property / cites work @@
+Compilability and compact representations of revision of Horn knowledge bases
+Normal rank
@@ Property / cites work @@
+\(P^{NP[O(\log n)]}\) and sparse turing-complete sets for NP
+Normal rank
@@ Property / cites work @@
+Constraints, consistency and closure
@@ Property / cites work: Constraints, consistency and closure / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge compilation and theory approximation
@@ Property / cites work: Knowledge compilation and theory approximation / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical and computational aspects of Horn approximations
+Normal rank
@@ Property / cites work @@
+First order LUB approximations: characterization and algorithms
+Normal rank
@@ Property / cites work @@
+Q3006474
@@ Property / cites work: Q3006474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386975
@@ Property / cites work: Q4386975 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3184604
@@ Property / cites work: Q3184604 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518818
@@ Property / cites work: Q4518818 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic updates of non-monotonic knowledge bases
@@ Property / cites work: Dynamic updates of non-monotonic knowledge bases / rank @@
+Normal rank
@@ Property / cites work @@
+Q4797777
@@ Property / cites work: Q4797777 / rank @@
+Normal rank
@@ Property / cites work @@
+On properties of update sequences  based on causal rejection
+Normal rank
@@ Property / cites work @@
+An abductive framework for computing knowledge base updates
+Normal rank
@@ Property / cites work @@
+A Preference-Based Framework for Updating Logic Programs
+Normal rank
@@ Property / cites work @@
+A Model-Theoretic Approach to Belief Change in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Answer sets for consistent query answering in inconsistent databases
+Normal rank