ALM

swMATH29436MaRDI QIDQ41150FDOQ41150

Author name not available (Why is that?)

Official website: https://arxiv.org/abs/1505.05022

Described by source

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

Cited In (13)

• Recursive definitions of tabular transformations
• xclingo
• 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
• CCalc
• BWIBots
• PEORL
• REBA
• VerbNet
• 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