conftrace_

abstraction framework

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

situation calculus (2) action theory (1) trajectory constraint (1) sound abstraction (1) abstract reasoning (1) manipulation planning (1) robust motion (1) planar manipulation (1) program abstraction (1) actual cause (1)

Papers

From Actions to Programs as Abstract Actual Causes AAAI 2022 A Uniform Abstraction Framework for Generalized Planning IJCAI 2021 Abstractions and Algorithms for Cooperative Multiple Robot Planar Manipulation RSS 2008