Reasoning with logic programming /
"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, particu...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[1996]
|
| Series: | Lecture notes in computer science ;
1111. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | "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."--PUBLISHER'S WEBSITE. |
|---|---|
| Item Description: | Errata slip inserted. Electronic resource. |
| Physical Description: | 1 online resource (xx, 326 pages) : illustrations |
| Bibliography: | Includes bibliographical references (pages 271-281). |
| ISBN: | 3540614885 (Berlin : soft : acid-free paper) 9783540614883 (Berlin : soft : acid-free paper) |