G. Weikum. Invited Talk at the 8th German Database Conference / Datenbanksysteme in Büro, Technik und Wissenschaft (BTW), Freiburg, Germany, (March 1999)
J. Allen. Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, page 3--14. San Mateo, CA, USA, Morgan Kaufmann Publishers, (April 1991)
M. Schaal, and T. Kämpke. Proceedings of ODYSSEUS 2000 - First International Workshop on Freight Transportation and Logistics, Chania, Crete, (May 2000)
E. Emerson, A. Mok, A. Sistla, and J. Srinivasan. CAV 90: Computer-aided Verification, volume 531 of Lecture Notes in Computer Science, Springer Verlag, New York, (1990)
M. Erwig, R. Guting, M. Schneider, and M. Vazirgiannis. Proceedings of the 6th International Symposium on Advances in Geographic Information Systems (GIS-98), page 131--136. New York, ACM Press, (November 1998)
S. Schöf. Proceedings of the Annual Meeting of the International Institute for Advanced Studies in Systems Research and Cybernetics (InterSymp '95), 3, page 39--43. Baden-Baden, Germany, (1995)
A. Hinze, and S. Bittner. 22nd International Conference on Distributed Computing Systems (ICDCS- 2002), Workshops: 1st International Workshop on Distributed Event-Based Systems(DEBS), IEEE, (2002)
M. Wellman, M. Ford, and K. Larson. Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence (UAI'95), page 532--539. San Francisco, CA, USA, Morgan Kaufmann Publishers, (August 1995)
A. Pnueli. 18th Annual Symposium on the Foundations of Computer Science (FOCS-77), page 46--57. Providence, Rhode Island, IEEE, IEEE Computer Society Press, (October 1977)
B. Preiss. Proc. 1995 Workshop on Parallel and Distributed Simulation, page 11--20. Lake Placid, New York, Institute of Electrical and Electronics Engineers, Inc., (June 1995)
J. Lowrance, and D. Wilkins. Proceedings of the Workshop on Innovative Approaches to Planning, Scheduling and Control, Morgan Kaufmann Publishers Inc., San Mateo, CA, (November 1990)
S. Schnittger, T. Henninger, and M. Schaal. Projektbericht im Auftrag des Bundesministers für Verkehr, Forschungsinstitut für anwendungsorientierte Wissensverarbeitung, Ulm, (1999)
P. Thiagarajan. Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, page 438--447. Paris, France, IEEE Computer Society Press, (April 1994)