From Standard Logic to Logic Programming: Introducing a Logic Based Approach to Artificial Intelligence

Gochet, Paul; Grégoire, Eric; Gribomont, Pascal; Hulin, Guy; Pirotte, Alain; Roelants, Dominique; Snyers, Dominique; Thayse, André; Vauclair, Marc; Wolper, Pierre

ISBN 10: 0471918385 / ISBN 13: 9780471918387

Published by Wiley, 1988

About this Item

The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing.

Seller Inventory # BSM.1CF76

Bibliographic Details

• Title: From Standard Logic to Logic Programming: Introducing a Logic Based Approach to Artificial Intelligence
• Publisher: Wiley
• Publication Date: 1988
• Language: English
• ISBN 10: 0471918385
• ISBN 13: 9780471918387
• Binding: Soft cover
• Condition: good

About this title

Synopsis

Presents a solid base for the examination of artificial intelligence (AI) with a thorough study of the role of logic, covering the whole field from the theoretical aspects of logic to the most practical logic programming applications. Discusses classical logic; knowledge representation and valid reasoning; non-standard logics and revisable reasoning; formal grammars; automata theory and augument transition network formalism and much more. Particular emphasis is placed on Prolog as the forerunning and most popular language for logic programming.