We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
The Workshop on Formal Specification Methods for Knowledge-based Systems (KBS) took place in Amsterdam on August 8 1994 as part of the workshop program of the 11th European Conference on Artificial Intelligence (ECAI'94). It was the sixth workshop in a series concerned with the development and application of formal and executable specification languages for KBSs. Starting from the first familiarization workshop at GMD in Bonn 1992, where the different research groups met for the first time, further successor workshops were held at the University of Karlsruhe, the University of Amsterdam, and again at GMD in Bonn. Additionally, at ECAI'92 in Vienna, a workshop was held to compare different specification approaches for complex multi-layered KBSs.
Email your librarian or administrator to recommend adding this journal to your organisation's collection.
