Synopsis
This is the second edition of the first book to give an account of the mathematical foundations of Logic Programming. The topics covered include the semantics of various classes of programs, the semantics of perpetual processes, and the foundations of Deductive Database Systems. The book contains many illustrative examples and over 100 problems.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Foundations of Logic Programming (Artificial Intelligence)
Stock Image
Foundations of Logic Programming (Artificial Intelligence)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020237441
Stock Image
Foundations of Logic Programming (Artificial Intelligence)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783642831911_new
Buy New
US$ 143.40
Shipping:
US$ 15.99
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Foundations of Logic Programming
Published by
Springer, Springer Dez 2011, 2011
ISBN 10: 3642831915
ISBN 13: 9783642831911
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. Consequently, it seemed advisable to try to expand the subject matter covered in the first edition. The new material in the second edition has a strong database flavour, which reflects my own research interests over the last three years. However, despite the fact that the second edition has about 70% more material than the first edition, many worthwhile topic!! are still missing. I can only plead that the field is now too big to expect one author to cover everything. In the second edition, I discuss a larger class of programs than that discussed in the first edition. Related to this, I have also taken the opportunity to try to improve some of the earlier terminology. Firstly, I introduce 'program statements', which are formulas of the form A+-W, where the head A is an atom and the body W is an arbitrary formula. A 'program' is a finite set of program statements. There are various restrictions of this class. 'Normal' programs are ones where the body of each program statement is a conjunction of literals. (The terminology 'general', used in the first edition, is obviously now inappropriate). 228 pp. Englisch. Seller Inventory # 9783642831911
Seller Image
Foundations of Logic Programming
Published by
Springer Berlin Heidelberg, 2011
ISBN 10: 3642831915
ISBN 13: 9783642831911
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. Consequently, it seemed advisable to try to expand the subject matter covered in the first edition. The new material in the sec. Seller Inventory # 5071814
Buy New
US$ 131.97
Shipping:
US$ 57.15
From Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Foundations of Logic Programming
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Foundations of Logic Programming | John W. Lloyd | Taschenbuch | xii | Englisch | 2011 | Springer | EAN 9783642831911 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 105645231
Stock Image
Foundations of Logic Programming (Symbolic Computation / Artificial Intelligence)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 2nd edition. 228 pages. 9.53x6.46x0.71 inches. In Stock. Seller Inventory # x-3642831915
Buy New
US$ 207.71
Shipping:
US$ 13.35
From United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Foundations of Logic Programming
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2011, 2011
ISBN 10: 3642831915
ISBN 13: 9783642831911
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. Consequently, it seemed advisable to try to expand the subject matter covered in the first edition. The new material in the second edition has a strong database flavour, which reflects my own research interests over the last three years. However, despite the fact that the second edition has about 70% more material than the first edition, many worthwhile topic!! are still missing. I can only plead that the field is now too big to expect one author to cover everything. In the second edition, I discuss a larger class of programs than that discussed in the first edition. Related to this, I have also taken the opportunity to try to improve some of the earlier terminology. Firstly, I introduce 'program statements', which are formulas of the form A+-W, where the head A is an atom and the body W is an arbitrary formula. A 'program' is a finite set of program statements. There are various restrictions of this class. 'Normal' programs are ones where the body of each program statement is a conjunction of literals. (The terminology 'general', used in the first edition, is obviously now inappropriate).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch. Seller Inventory # 9783642831911
Seller Image
Foundations of Logic Programming
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg, 2011
ISBN 10: 3642831915
ISBN 13: 9783642831911
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. Consequently, it seemed advisable to try to expand the subject matter covered in the first edition. The new material in the second edition has a strong database flavour, which reflects my own research interests over the last three years. However, despite the fact that the second edition has about 70% more material than the first edition, many worthwhile topic!! are still missing. I can only plead that the field is now too big to expect one author to cover everything. In the second edition, I discuss a larger class of programs than that discussed in the first edition. Related to this, I have also taken the opportunity to try to improve some of the earlier terminology. Firstly, I introduce 'program statements', which are formulas of the form A+-W, where the head A is an atom and the body W is an arbitrary formula. A 'program' is a finite set of program statements. There are various restrictions of this class. 'Normal' programs are ones where the body of each program statement is a conjunction of literals. (The terminology 'general', used in the first edition, is obviously now inappropriate). Seller Inventory # 9783642831911
Stock Image
Foundations of Logic Programming (Symbolic Computation)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. Like New. book. Seller Inventory # ERICA77336428319156
Buy Used
US$ 218.60
Shipping:
US$ 33.37
From United Kingdom to U.S.A.
Quantity: 1 available