Bernhard Nebel
-
On the expressive power of planning formalisms
Logic-based artificial intelligence
On the compilability and expressive power of propositional planning formalisms
Journal of Artificial Intelligence Research