Knowledge Eng. Review - researchr journal

95	--	96	John Fox. Methodologies for knowledge engineering
101	--	113	Terri J. Lydiard. Overview of current practice and research initiatives for the verification and validation of KBS
115	--	141	Alun D. Preece, Rajjan Shinghal, Aïda Batarekh. Principles and practice in verifying rule-based systems
143	--	146	. Verifying knowledge bases: A bibliography
147	--	155	Erik Sandewall. Knowledge-based systems, Lisp, and very high level implementation languages
157	--	171	Andrew Bowles. Trends in applying abstract interpretation
173	--	174	Hayat Zerkani. Artificial intelligence in engineering: Tools and techniques edited by D Sriram and RA Adey
174	--	175	Simon Parsons. Knowledge representation: An AI perspective by Han Reichgelt
175	--	177	Andrzej J. Glowinski. Inheritance hierarchies in knowledge representation and programming languages edited by M Lenzerini, D Nardi and M Simi, John Wiley, Chichester 1991, pp 310, £22.50. ISBN 0 471 92741

runs on WebDSL

External Links