Show simple item record

dc.contributor.authorHarmelen, F.A.H. vanen
dc.contributor.authorFensel, D.en
dc.date.accessioned2005-05-02T11:02:03Z
dc.date.available2005-05-02T11:02:03Z
dc.date.issued1995en
dc.identifier.citationHarmelen, F.A.H. van and D. Fensel. Formal Methods in Knowledge Engineering. Volume 10. Pages 345--360. 1995. Journal The Knowledge Engineering Review. Number 4.en
dc.identifier.urihttp://hdl.handle.net/1871/8555
dc.description.abstractThis paper presents a general discussion of the role of formal methods in Knowledge Engineering. We give an historical account of the development of the field of Knowledge Engineering towards the use of formal methods. Subsequently, we discuss the pro's and cons of formal methods. We do this by summarising the proclaimed advantages, and by arguing against some of the commonly heard objections against formal methods. We briefly summarise the current state of the art and discuss the most important directions that future research in this field should take. This paper presents a general setting for the other contributions in this issue of the Journal, which each deal with a specific issue in more detail.en
dc.format.extent246762 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoenen
dc.rights(c)Vrije Universiteit Amsterdamen
dc.titleFormal Methods in Knowledge Engineeringen
dc.typeArticle in monograph or in proceedingsen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record