|
|
Sold Out
Book Categories |
| Preface | ||
| Acknowledgements | ||
| 1 | Normal logic programs | 5 |
| 2 | Extended logic programs | 17 |
| 3 | Why a new semantics for extended programs? | 31 |
| 4 | WFSX - A well founded semantics for extended logic programs | 37 |
| 5 | WFSX, LP semantics with two negations, and autoepistemic logics | 49 |
| 6 | WFSX and default logic | 83 |
| 7 | WFSX and hypotheses abduction | 107 |
| 8 | Dealing with contradiction | 129 |
| 9 | Further properties and comparisons | 167 |
| 10 | Top-down derivation procedures for WFSX | 187 |
| 11 | Application to classical nonmonotonic reasoning problems | 209 |
| 12 | Application to diagnosis and debugging | 235 |
| References | 271 | |
| App. A | Prolog top-down interpreter for WFSX | 285 |
| App. B | A Prolog pre-processor for contradiction removal | 287 |
| App. C | Proofs of theorems | 305 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Francisco Luis Benvenuty
reviewed Reasoning with Logic Programming, Vol. 111 on March 25, 2012
Reasoning with Logic Programming, Vol. 111
I read this on the advice of Dr. Eiselt, Dean (at that time) of the College of Computing, after asking him via email "alright, I'm taking classes and whatnot, but I want the Stygian deep; I want to go down as far as I can; I want and need to read those books which have shaped the great computer scientists before me, the real thing." Having probed the shelves of computer science and mathematics since, I remain convinced he could have given no better advice to a precocious freshman. Used for several decades at MIT, this second edition is more than thorough enough for an introduction to computer science anywhere. Taught using the Scheme system (with its close bindings to the type-free λ-calculus), this canonical work covers register machines, logic programming, nondeterministic evaluation, the relations of recursion to iteration, and a wealth of carefully-woven-in jewels from number theory and discrete mathematics. Every programmer thinking himself the real deal owes it to himself to read through this grand work, epic in scope and breathtaking in sudden illuminations.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Reasoning with Logic Programming, Vol. 111
X
This Item is in Your Inventory
Reasoning with Logic Programming, Vol. 111
X
You must be logged in to review the productsX
X
X
Add Reasoning with Logic Programming, Vol. 111, 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 programm, Reasoning with Logic Programming, Vol. 111 to the inventory that you are selling on WonderClubX
X
Add Reasoning with Logic Programming, Vol. 111, 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 programm, Reasoning with Logic Programming, Vol. 111 to your collection on WonderClub |