Partielle Grounding-Strategie verbessert SAT-Planung linear
In der klassischen Planungsforschung werden Probleme üblicherweise mit hochrangigen, first‑order‑repräsentierten Modellen beschrieben. Diese kompakte Darstellung wird von den meisten Planern jedoch vollständig „grounded…