Knowledge engineering: Principles and methods

This publication has 49 references indexed in Scilit:

• Ontologies: principles, methods and applications
  The Knowledge Engineering Review, 1996
• Verification and validation of knowledge-based systems with formal specifications
  The Knowledge Engineering Review, 1995
• Formal specification languages in knowledge and software engineering
  The Knowledge Engineering Review, 1995
• Formal ontology, conceptual analysis and knowledge representation
  International Journal of Human-Computer Studies, 1995
• Ten commandments of formal methods
  Computer, 1995
• Knowledge-acquisition tools with explicit problem-solving models
  The Knowledge Engineering Review, 1993
• A survey of knowledge acquisition techniques and tools and their relationship to software engineering
  Journal of Systems and Software, 1992
• Overview of current practice and research initiatives for the verification and validation of KBS
  The Knowledge Engineering Review, 1992
• Inside the LOOM description classifier
  ACM SIGART Bulletin, 1991
• The knowledge level
  Artificial Intelligence, 1982