Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction.
|
AAAI |
2024 |
0 |
Large Language Models as Planning Domain Generators (Student Abstract).
|
AAAI |
2024 |
0 |
Generalized Planning in PDDL Domains with Pretrained Large Language Models.
|
AAAI |
2024 |
0 |
Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract).
|
AAAI |
2024 |
0 |
Some Orders Are Important: Partially Preserving Orders in Top-Quality Planning.
|
SOCS |
2024 |
0 |
Unifying and Certifying Top-Quality Planning.
|
ICAPS |
2024 |
0 |
Large Language Models as Planning Domain Generators.
|
ICAPS |
2024 |
0 |
On K* Search for Top-K Planning.
|
SOCS |
2023 |
0 |
K∗ and Partial Order Reduction for Top-Quality Planning.
|
SOCS |
2023 |
0 |
Generating SAS+ Planning Tasks of Specified Causal Structure.
|
SOCS |
2023 |
0 |
On Partial Satisfaction Planning with Total-Order HTNs.
|
ICAPS |
2023 |
0 |
K∗ Search over Orbit Space for Top-k Planning.
|
IJCAI |
2023 |
0 |
Action Space Reduction for Planning Domains.
|
IJCAI |
2023 |
0 |
PARIS: Planning Algorithms for Reconfiguring Independent Sets.
|
ECAI |
2023 |
0 |
A* Search and Bound-Sensitive Heuristics for Oversubscription Planning.
|
AAAI |
2022 |
3 |
A Conflict-Driven Interface Between Symbolic Planning and Nonlinear Constraint Solving.
|
IEEE Robotics and Automation Letters |
2022 |
2 |
On Producing Shortest Cost-Optimal Plans.
|
SOCS |
2022 |
0 |
How to Reduce Action Space for Planning Domains? (Student Abstract).
|
AAAI |
2022 |
0 |
Conflict-Directed Diverse Planning for Logic-Geometric Programming.
|
ICAPS |
2022 |
3 |
Bounding Quality in Diverse Planning.
|
AAAI |
2022 |
2 |
Who Needs These Operators Anyway: Top Quality Planning with Operator Subset Criteria.
|
ICAPS |
2022 |
2 |
Reinforcement Learning for Classical Planning: Viewing Heuristics as Dense Reward Generators.
|
ICAPS |
2022 |
0 |
IBM Scenario Planning Advisor: A Neuro-Symbolic ERM Solution.
|
AAAI |
2021 |
3 |
Custom-Design of FDR Encodings: The Case of Red-Black Planning.
|
IJCAI |
2021 |
0 |
The Fewer the Merrier: Pruning Preferred Operators with Novelty.
|
IJCAI |
2021 |
1 |
Symbolic Search for Oversubscription Planning.
|
AAAI |
2021 |
2 |
Efficient Black-Box Planning Using Macro-Actions with Focused Effects.
|
IJCAI |
2021 |
0 |
Reshaping Diverse Planning.
|
AAAI |
2020 |
23 |
Exploring Context-Free Languages via Planning: The Case for Automating Machine Learning.
|
ICAPS |
2020 |
12 |
Causal Knowledge Extraction through Large-Scale Text Mining.
|
AAAI |
2020 |
6 |
Top-Quality Planning: Finding Practically Useful Sets of Best Plans.
|
AAAI |
2020 |
23 |
Online Planner Selection with Graph Neural Networks and Adaptive Scheduling.
|
AAAI |
2020 |
0 |
Answering Binary Causal Questions Through Large-Scale Text Mining: An Evaluation Using Cause-Effect Pairs from Human Experts.
|
IJCAI |
2019 |
30 |
Oversubscription Planning as Classical Planning with Multiple Cost Functions.
|
ICAPS |
2019 |
9 |
Red-Black Heuristics for Planning Tasks with Conditional Effects.
|
AAAI |
2019 |
2 |
Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks.
|
ICAPS |
2019 |
17 |
Deep Learning for Cost-Optimal Planning: Task-Dependent Planner Selection.
|
AAAI |
2019 |
35 |
A Novel Iterative Approach to Top-k Planning.
|
ICAPS |
2018 |
47 |
Symmetry-Based Task Reduction for Relaxed Reachability Analysis.
|
ICAPS |
2018 |
16 |
An AI Planning Solution to Scenario Generation for Enterprise Risk Management.
|
AAAI |
2018 |
30 |
Semi-Black Box: Rapid Development of Planning Based Solutions.
|
AAAI |
2018 |
1 |
IBM Scenario Planning Advisor: Plan Recognition as AI Planning in Practice.
|
IJCAI |
2018 |
17 |
Adapting Novelty to Classical Planning as Heuristic Search.
|
ICAPS |
2017 |
26 |
Strengthening Canonical Pattern Databases with Structural Symmetries.
|
SOCS |
2017 |
5 |
Stubborn Sets for Fully Observable Nondeterministic Planning.
|
ICAPS |
2017 |
7 |
Structural Symmetries for Fully Observable Nondeterministic Planning.
|
IJCAI |
2016 |
8 |
In Search of Tractability for Partial Satisfaction Planning.
|
IJCAI |
2016 |
6 |
Red-black planning: A new systematic approach to partial delete relaxation.
|
Artificial Intelligence |
2015 |
82 |
Heuristics and Symmetries in Classical Planning.
|
AAAI |
2015 |
50 |
Factored Symmetries for Merge-and-Shrink Abstractions.
|
AAAI |
2015 |
25 |
Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning.
|
IJCAI |
2015 |
16 |
Red-Black Relaxed Plan Heuristics Reloaded.
|
SOCS |
2013 |
18 |
Who Said We Need to Relax All Variables?
|
ICAPS |
2013 |
36 |
Symmetry Breaking: Satisficing Planning and Landmark Heuristics.
|
ICAPS |
2013 |
26 |
Red-Black Relaxed Plan Heuristics.
|
AAAI |
2013 |
28 |
Structural Patterns Beyond Forks: Extending the Complexity Boundaries of Classical Planning.
|
AAAI |
2012 |
20 |
Enhanced Symmetry Breaking in Cost-Optimal Planning as Forward Search.
|
ICAPS |
2012 |
61 |
How to Relax a Bisimulation?
|
ICAPS |
2012 |
16 |
Landmark-enhanced abstraction heuristics.
|
Artificial Intelligence |
2012 |
14 |
When Optimal Is Just Not Good Enough: Learning Fast Informative Action Cost Partitionings.
|
ICAPS |
2011 |
10 |
When Abstractions Met Landmarks.
|
ICAPS |
2010 |
18 |
Implicit Abstraction Heuristics.
|
JAIR |
2010 |
0 |
Optimal admissible composition of abstraction heuristics.
|
Artificial Intelligence |
2010 |
71 |
Structural-Pattern Databases.
|
ICAPS |
2009 |
16 |
Structural Patterns Heuristics via Fork Decomposition.
|
ICAPS |
2008 |
58 |
New Islands of Tractability of Cost-Optimal Planning.
|
JAIR |
2008 |
1 |
Optimal Additive Composition of Abstraction-based Admissible Heuristics.
|
ICAPS |
2008 |
71 |
Structural Patterns of Tractable Sequentially-Optimal Planning.
|
ICAPS |
2007 |
20 |