Knowledge-based programs as building blocks for planning (Q2667817): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2021.103634
+Normal rank
@@ Property / OpenAlex ID @@
+W3217361836
@@ Property / OpenAlex ID: W3217361836 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge-based programs
@@ Property / cites work: Knowledge-based programs / rank @@
+Normal rank
@@ Property / cites work @@
+On knowledge-based programming with sensing in the situation calculus
+Normal rank
@@ Property / cites work @@
+Q3455569
@@ Property / cites work: Q3455569 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+Agent planning programs
@@ Property / cites work: Agent planning programs / rank @@
+Normal rank
@@ Property / cites work @@
+Applicability conditions for plans with loops: computability results and algorithms
+Normal rank
@@ Property / cites work @@
+Planning in a hierarchy of abstraction spaces
@@ Property / cites work: Planning in a hierarchy of abstraction spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic planning for single- and multi-agent systems
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / 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 @@
+GOLOG: A logic programming language for dynamic domains
+Normal rank
@@ Property / cites work @@
+Knowledge Preconditions for Plans
@@ Property / cites work: Knowledge Preconditions for Plans / rank @@
+Normal rank
@@ Property / cites work @@
+Ability and knowing how in the situation calculus
@@ Property / cites work: Ability and knowing how in the situation calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of deliberation in IndiGolog -- from theory to implementation
+Normal rank
@@ Property / cites work @@
+Q4934644
@@ Property / cites work: Q4934644 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+State Constraints Revisited
@@ Property / cites work: State Constraints Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of planning and approximate planning in the presence of incompleteness
+Normal rank