1. C. Boutilier, R. Reiter, M. Soutchanski, and S. Thrun. Decision-theoretic, high-level agent programming in the situation calculus. In AAAI-2000, 17th National Conference on Artificial Intelligence, Austin, Texas, 2000.
2. G. de Giacomo, Y. Lespérance, and H.J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121(1–2):109–169, 2000.
3. C. Funken and M. Meister. Netzwerke als Single Bars, affinity groups und interorganisationales Regime. Freiburg, 2003.
4. A. Fuxman, M. Pistore, J. Mylopoulos, and P. Traverso. Model checking early requirements specifications in Tropos. In Proceedings Fifth IEEE International Symposium on Requirements Engineering (RE01), Toronto, Canada, August 27–31 2001.
5. G. Gans, M. Jarke, S. Kethers, G. Lakemeyer, L. Ellrich, C. Funken, and M. Meister. Requirements modeling for organization networks: A (dis-) trust-based approach. In Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE01), pages 154–163, Toronto, Canada, August 2001.