Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Book reviews

  • Published:
Artificial Intelligence Review Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

Reference

  • Englemore, R. & Morgan, T. (1988) Blackboard Systems, Addison-Wesley, Reading, MA.

    Google Scholar 

Reference

  • Durrell, G. & Morgan, G. (1979) Sociological Paradigms and Organisational Analysis. Gower Press, Aldershot.

    Google Scholar 

References

  • Conklin, J. (1987) Hypertext: An introduction and survey, IEEE Computer, 20, 17–41.

    Google Scholar 

  • Communications of the ACM (1988) 31, 7. GUIDE hypertext edition. Available from Office Workstations Ltd, Rosebank House, 144 Broughton Road, Edinburgh, EH7 4LE.

Reference

References

  • Chang, C. L. & Lee, R. C. T. (1973) Symbolic Logic and Mechanical Theorem proving. Academic Press, New York.

    Google Scholar 

  • Enderton, H. B. (1972) A Mathematical Introduction to Logic. Academic Press, New York.

    Google Scholar 

  • Genesereth, M., & Nilsson, N. (1987) Logical Foundations of Artificial Intelligence. Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Hodges, W. (1977) Logic. Penguin, London.

    Google Scholar 

  • Ramsay, A. (1988) Formal Methods in Artificial Intelligence. Cambridge University Press, Cambridge.

    Google Scholar 

References

  • Barwise, J. & Perry, J. (1983) Situations and Attitudes. Bradford Books, Cambridge, MA.

    Google Scholar 

  • Ginsberg, M. L. (1987) Readings in Non-Monotonic Reasoning. Morgan Kaufman, Los Altos.

    Google Scholar 

  • Manthey, R. & Bry, F. (1988) SATCHMO: a theorem prover in PROLOG, CADE-88.

Download references

Author information

Authors and Affiliations

  1. School of Information Science Portsmouth Polytechnic, UK

    Hugh Weston Rooms

  2. AI Research and Development Facility, School of Information Science, Portsmouth Polytechnic, UK

    Daune West

  3. Department of Experimental Psychology, University of Oxford, Oxford, USA

    Tony Gillie

  4. Department of Psychology, Portsmouth Polytechnic, Oxford, USA

    John Macdonald

  5. Portsmouth Polytechnic, UK

    John Billingsley (Professor or Robotics)

  6. Chemical Design Ltd, Oxford, USA

    Tony Dodd

  7. Department of Computer Science, University College London, UK

    Derek Long

  8. Department of Computer Science, University College Dublin, Ireland

    Allan Ramsay

Authors
  1. Hugh Weston Rooms
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Daune West
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Tony Gillie
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. John Macdonald
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. John Billingsley
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Tony Dodd
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Derek Long
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Allan Ramsay
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rooms, H.W., West, D., Gillie, T. et al. Book reviews. Artif Intell Rev 4, 233–249 (1990). https://doi.org/10.1007/BF00140678

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00140678

Search

Navigation