An Action Description Language for Iterated Belief Change.

Aaron Hunter James P. Delgrande

Published in: IJCAI (2007)

Keyphrases

description language
action language
concurrent actions
software architecture
web services
description languages
web service composition
reasoning about actions
specification language
logic programming
machine learning
knowledge base
upper bound
planning domains
model checker