conftrace_

goal entailment

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

plan-space explanation (1) plan-property dependency (1) plan explanation (1) automated reasoning (1) oversubscription planning (1) automated planning (1)

Papers

A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning AAAI 2020