Login / Signup
Towards a Modular Action Description Language.
Vladimir Lifschitz
Wanwan Ren
Published in:
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering (2006)
Keyphrases
</>
description language
action language
concurrent actions
software architecture
web services
specification language
description languages
web service composition
model checker
reasoning about actions
genetic algorithm
petri net
initial state