: A Real-Time Action Description Language.

Luke Simon Ajay Mallya Gopal Gupta

Published in: LOPSTR (2005)

Keyphrases

description language
real time
action language
concurrent actions
web services
software architecture
description languages
specification language
model checker
artificial intelligence
general purpose
planning domains
web service composition
reasoning about actions