conftrace_

action landmark

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

lp-based heuristics (1) linear temporal logic (1) admissible heuristic (1) numeric planning (1) plan selection (1)

Papers

Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction AAAI 2024 Landmarks for Numeric Planning Problems IJCAI 2017