Actions, Belief Update, and DDL (Q4982659): 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.1007/978-94-007-7046-1_11
+Normal rank
@@ Property / OpenAlex ID @@
+W2205501982
@@ Property / OpenAlex ID: W2205501982 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Knowledge updates: Semantics and complexity issues
+Normal rank
@@ Property / cites work @@
+A unified model of qualitative belief change: a dynamical systems perspective
+Normal rank
@@ Property / cites work @@
+How to Do Things with Worlds: on Formalizing Actions and Plans
+Normal rank
@@ Property / cites work @@
+Deriving properties of belief update from theories of action
+Normal rank
@@ Property / cites work @@
+Belief extrapolation (or how to reason about observations and unpredicted change)
+Normal rank
@@ Property / cites work @@
+Q4242055
@@ Property / cites work: Q4242055 / rank @@
+Normal rank
@@ Property / cites work @@
+Belief revision: A critique
@@ Property / cites work: Belief revision: A critique / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028799
@@ Property / cites work: Q4028799 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional Update Operators Based on Formula/Literal Dependence
+Normal rank
@@ Property / cites work @@
+Propositional belief base update and minimal change
+Normal rank
@@ Property / cites work @@
+Q4028812
@@ Property / cites work: Q4028812 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional knowledge base revision and minimal change
+Normal rank
@@ Property / cites work @@
+Dynamic doxastic logic: why, how, and where to?
@@ Property / cites work: Dynamic doxastic logic: why, how, and where to? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536337
@@ Property / cites work: Q4536337 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4260397
@@ Property / cites work: Q4260397 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4839154
@@ Property / cites work: Q4839154 / rank @@
+Normal rank
@@ Property / cites work @@
+Bringing it about
@@ Property / cites work: Bringing it about / rank @@
+Normal rank
@@ Property / cites work @@
+Irrevocable belief revision in dynamic doxastic logic
+Normal rank
@@ Property / cites work @@
+Q4546696
@@ Property / cites work: Q4546696 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995235
@@ Property / cites work: Q3995235 / rank @@
+Normal rank