Hybrid planning for challenging construction problems: an answer set programming approach (Q6161492): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2023.103902
@@ Property / DOI: 10.1016/j.artint.2023.103902 / rank @@
-Normal rank
@@ Property / cites work @@
+Pushing blocks is hard.
@@ Property / cites work: Pushing blocks is hard. / rank @@
+Normal rank
@@ Property / cites work @@
+A model building framework for answer set programming with external computations
+Normal rank
@@ Property / cites work @@
+Efficient HEX-Program Evaluation Based on Unfounded Sets
+Normal rank
@@ Property / cites work @@
+Q4955332
@@ Property / cites work: Q4955332 / rank @@
+Normal rank
@@ Property / cites work @@
+Tight logic programs
@@ Property / cites work: Tight logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5426204
@@ Property / cites work: Q5426204 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and complexity of recursive aggregates in answer set programming
+Normal rank
@@ Property / cites work @@
+Monadic generalized spectra
@@ Property / cites work: Monadic generalized spectra / rank @@
+Normal rank
@@ Property / cites work @@
+KABouM: Knowledge-Level Action and Bounding Geometry Motion Planner
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners
+Normal rank
@@ Property / cites work @@
+Nonmonotonic causal theories
@@ Property / cites work: Nonmonotonic causal theories / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of blocks-world planning
@@ Property / cites work: On the complexity of blocks-world planning / rank @@
+Normal rank
@@ Property / cites work @@
+Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning
+Normal rank
@@ Property / cites work @@
+Planning Algorithms
@@ Property / cites work: Planning Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Limit analysis of structures formed from rigid blocks
+Normal rank
@@ Property / cites work @@
+A computational model for the limit analysis of three-dimensional masonry structures
+Normal rank
@@ Property / cites work @@
+Stability Characterizations of Rigid Body Contact Problems with Coulomb Friction
+Normal rank
@@ Property / cites work @@
+Maximum Overhang
@@ Property / cites work: Maximum Overhang / rank @@
+Normal rank
@@ Property / cites work @@
+Overhang
@@ Property / cites work: Overhang / rank @@
+Normal rank
@@ Property / cites work @@
+Overhang
@@ Property / cites work: Overhang / rank @@
+Normal rank
@@ Property / cites work @@
+Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
+Normal rank
@@ Property / cites work @@
+Planning Among Movable Obstacles with Artificial Constraints
+Normal rank
@@ Property / cites work @@
+In defense of PDDL axioms
@@ Property / cites work: In defense of PDDL axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Prolegomena to a theory of mechanized formal reasoning
+Normal rank
@@ Property / cites work @@
+Q4828938
@@ Property / cites work: Q4828938 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2023.103902
@@ Property / DOI: 10.1016/J.ARTINT.2023.103902 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6161492