Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
The Collaborative Planning Model (CPM) supports human planners in managing planning information and facilitating automated reasoning. It aims to make plans 'alive' by digitizing planning concepts to facilitate their dynamic use, modification, dissemination, and reuse. © 2001-2011 IEEE.
Barry K. Rosen
SWAT 1972
Vladimir Yanovski, Israel A. Wagner, et al.
Ann. Math. Artif. Intell.
Ismail Akhalwaya, Shashanka Ubaru, et al.
ICLR 2024
Michael Muller, Anna Kantosalo, et al.
CHI 2024