conftrace_

action theory

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

situation calculus (2) first-order progression (1) abstraction framework (1) trajectory constraint (1) sound abstraction (1) generalized planning (1) first-order logic (1) knowledge base (1) formal methods (1)

Papers

On Action Theories with Iterable First-Order Progression AAAI 2025 A Uniform Abstraction Framework for Generalized Planning IJCAI 2021