Hostname: page-component-cd9895bd7-gxg78 Total loading time: 0 Render date: 2024-12-26T18:52:50.514Z Has data issue: false hasContentIssue false
  • English
  • Français

ECAl'94 Workshop on Formal Specification Methods for Knowledge-bassed Systems

Published online by Cambridge University Press:  07 July 2009

Dieter Fensel
Dieter Fensel
Affiliation:
Institut AlFB, University of Karlsruhe, 76128 Karlsruhe, Germany (Email: [email protected]). de Dept SWI, University of Amsterdam, Roetostraat 15, 1018 WS Amsterdam, The Netherlands (Email: [email protected], nl)
Get access Rights & Permissions [Opens in a new window]

Extract

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.

Type
Research Article
Information
The Knowledge Engineering Review , Volume 9 , Issue 4 , December 1994 , pp. 417 - 420
Copyright
Copyright © Cambridge University Press 1994

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Treur, J and Wetter, T. (eds.), 1993, Formal Specification of Complex Reasoning Systems. Ellis Horwood.Google Scholar
Fensel, D and van Harmelen, F, 1994, “A comparison of languages which operationalize and formalize KADS models of expertise.” The Knowledge Engineering Review 9 (2) 105–146.CrossRefGoogle Scholar