Creating automated plans for Semantic Web applications through planning as model checking

Bonnie Brinton Anderson, James V. Hansen, Paul Benjamin Lowry. Creating automated plans for Semantic Web applications through planning as model checking. Expert Syst. Appl., 36(7):10595-10603, 2009. [doi]

Abstract

Abstract is missing.