Reactive Policies with Planning for Action Languages (Q2835891): Difference between revisions

@@ Property / cites work @@
+Verification of Golog Programs over Description Logic Actions
+Normal rank
@@ Property / cites work @@
+Strong planning under partial observability
@@ Property / cites work: Strong planning under partial observability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5422266
@@ Property / cites work: Q5422266 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic programming approach to knowledge-state planning
+Normal rank
@@ Property / cites work @@
+Q4460684
@@ Property / cites work: Q4460684 / rank @@
+Normal rank
@@ Property / cites work @@
+From logic programming towards multi-agent systems
+Normal rank
@@ Property / cites work @@
+Q3455569
@@ Property / cites work: Q3455569 / rank @@
+Normal rank
@@ Property / cites work @@
+GOLOG: A logic programming language for dynamic domains
+Normal rank
@@ Property / cites work @@
+Q4028821
@@ Property / cites work: Q4028821 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing sensing actions -- a transition function based approach
+Normal rank
@@ Property / cites work @@
+Q4708911
@@ Property / cites work: Q4708911 / rank @@
+Normal rank