Skip to main content
SpringerLink
Log in

Book Reviews

  • Published:
Minds and Machines 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

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

Instant access to the full article PDF.

Institutional subscriptions

References

  • Baader F., Calvanese D., McGuinness D.L., Nardi D., Patel-Schneider P.F. (eds), (2002). Description Logic Handbook. Cambridge, UK, Cambridge University Press

    Google Scholar 

  • Ceccato, S. (1961). Linguistic Analysis and Programming for Mechanical Translation. New York, Gordon and Breach

    Google Scholar 

  • Cousineau G., Mauny M. (1998). The Functional Approach to Programming. Cambridge, UK, Cambridge University Press

    MATH  Google Scholar 

  • Farquhar A., Fikes R., Rice J.P. (1997). The ontolingua server: A tool for collaborative ontology construction. Journal of Human-Computer Studies 46:707–728

    Article  Google Scholar 

  • Fikes R.E., Nilsson N. (1971). STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence 5(2):189–208

    Article  Google Scholar 

  • Gelfond M., Lifschitz V. (1992). Representing actions in extended logic programs. In: Apt K. (eds), Joint International Conference and Symposium on Logic Programming. Cambridge, MA, USA, MIT Press, pp. 559–573

    Google Scholar 

  • Horrocks I., Patel-Schneider P.F., van Harmelen F. (2003). From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics 1(1):7–26

    Google Scholar 

  • Lloyd J.W. (1987). Foundations of Logic Programming – 2nd edition, Berlin, Springer Verlag

    Google Scholar 

  • Lloyd, J.W. (1994), ‘Practical Advantages of Declarative Programming’, in Joint Conference on Declarative Programming, GULP-PRODE ’94, pp. 18–30

  • Masterman, M. (1961), ‘Semantic message detection for machine translation, using an interlingua’, in Proceedings of the 1961 International Conference on Machine Translation of Languages and Applied Language Analysis, London: Her Majesty’s Stationery Office, pp. 438–475

  • Minsky M. (1975). A framework for representing knowledge. In: Winston P. (eds), The Psychology of Computer Vision. New York, McGraw-Hill, pp. 211–277

    Google Scholar 

  • Sowa J.F. (2002). Semantic Networks. In: Nadel L. (eds). Encyclopedia of Cognitive Science. London, Macmillan Publishers Ltd

    Google Scholar 

  • Thomason, R. (2005), ‘Logic and Artificial Intelligence’, in E.N. Zalta, ed., The Stanford Encyclopedia of Philosophy, available at http://plato.stanford.edu/archives/sum2005/ entries/logic-ai/

Download references

Author information

Authors and Affiliations

  1. Dip. di Ingegneria Informatica, Gestionale e dell’Automazione, Università Politecnica delle Marche, via Brecce Bianche, I-60131, Ancona, Italy

    LUCA SPALAZZI

Authors
  1. LUCA SPALAZZI
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to LUCA SPALAZZI.

Rights and permissions

Reprints and permissions

About this article

Cite this article

SPALAZZI, L. Book Reviews. Mind Mach 15, 453–458 (2005). https://doi.org/10.1007/s11023-005-9002-2

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11023-005-9002-2

Search

Navigation