Skip to main content
  • Book
  • © 1987

Fundamentals of Artificial Intelligence

An Advanced Course

Part of the book series: Springer Study Edition (SSE)

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

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

Table of contents (7 chapters)

  1. Front Matter

    Pages I-VII
  2. Knowledge Representation

    1. Front Matter

      Pages 1-1
    2. Knowledge Representation: Features of Knowledge

      • James P. Delgrande, John Mylopoulos
      Pages 3-36
  3. Knowledge Processing

    1. Front Matter

      Pages 37-37
    2. Deduction and Computation

      • Gérard Huet
      Pages 39-74
    3. An Introduction to Automated Deduction

      • Mark E. Stickel
      Pages 75-132
    4. Methods of Automated Reasoning

      • Wolfgang Bibel
      Pages 171-217
  4. Knowledge Programming

    1. Front Matter

      Pages 219-219
    2. Concurrent Prolog: A Progress Report

      • Ehud Shapiro
      Pages 277-313

Editors and Affiliations

  • Institut für Informatik, Technische Universität München, München 2, Germany

    W. Bibel

  • LIFIA-IMAG, St. Martin d’Hères Cédex, France

    Ph. Jorrand

Bibliographic Information

  • Book Title: Fundamentals of Artificial Intelligence

  • Book Subtitle: An Advanced Course

  • Authors: W. Bibel, A. W. Biermann, J. P. Delgrande, G. Huet, Ph. Jorrand, J. Mylopoulos, E. Shapiro, M. E. Stickel

  • Editors: W. Bibel, Ph. Jorrand

  • Series Title: Springer Study Edition

  • DOI: https://doi.org/10.1007/978-3-662-40145-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1987

  • Softcover ISBN: 978-3-662-39157-0Published: 01 January 1987

  • eBook ISBN: 978-3-662-40145-3Published: 12 June 2019

  • Series ISSN: 0172-6234

  • Edition Number: 1

  • Number of Pages: VII, 313

  • Number of Illustrations: 1 b/w illustrations

  • Topics: Artificial Intelligence

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access