ALM
From MaRDI portal
Software:41150
No author found.
Related Items (7)
Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions ⋮ <scp>Core</scp>ALM<scp>lib</scp>: An library translated from the <scp>Component Library</scp> ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Recursive definitions of tabular transformations ⋮ REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics
This page was built for software: ALM
