You might also like

More about Reasoning with Logic Programming

• Book details
• Synopsis
• Trending among others

You get 125 loyalty points

Book synopsis

As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools.The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning, is thoroughly investigated and illustrated and a variety of knowledge representation formalisms, like default negation, integrity constraints, default rules, etc., are treated in depth. Besides the main text, detailed introductory background and motivational information is included together with a bibliography listing 215 entries as well as the listing of the Prolog interpreter used in the text for running numerous examples.

Book details

Book category Books in English Computing & information technology Computer programming / software development Programming & scripting languages: general

• Full title: Reasoning with Logic Programming
• Author: Jose J. Alferes, Luis Moniz Pereira
• Language: English
• Binding: Paperback
• Number of pages: 336
• EAN: 9783540614883
• ISBN: 3540614885
• ID: 01566174
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Weight: 1120 g
• Dimensions: 235 × 155 × 20 mm
• Date of publishing: 25. July 1996

Trending among others

---

---

---