Logic for computer science and artificial intelligence
Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.), the diffuse nature of these sources is proble...
| Otros Autores: | |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
London, England ; Hoboken, New Jersey :
ISTE
2011.
|
| Edición: | 1st edition |
| Colección: | ISTE
|
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009627739706719 |
| Sumario: | Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.), the diffuse nature of these sources is problematic and logic as a topic benefits from a unified approach. Logic for Computer Science and Artificial Intelligence utilizes this format, surveying the tableaux, resolution, Davis and Putnam methods, logic programming, as well as for example unification and subsumption. For non-classical logics, the |
|---|---|
| Notas: | Description based upon print version of record. |
| Descripción Física: | 1 online resource (537 p.) |
| Bibliografía: | Includes bibliographical references and index. |
| ISBN: | 9781118604267 9781118604182 9781118604205 9781299187863 |
