Modular Action Language ALM.

Daniela Inclezan Michael Gelfond

Published in: CoRR (2015)

Keyphrases

action language
description language
reasoning about actions
action descriptions
concurrent actions
answer set programming
action theories
situation calculus
learning algorithm
machine learning
artificial intelligence
orders of magnitude
software architecture