Q5015399 (Q5015399): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07528
@@ Property / arXiv ID: 1606.07528 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2973439
@@ Property / cites work: Q2973439 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional Epistemic Planning
@@ Property / cites work: Conditional Epistemic Planning / rank @@
+Normal rank
@@ Property / cites work @@
+DEL-sequents for regression and epistemic planning
+Normal rank
@@ Property / cites work @@
+Logics for epistemic programs
@@ Property / cites work: Logics for epistemic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic planning for single- and multi-agent systems
+Normal rank
@@ Property / cites work @@
+Conformant plans and beyond: principles and complexity
+Normal rank
@@ Property / cites work @@
+Belief Tracking for Planning with Sensing: Width, Complexity and Approximations
+Normal rank
@@ Property / cites work @@
+Conformant planning via heuristic forward search: A new approach
+Normal rank
@@ Property / cites work @@
+Q3624010
@@ Property / cites work: Q3624010 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4527271
@@ Property / cites work: Q4527271 / rank @@
+Normal rank
@@ Property / cites work @@
+Conformant planning via symbolic model checking and heuristic search
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge-based programs
@@ Property / cites work: Knowledge-based programs / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the space complexity of some decision problems for finite automata
+Normal rank
@@ Property / cites work @@
+Q3455569
@@ Property / cites work: Q3455569 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking propositional dynamic logic with all extras
+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 @@
+Q3680260
@@ Property / cites work: Q3680260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5311048
@@ Property / cites work: Q5311048 / rank @@
+Normal rank
@@ Property / cites work @@
+On axiomatizations of public announcement logic
@@ Property / cites work: On axiomatizations of public announcement logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5419900
@@ Property / cites work: Q5419900 / rank @@
+Normal rank