DEL-based epistemic planning: decidability and complexity (Q2211863): Difference between revisions

@@ Property / describes a project that uses @@
+Hintikka's world
@@ Property / describes a project that uses: Hintikka's world / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MCMAS
@@ Property / describes a project that uses: MCMAS / 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.artint.2020.103304
+Normal rank
@@ Property / OpenAlex ID @@
+W3036945937
@@ Property / OpenAlex ID: W3036945937 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4994896
@@ Property / cites work: Q4994896 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic planning for single- and multi-agent systems
+Normal rank
@@ Property / cites work @@
+Uniform strategies, rational relations and jumping automata
+Normal rank
@@ Property / cites work @@
+Q4576175
@@ Property / cites work: Q4576175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5224569
@@ Property / cites work: Q5224569 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Understanding planning tasks. Domain complexity and heuristic decomposition
+Normal rank
@@ Property / cites work @@
+Q3376919
@@ Property / cites work: Q3376919 / rank @@
+Normal rank
@@ Property / cites work @@
+DEL Planning and Some Tractable Cases
@@ Property / cites work: DEL Planning and Some Tractable Cases / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with SAT oracles: past, present and future
+Normal rank
@@ Property / cites work @@
+A GENERAL NOTION OF UNIFORM STRATEGIES
@@ Property / cites work: A GENERAL NOTION OF UNIFORM STRATEGIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata Presenting Structures: A Survey of the Finite String Case
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+Q4708911
@@ Property / cites work: Q4708911 / rank @@
+Normal rank
@@ Property / cites work @@
+Merging frameworks for interaction
@@ Property / cites work: Merging frameworks for interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2818537
@@ Property / cites work: Q2818537 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150942
@@ Property / cites work: Q3150942 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2211863