Iterative Oversubscription Planning with Goal-Conflict Explanations: Scaling Up Through Policy-Guidance Approximation.
|
ECAI |
2024 |
0 |
Towards Feasible Higher-Dimensional Potential Heuristics.
|
ICAPS |
2024 |
0 |
New Fuzzing Biases for Action Policy Testing.
|
ICAPS |
2024 |
0 |
Boosting optimal symbolic planning: Operator-potential heuristics.
|
Artificial Intelligence |
2024 |
0 |
Operator Pruning Using Lifted Mutex Groups via Compilation on Lifted Level.
|
ICAPS |
2023 |
0 |
A Landmark-Cut Heuristic for Lifted Optimal Planning.
|
ECAI |
2023 |
0 |
Gaifman Graphs in Lifted Planning.
|
ECAI |
2023 |
0 |
Operator-Potential Heuristics for Symbolic Search.
|
AAAI |
2022 |
3 |
Debugging a Policy: Automatic Action-Policy Testing in AI Planning.
|
ICAPS |
2022 |
0 |
Homomorphisms of Lifted Planning Tasks: The Case for Delete-Free Relaxation Heuristics.
|
AAAI |
2022 |
0 |
Operator-Potentials in Symbolic Search: From Forward to Bi-directional Search.
|
ICAPS |
2022 |
0 |
Beyond Stars - Generalized Topologies for Decoupled Search.
|
ICAPS |
2022 |
0 |
Endomorphisms of Classical Planning Tasks.
|
AAAI |
2021 |
2 |
Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning.
|
IJCAI |
2021 |
8 |
Custom-Design of FDR Encodings: The Case of Red-Black Planning.
|
IJCAI |
2021 |
0 |
Endomorphisms of Lifted Planning Problems.
|
ICAPS |
2021 |
3 |
On the Reversibility of Actions in Planning.
|
KR |
2020 |
6 |
Lifted Fact-Alternating Mutex Groups and Pruned Grounding of Classical Planning Problems.
|
AAAI |
2020 |
14 |
Strengthening Potential Heuristics with Mutexes and Disambiguations.
|
ICAPS |
2020 |
7 |
Operator Mutexes and Symmetries for Simplifying Planning Tasks.
|
AAAI |
2019 |
12 |
Privacy Leakage of Search-Based Multi-Agent Planning Algorithms.
|
ICAPS |
2019 |
6 |
Fact-Alternating Mutex Groups for Classical Planning (Extended Abstract).
|
IJCAI |
2018 |
0 |
Fact-Alternating Mutex Groups for Classical Planning.
|
JAIR |
2018 |
9 |
Potential Heuristics for Multi-Agent Planning.
|
ICAPS |
2016 |
12 |
Admissible Landmark Heuristic for Multi-Agent Planning.
|
ICAPS |
2015 |
20 |