Journal: Knowledge Eng. Review

Volume 7, Issue 4

287 -- 0John Fox. Grey Pages: Rapid publication of conference reports
289 -- 322Barbara Wasson, Sigmund Akselsen. An overview of on-line assistance: from on-line documentation to intelligent help and training
323 -- 343Walter Hamscher. Model-based reasoning in financial domains
345 -- 362D. Navin-Chandra. Innovative design systems: where are we, and where do we go from here? Part II: Design by exploration
363 -- 366Jintae Lee. Design Rationale Management Research
367 -- 369W. Lewis Johnson. Knowledge-Based Software Engineering
371 -- 372Hyat Zerkani. Artificial intelligence in engineering by Graham Winstanley (Ed.), John Wiley & Sons, Chichester, 1990, pp 419, £19.95
372 -- 373John Grant. On object-orieted database systems by K. R. Dittrich, U. Dayal and A. P. Buchmann (Eds.), Springer-Verlag, Berlin, 1991, pp. 422 (hardcover), DM98, ISBN 0-387 53496-2

Volume 7, Issue 3

183 -- 213D. Navin-Chandra. Innovative design Systems, where are we and where do we go from here? Part I: Design by association
215 -- 249Vijay Mital. Knowledge systems for financial advice
251 -- 269Luc De Raedt, Maurice Bruynooghe. A unifying framework for concept-learning algorithms
271 -- 272Paul J. Krause. LOGIC Programming: expanding the horizons by Tony Dodd, Richard Owens and Steve Torrance (Eds), Intellect Books, Oxford, 1991, pp 208, £29.95, ISBN 1-871516-15-03
272 -- 275Paul J. Krause. Uncertainty and vagueness in knowledge based systems by R Kruse, E Schwecke and J Heinsohn, Springer-Verlag, Berlin, £35.00. ISBN 3-540-54165-9
275 -- 0Ali Rahmanzadeh. A beginner's book of TEX by Raymond Seroul and Silvio Levy, Springer-Verlag, Berlin, 1991, DM 58, ISBN 0-387-97562-4

Volume 7, Issue 2

95 -- 96John Fox. Methodologies for knowledge engineering
101 -- 113Terri J. Lydiard. Overview of current practice and research initiatives for the verification and validation of KBS
115 -- 141Alun D. Preece, Rajjan Shinghal, Aïda Batarekh. Principles and practice in verifying rule-based systems
143 -- 146. Verifying knowledge bases: A bibliography
147 -- 155Erik Sandewall. Knowledge-based systems, Lisp, and very high level implementation languages
157 -- 171Andrew Bowles. Trends in applying abstract interpretation
173 -- 174Hayat Zerkani. Artificial intelligence in engineering: Tools and techniques edited by D Sriram and RA Adey
174 -- 175Simon Parsons. Knowledge representation: An AI perspective by Han Reichgelt
175 -- 177Andrzej 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

Volume 7, Issue 1

1 -- 18Louise Travé-Massuyès. Qualitative reasoning overtime: history and current prospects
19 -- 33John Fox, Paul J. Krause. Qualitative frameworks for decision support: lessons from medicine
35 -- 53Michael P. Wellman, John S. Breese, Robert P. Goldman. From knowledge bases to decision models
55 -- 77Enrico W. Coiera. The qualitative representation of physical systems
79 -- 81Steve Easterbrook. A new guide to artificial intelligence by Derek Partridge, Ablex, NJ, 1991, pp 546, £19.95. ISBN 0-89391-607-2
81 -- 83Paul J. Krause. Formal techniques in artificial intelligence: a sourcebook by RB Banerji (Ed.), North Holland, Amsterdam, 1990, pp 437, Dfl 160.00. ISBN 0 444 88130 1