1. Lecture Notes in Computer Science;S Andova,2004
2. Boutilier, C., Reiter, R., Soutchanski, M., Thrun, S.: Decision-theoretic, high-level agent programming in the situation calculus. In: Kautz, H., Porter, B. (eds.) Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI 2000), pp. 355–362. AAAI Press (2000)
3. Claßen, J., Lakemeyer, G.: A logic for non-terminating Golog programs. In: Brewka, G., Lang, J. (eds.) Proceedings of the Eleventh International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008), pp. 589–599. AAAI Press (2008)
4. Theoretical Computer Science and General Issues;C Dehnert,2017
5. Ferrein, A., Lakemeyer, G.: Logic-based robot control in highly dynamic domains. Robot. Auton. Syst. 56, 980–991 (2008)