- M. Valatti and D. Kitchin: Knowledge Engineering Tools and Techniques and Al Planning, Springer verlag, 2020
- P. Haslum and N. Lipovetzky: An introduction to the Planning Domain definition Language, Morgan & Claypool, 2019
- M. Gallab, D. Nau and P. Traverson: Automated Planning and Acting, Cambridge University Press, 2016
- Russel, S. and Norvig, P. (2013): Artificial Intelligence: A Modern Approach, 3rd edition, Pearson.
- Ghallab, M., Nau, D., and Traverso, P. (2004): Automated Planning: Theory & Practice, 1st edition, Morgan Kaufmann Publishers and Elsevier.
- Bratko, I. (2011): Prolog Programming for Artificial Intelligence, 4th edition, Pearson.
- FF planning system : One of the best planning systems that utilizes heuristic search
- A free constraint solver: https://www.gecode.org
- A free prolog with constraint solver: https://www.swi-prolog.org
- Bayesian network solver: http://www.cs.man.ac.uk/~gbrown/bayes_nets/
- Problog is probably a better system to work with: https://dtai.cs.kuleuven.be/problog
- For planning with uncertainty, systems at https://www.cs.nmsu.edu/~tson/systems.html is very good
- See: http://ipc02.icaps-conference.org for temporal planning Two very good systems competed in this competition: