conftrace_

sound complete abstraction

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

automated planning (2) syntactic approach (1) baggable type (1) bounded qualitative numeric planning (1) golog program (1) refinement mapping (1) sound and complete (1) situation calculus (1) qualitative numeric planning (1) generalized planning (1)

Papers

An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types AAAI 2025 A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus AAAI 2025