conftrace_

negative precondition

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

domain repair (1) automated modeling (1) plan validation (1) planning domain (1) lifted representation (1) automated planning (1)

Papers

Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains AAAI 2023