default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Knowledge Engineering Review, Volume 10
Volume 10, Number 1, March 1995
- John Fox, Paul J. Krause:
Knowledge representation and reasoning: The view from cognitive psychology. 1
- Fergus Bolger
:
Cognitive expertise research and knowledge engineering. 3-19 - Peter Ayton, Eva Pascoe:
Bias in human judgement under uncertainty? 21-41 - Thomas S. Wallsten, David V. Budescu:
A review of human linguistic probability processing: General principles and empirical evidence. 43-62 - P. M. Wognum:
Models and Techniques for the Reuse of Designs: ECA194 Workshop, Amsterdam, August 8 1994. 63-66 - Nicolaas J. I. Mars:
Comparison of implemented ontologies. 67-68 - Alun D. Preece:
Validation of knowledge-based systems: Current trends and issues. 69-71 - Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt:
Reasoning about structured objects: Knowledge representation meets databases. 73-76 - Claire Nedellec:
Integration of Machine Learning and Knowledge Acquisition. 77-81 - Simon Parsons, Alessandro Saffiotti:
Information processing and the management of uncertainty. 83-88 - Daniela Tiscornia:
The Legal Applications of Logic Programming Workshop at the ICLP 94 Conference. 89-96 - Paolo Ciancarini, Leon Sterling:
Report on the Workshop: Applications of Logic Programming in Software Engineering. 97-100
- Paul 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. 101 - Paul 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-102 - Geraint 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. 102-104 - Miroslav Kubat:
Advanced methods in neural computing by Philip Wasserman, International Thomson Publishing (Van Nostrand Reinhold), USA, 1993, ISBN 0-442-00461-3. 104-105 - Paul 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. 105-106 - Simon Parsons:
Artifical intelligence through search by Chris Thornton and Benedict du Boulay, Intellect, 1992, pp 363, ISBN 1-871516-24-2.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. 106-108 - Simon 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. 108-109 - Huaming 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. 110-111 - Subrata 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. 111-112 - Dave 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. 112-113 - Ercan Öztemel:
Genetic algorithms for machine learning edited by John J. Grefenstette, Kluwer Academic, USA, 1993, £72.50, pp 163, ISBN 0-792-39407-0. 113-114
Volume 10, Number 2, June 1995
- Michael J. Wooldridge, Nicholas R. Jennings:
Intelligent agents: theory and practice. 115-152 - Peter J. F. Lucas:
Logic engineering in medicine. 153-179 - Louise Travé-Massuyès, Robert Milne:
Application oriented qualitative reasoning. 181-204
- Juan José Moreno-Navarro:
Workshop on Integration of Declarative Paradigms. 205-208 - Rosa Maria Bottino, Paola Forcheri, Maria Teresa Molfino:
Logic Programming and Education. 209-211
- Paul J. Krause:
Collected works of A. M. Turing: Volume 1: Pure mathematics by J. L. Britton (Ed.), North Holland, Amsterdam, 1992, pp 288, Dfl, 175.00, ISBN 0-444-88059-3;Collected works of A. M. Turing: Volume 2: Mechanical intelligence by D. C. Ince (Ed.), North Holland, Amsterdam, 1992, pp 226, Dfl 160.00, ISBN 0-444-88058-5;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. 213-214 - Richard 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. 214-215 - Jun Huang:
Cooperation in industrial multi-agent systems by Nick Jennings, World Scientific, Singapore, 1994, pp 177, £28, ISBN 981-02-1652-1. 215-216 - Mark 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. 216-217 - Rashmi 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. 218-219 - Miroslav 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. 219-220 - Paul J. Krause:
First steps in modal logic by Sally Popkorn, Cambridge University Press, 1994, pp 314, £25.00, ISBN 0-521-46482-X. 220-221
- From the journals... 223-234
Volume 10, Number 3, September 1995
- Tariq M. Khan, Yau Jim Yip:
CBT II - Case-based computer-aided instruction: survey of principles, applications and issues. 235-268 - John Kingston, Jim G. Doheny, Ian Filby:
Evaluation of workbenches which support the CommonKADS methodology. 269-300 - Henry Hexmoor, David Kortenkamp:
Issues on building software for hardware agents. 301-304
- Stephen 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. 305-306
- From the journals.... 307-330
Volume 10, Number 4, December 1995
- Pedro Meseguer, Alun D. Preece:
Verification and validation of knowledge-based systems with formal specifications. 331-343 - Frank van Harmelen, Dieter Fensel:
Formal methods in knowledge engineering. 345-360 - Dieter Fensel:
Formal specification languages in knowledge and software engineering. 361-404 - Roland H. C. Yap:
Workshop Report: Constraint languages/systems and their use in problem modelling. 405-410
- Paul 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 - S. K. Das:
Executable modal and temporal logics by M. Fisher and R. Owens, Springer-Verlag, Germany, 1995, 180 pp. DM 46. 411-412 - Simon Parsons:
Artificial intelligence techniques in Prolog by Yoav Shoham, Morgan Kaufmann, 1994, 327 pp, £38.50, ISBN 1-55860-319-0. 412-413
- From the journals.... 415-424
- Referees for The Knowledge Engineering Review Papers - Volume 10. 425
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
