Journal: Knowledge Eng. Review

Volume 10, Issue 4

331 -- 343Pedro Meseguer, Alun D. Preece. Verification and validation of knowledge-based systems with formal specifications
345 -- 360Frank van Harmelen, Dieter Fensel. Formal methods in knowledge engineering
361 -- 404Dieter Fensel. Formal specification languages in knowledge and software engineering
405 -- 410Roland H. C. Yap. Workshop Report: Constraint languages/systems and their use in problem modelling
411 -- 0Paul J. Krause. The art of Prolog - second edition by Leon Sterling and Ehud Shapiro, MIT Press, Cambridge, MA 1994, pp 509, £19.95 (paperback), £44.94 (hardback), ISBN 0-262-19338-8
411 -- 412S. K. Das. Executable modal and temporal logics by M. Fisher and R. Owens, Springer-Verlag, Germany, 1995, 180 pp. DM 46
412 -- 413Simon Parsons. Artificial intelligence techniques in Prolog by Yoav Shoham, Morgan Kaufmann, 1994, 327 pp, £38.50, ISBN 1-55860-319-0
415 -- 424. From the journals...
425 -- 0. Referees for The Knowledge Engineering Review Papers - Volume 10

Volume 10, Issue 3

235 -- 268Tariq M. Khan, Yau Jim Yip. CBT II - Case-based computer-aided instruction: survey of principles, applications and issues
269 -- 300John Kingston, Jim G. Doheny, Ian Filby. Evaluation of workbenches which support the CommonKADS methodology
301 -- 304Henry Hexmoor, David Kortenkamp. Issues on building software for hardware agents
305 -- 306Stephen Wilson. A safety licensable computing architecture by W. A. Halang, S.-K. Jung, B. J. Kramer and J. J. Scheepstra, World Scientific, USA, 1993, pp 251, £63.00 (h/b), ISBN 981-02-1628-9
307 -- 330. From the journals...

Volume 10, Issue 2

115 -- 152Michael Wooldridge, Nicholas R. Jennings. Intelligent agents: theory and practice
153 -- 179Peter J. F. Lucas. Logic engineering in medicine
181 -- 204Louise Travé-Massuyès, Robert Milne. Application oriented qualitative reasoning
205 -- 208Juan José Moreno-Navarro. Workshop on Integration of Declarative Paradigms
209 -- 211Rosa Maria Bottino, Paola Forcheri, Maria Teresa Molfino. Logic Programming and Education
213 -- 214Paul J. Krause. Collected works of A. M. Turing: Volume 3: Morphogenesis by P. T. Saunders (Ed.), North Holland, Amsterdam, 1993, pp 160, Dfl 170.00, ISBN 0-444-88486-6
214 -- 215Richard Cooper. Integrating rules and connectionism for robust commonsense reasoning by Ron Sun, John Wiley & Sons, New York, 1994, pp 273, £49.50, ISBN 0-471-59324-9
215 -- 216Jun Huang. Cooperation in industrial multi-agent systems by Nick Jennings, World Scientific, Singapore, 1994, pp 177, £28, ISBN 981-02-1652-1
216 -- 217Mark Wallace. Constraint-based reasoning by E. C. Freuder and A. K. Mackworth (Eds), MIT Press, Cambridge, MA, 1994, pp 403, £31.50/$47.25, ISBN 0-262-56075-5
218 -- 219Rashmi Pandya. Methods and tools for applied artificial intelligence by D. Popovic and V. P. Bhatkar, Marcel Dekker Inc, USA, pp 532, $150.00, ISBN 0-8247-9195-9
219 -- 220Miroslav Kubat. Neural networks and fuzzy systems: A dynamical systems approach to machine intelligence by Bart Kosko, Prentice Hall, Englewood Cliffs, NJ, 1992, pp 449, £24.96, ISBN 0-13-612334
220 -- 221Paul J. Krause. First steps in modal logic by Sally Popkorn, Cambridge University Press, 1994, pp 314, £25.00, ISBN 0-521-46482-X
223 -- 234. From the journals..

