DEL Planning and Some Tractable Cases (Q3094006): Difference between revisions

@@ Property / author @@
-Benedikt Loewe
@@ Property / author: Benedikt Loewe / rank @@
-Normal rank
@@ Property / author @@
+Benedikt Loewe
@@ Property / author: Benedikt Loewe / 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-642-24130-7_13
+Normal rank
@@ Property / OpenAlex ID @@
+W2290731519
@@ Property / OpenAlex ID: W2290731519 / rank @@
+Normal rank
@@ Property / cites work @@
+What will they say? -- Public announcement games
@@ Property / cites work: What will they say? -- Public announcement games / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency Preservation and Crazy Formulas in BMS
+Normal rank
@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+Q4648827
@@ Property / cites work: Q4648827 / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic planning for single- and multi-agent systems
+Normal rank
@@ Property / cites work @@
+Q4551136
@@ Property / cites work: Q4551136 / rank @@
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Communication strategies in games
@@ Property / cites work: Communication strategies in games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5313998
@@ Property / cites work: Q5313998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2717791
@@ Property / cites work: Q2717791 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3629246
@@ Property / cites work: Q3629246 / rank @@
+Normal rank
@@ Property / cites work @@
+Narrative Planning: Balancing Plot and Character
@@ Property / cites work: Narrative Planning: Balancing Plot and Character / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic logic of preference upgrade
@@ Property / cites work: Dynamic logic of preference upgrade / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of communication and change
@@ Property / cites work: Logics of communication and change / rank @@
+Normal rank
@@ Property / cites work @@
+From Situation Calculus to Dynamic Epistemic Logic
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank