ALM

swMATH29436MaRDI QIDQ41150FDOQ41150

Author name not available (Why is that?)

Described by source

• Modular action language

Cited In (7)

• Recursive definitions of tabular transformations
• Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics
• <scp>Core</scp>ALM<scp>lib</scp>: An library translated from the <scp>Component Library</scp>

This page was built for software: ALM