A Pocket Style Manual by University Diana Hacker
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection method. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintenance and intensional logic. First published in 1988, the book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence.| SKU | Unavailable |
| ISBN 13 | 9780312593247 |
| ISBN 10 | 0312593244 |
| Title | A Pocket Style Manual |
| Author | University Diana Hacker |
| Series | Pocket Style Manual |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Bedford Books,U.S. |
| Year published | 2009-06-01 |
| Number of pages | 272 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |