Practical reasoning about knowledge states for open world planning with sensing (Q3647290): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Open World Reasoning for Planning
@@ Property / cites work: Efficient Open World Reasoning for Planning / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of planning and approximate planning in the presence of incompleteness
+Normal rank
@@ Property / cites work @@
+A logic programming approach to knowledge-state planning
+Normal rank
@@ Property / cites work @@
+Sound and efficient closed-world reasoning for planning
+Normal rank
@@ Property / cites work @@
+GOLOG: A logic programming language for dynamic domains
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge, action, and the frame problem
@@ Property / cites work: Knowledge, action, and the frame problem / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing sensing actions -- a transition function based approach
+Normal rank
@@ Property / cites work @@
+FLUX: A logic programming method for reasoning agents
+Normal rank
@@ Property / cites work @@
+Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
+Normal rank