Knowledge engineering: Principles and methods
- 31 March 1998
- journal article
- Published by Elsevier BV in Data & Knowledge Engineering
- Vol. 25 (1-2), 161-197
- https://doi.org/10.1016/s0169-023x(97)00056-6
Abstract
No abstract availableKeywords
This publication has 49 references indexed in Scilit:
- Ontologies: principles, methods and applicationsThe Knowledge Engineering Review, 1996
- Verification and validation of knowledge-based systems with formal specificationsThe Knowledge Engineering Review, 1995
- Formal specification languages in knowledge and software engineeringThe Knowledge Engineering Review, 1995
- Formal ontology, conceptual analysis and knowledge representationInternational Journal of Human-Computer Studies, 1995
- Ten commandments of formal methodsComputer, 1995
- Knowledge-acquisition tools with explicit problem-solving modelsThe Knowledge Engineering Review, 1993
- A survey of knowledge acquisition techniques and tools and their relationship to software engineeringJournal of Systems and Software, 1992
- Overview of current practice and research initiatives for the verification and validation of KBSThe Knowledge Engineering Review, 1992
- Inside the LOOM description classifierACM SIGART Bulletin, 1991
- The knowledge levelArtificial Intelligence, 1982