Proceedings of the Twelfth National Conference on Artificial Intelligence July 31 - August 4, 1994, Seattle, Washington (AAAI Press u.a., 1994)