Stock image for illustration purposes only - book cover, edition or condition may vary.
Reasoning with Logic Programming
Alferes, Jose Julio; Moniz, Pereira Luis
€ 67.97
FREE Delivery in Ireland
Description for Reasoning with Logic Programming
Paperback. This work presents a survey of logic programs as representational and reasoning tools. It examines the use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning and a variety of knowledge representation formalisms, such as default negation. Series: Lecture Notes in Computer Science. Num Pages: 336 pages, biography. BIC Classification: UMX; UYF; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 18. Weight in Grams: 505.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
1996
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
336
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
336
Place of Publication
Berlin, Germany
ISBN
9783540614883
SKU
V9783540614883
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Reasoning with Logic Programming