共 50 条
- [1] Using the Relaxed Plan Heuristic to Select Goals in Oversubscription Planning Problems [J]. ADVANCES IN ARTIFICIAL INTELLIGENCE, 2011, 7023 : 183 - 192
- [2] Planning as satisfiability with relaxed ∃-step plans [J]. AI 2007: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4830 : 244 - +
- [3] Relaxed ∃-Step Plans in Planning as SMT [J]. PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 563 - 570
- [4] Landmarks in Oversubscription Planning [J]. 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), 2014, 263 : 633 - 638
- [5] Oversubscription Planning: Complexity and Compilability [J]. PROCEEDINGS OF THE TWENTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2014, : 2221 - 2227
- [6] Symbolic Search for Oversubscription Planning [J]. THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 11972 - 11980
- [7] Value Driven Landmarks for Oversubscription Planning [J]. TWENTY-EIGHTH INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING (ICAPS 2018), 2018, : 171 - 179
- [8] Using Partial Satisfaction Planning to Automatically Select NPCs' Goals and Generate Plans In a Simulation Game [J]. 2014 IEEE CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND GAMES (CIG), 2014,
- [9] Frontier Search and Plan Reconstruction in Oversubscription Planning [J]. THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, : 9999 - 10000