Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
K∗ and partial order reduction for top-quality planning
Partial order reduction techniques are successfully used for various settings in planning,
such as classical planning with A* search or with decoupled search, fully-observable non …
such as classical planning with A* search or with decoupled search, fully-observable non …
An atom-centric perspective on stubborn sets
Stubborn sets are an optimality-preserving pruning technique for factored state-space
search, for example in classical planning. Their applicability is limited by their computational …
search, for example in classical planning. Their applicability is limited by their computational …
Beyond Stars–Generalized Topologies for Decoupled Search
Decoupled search decomposes a classical planning task by partitioning its variables such
that the dependencies between the resulting factors form a star topology. In this topology, a …
that the dependencies between the resulting factors form a star topology. In this topology, a …
Star-topology decoupled state-space search in AI planning and model checking
D Gnad - 2021 - publikationen.sulb.uni-saarland.de
State-space search is a widely employed concept in many areas of computer science. The
well-known state explosion problem, however, imposes a severe limitation to the effective …
well-known state explosion problem, however, imposes a severe limitation to the effective …
On weak stubborn sets in classical planning
Stubborn sets are a pruning technique for state-space search which is well established in
optimal classical planning. In this paper, we show that weak stubborn sets introduced in …
optimal classical planning. In this paper, we show that weak stubborn sets introduced in …
Model Checking -Regular Properties with Decoupled Search
Decoupled search is a state space search method originally introduced in AI Planning.
Similar to partial-order reduction methods, decoupled search exploits the independence of …
Similar to partial-order reduction methods, decoupled search exploits the independence of …
Revisiting Dominance Pruning in Decoupled Search
D Gnad - Proceedings of the AAAI Conference on Artificial …, 2021 - ojs.aaai.org
In classical planning as search, duplicate state pruning is a standard method to avoid
unnecessarily handling the same state multiple times. In decoupled search, similar to …
unnecessarily handling the same state multiple times. In decoupled search, similar to …
[CITAT][C] Improving plan flexibility by reasoning about action orderings and instantiations
MV WATERS - 2021 - RMIT University