Usage
  • 16 views
  • No download information available

[Review of the book Formal Methods in Artificial Intelligence, by Aamsay]

  • Author(s) / Creator(s)
  • Introduction: Many universities teach artificial intelligence (AI) by having one undergraduate course that introduces students to a very wide variety of topics, usually including search and search heuristics, representational systems (including formal logic), problem solving, vision, expert systems, language, learning, connectionism, abduction, robotics, and planning. They then have further AI courses, often at the graduate level, that follow up one or another of these topics. The book under review is intended for the follow-up course in \"Logical Methods in AI.\"

  • Date created
    1996
  • Subjects / Keywords
  • Type of Item
    Review
  • DOI
    https://doi.org/10.7939/R3K64B73F
  • License
    © 1996 Pelletier, F.J. This version of this article is open access and can be downloaded and shared. The original author(s) and source must be cited.
  • Language
  • Citation for previous publication
    • Pelletier, F.J. (1996). [Review of the book Formal Methods in Artificial Intelligence, by A. Ramsay]. Journal of Symbolic Logic, 61(1), 347-351. https://doi.org/10.2307/2275621
  • Link to related item
    https://doi.org/10.2307/2275621