Published online by Cambridge University Press: 04 April 2001
The KEML (Knowledge Engineering Methods and Languages) workshop which took place on 22–24 January at the Open University in Milton Keynes (UK) was the seventh in a series of workshops on methods and languages for knowledge engineering. Although the KEML acronym suggests a broad knowledge engineering connotation, in practice the main emphasis of these workshops is on the construction, formalisation, verification and use of knowledge models. The term “knowledge model” originates from the work of Allen Newell (1982), who proposed a level of description — the knowledge level — which abstracts from implementation-related considerations to focus on the actions, goals and knowledge embodied by a problem solving agent.