ALM

swMATH29436MaRDI QIDQ41150FDOQ41150

Author name not available (Why is that?)

Described by source

• Modular action language \(\mathcal{ALM}\)

Cited In (7)

• Recursive definitions of tabular transformations
• 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
• 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>

This page was built for software: ALM