Computing higher order exclusion relations in propositional planning

Ioannis Refanidis, Ilias Sakellariou. Computing higher order exclusion relations in propositional planning. J. Exp. Theor. Artif. Intell., 25(1):23-51, 2013. [doi]

Abstract

Abstract is missing.