• Title Simply Logical: Intelligent Reasoning by Example
• Author(s) Peter Flach
• Publisher: Wiley; 1 edition (January 15, 1994)
• Paperback 240 pages
• eBook PDF files
• Language: English
• ISBN-10: 0471941522
• ISBN-13: 978-0471941521
• Share This:  

Book Description

An introduction to Prolog programming for artificial intelligence covering both basic and advanced AI material. A unique advantage to this work is the combination of AI, Prolog and Logic. Each technique is accompanied by a program implementing it. Seeks to simplify the basic concepts of logic programming. Contains exercises and authentic examples to help facilitate the understanding of difficult concepts.

• N/A

• Amazon

• Artificial Intelligence, Machine Learning, and Logic Programming
• Prolog Programming
• Mathematical Logic - Set Theory, Model Theory, Proof Theory, Computability, etc.
• LISP and Common LISP Programming
• Algorithms and Data Structures

• Simply Logical: Intelligent Reasoning by Example (Peter Flach)

• Inductive Logic Programming: Techniques and Applications (Nada Lavrac, et al)
• Logic Programming in Scheme (Nils M. Holm)
• Introduction to Mathematical Logic (Vilnis Detlovs, et al)
• A Problem Course in Mathematical Logic (Stefan Bilaniuk)