conftrace_

bounded qualitative numeric planning

1 paper

Explore in graph

Also known as

BQNP

Co-occurring keywords · papers mentioning both

baggable type (1) sound complete abstraction (1) sound and complete (1) qualitative numeric planning (1) generalized planning (1) automated planning (1)

Papers

An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types AAAI 2025