Login / Signup
A Modular Action Description Language.
Vladimir Lifschitz
Wanwan Ren
Published in:
AAAI (2006)
Keyphrases
</>
description language
action language
concurrent actions
software architecture
web services
description languages
specification language
reasoning about actions
web service composition
information retrieval
case study
cooperative
search algorithm
model checker