
273 finite subset of 273 set of literals overs

p

i 295 complexity class in the polynomial hierarchy

ti; tg 282 state-translation functions in a compilation scheme

U 292 universal literals

w 298 a word over ;?

X 295 some complexity class

X , Y 272 some planning formalisms

277 domain structure ( h ; Oi)

 299 family of domain structures

## References

Anderson, C. R., Smith, D. E., & Weld, D. S. (1998). Conditional effects in Graphplan. In *Proceedings of the 4th International Conference on Artificial Intelligence Planning Systems (AIPS98)*, pp. 44–53. AAAI Press, Menlo Park.

Baader, F. (1990). A formal definition for expressive power of knowledge representation languages.

In *Proceedings of the 9th European Conference on Artificial Intelligence (ECAI-90)* Stockholm, Sweden. Pitman.

B¨ackstr¨om, C. (1995). Expressive equivalence of planning formalisms. *Artificial Intelligence*, 76(1–
2), 17–34.

B¨ackstr¨om, C., & Nebel, B. (1995). Complexity results for SAS+planning. *Computational Intelligence*, 11(4), 625–655.

Blum, A. L., & Furst, M. L. (1997). Fast planning through planning graph analysis. *Artificial* Intelligence, 90(1-2), 279–298.

Brewka, G., & Hertzberg, J. (1993). How to do things with worlds: On formalizing actions and plans.. *Journal Logic and Computation,* 3(5), 517–532.

Bylander, T. (1994). The computational complexity of propositional STRIPS planning. Artificial Intelligence, 69(1–2), 165–204.

Cadoli, M., & Donini, F. M. (1997). A survey on knowledge compilation. *AI Communications*,
10(3,4), 137–150.

Cadoli, M., Donini, F. M., Liberatore, P., & Schaerf, M. (1996). Comparing space efficiency of propositional knowledge representation formalism. In Aiello, L. C., Doyle, J., & Shapiro, S. (Eds.), *Principles of Knowledge Representation and Reasoning: Proceedings of the 5th* International Conference (KR-96), pp. 364–373 Cambridge, MA. Morgan Kaufmann.

Erol, K., Hendler, J. A., & Nau, D. S. (1994). HTN planning: Complexity and expressivity. In Proceedings of the 12th National Conference of the American *Association for Artificial Intelligence (AAAI-94)*, pp. 1123–1129 Seattle, WA. MIT Press.