Volume 10, Issue 1

1 -- 0John Fox, Paul Krause. Knowledge representation and reasoning: The view from cognitive psychology
3 -- 19Fergus Bolger. Cognitive expertise research and knowledge engineering
21 -- 41Peter Ayton, Eva Pascoe. Bias in human judgement under uncertainty?
43 -- 62Thomas S. Wallsten, David V. Budescu. A review of human linguistic probability processing: General principles and empirical evidence
63 -- 66P. M. Wognum. Models and Techniques for the Reuse of Designs: ECA194 Workshop, Amsterdam, August 8 1994
67 -- 68Nicolaas J. I. Mars. Comparison of implemented ontologies
69 -- 71Alun D. Preece. Validation of knowledge-based systems: Current trends and issues
73 -- 76Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt. Reasoning about structured objects: Knowledge representation meets databases
77 -- 81Claire Nedellec. Integration of Machine Learning and Knowledge Acquisition
83 -- 88Simon Parsons, Alessandro Saffiotti. Information processing and the management of uncertainty
89 -- 96Daniela Tiscornia. The Legal Applications of Logic Programming Workshop at the ICLP 94 Conference
97 -- 100Paolo Ciancarini, Leon Sterling. Report on the Workshop: Applications of Logic Programming in Software Engineering
101 -- 102Paul J. Krause. Foundations of fuzzy systems by Rudolf Kruse, Jörg Gebhardt and Frank Klawonn, John Wiley & Sons, Chichester, 1994, pp 265, £29.95, ISBN 0-471-94243-X
101 -- 0Paul J. Krause. Fuzzy logic for the management of uncertainty edited by Lotfi Zadeh and Janusz Kacprzyk, John Wiley & Sons, New York, 1992, pp 1-676, £47.50, ISBN 0-471-54799-9
102 -- 104Geraint A. Wiggins. The Gödel programming language by Patricia Hill and John W. Lloyd, The MIT Press, 1994, pp 337, £40 50/$60.75, ISBN 0-262-08229-2
104 -- 105Miroslav Kubat. Advanced methods in neural computing by Philip Wasserman, International Thomson Publishing (Van Nostrand Reinhold), USA, 1993, ISBN 0-442-00461-3
105 -- 106Paul J. Krause. Model theory by Wilfred Hodges, Encyclopedia of Mathematics and its Applications, Vol 42, Cambridge University Press, 1994, pp 772, £65.00, ISBN 0-521-30442-3
106 -- 108Simon Parsons. The engineering of knowledge-based systems-theory and practice by Avelino J. Gonzalez and Doughlas D. Dankel, Prentice Hall International, 1993, pp 523, ISBN 0-13-334293-X
108 -- 109Simon Parsons. Recent advances in qualitative physics edited by Boi Faltings and Peter Struss, MIT Press, 1992, £35.95, pp 449, ISBN 0-262-06142-2
110 -- 111Huaming Lee, Jon Sims Williams. Current trends in Al planning: EWSP 93-2nd European Workshop on Planning edited by C. Backstrom and E. Sandwall, lOS Press, Amsterdam, 1994
111 -- 112Subrata K. Das. Logic programming: operational semantics and proof theory by J. H. Andrews, Cambridge University Press, 1992, pp 104, £25.00, ISBN 0-521-43219-7
112 -- 113Dave Robertson. Formal specification of complex reasoning systems edited by Jan Treur and Thomas wetter, Ellis Horwood, Chichester, 1993, pp 1-282, £35.95, ISBN 0-13-336-785-1
113 -- 114Ercan Öztemel. Genetic algorithms for machine learning edited by John J. Grefenstette, Kluwer Academic, USA, 1993, £72.50, pp 163, ISBN 0-792-39407-0