Related Books

Logic for Computer Science and Artificial Intelligence
Language: en
Pages: 378
Authors: Ricardo Caferra
Categories: Technology & Engineering
Type: BOOK - Published: 2013-02-04 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of in
Logics for Computer and Data Sciences, and Artificial Intelligence
Language: en
Pages: 0
Authors: Lech T. Polkowski
Categories: Technology & Engineering
Type: BOOK - Published: 2022-12-19 - Publisher: Springer

DOWNLOAD EBOOK

This volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligen
Logic for Computer Scientists
Language: en
Pages: 173
Authors: Uwe Schöning
Categories: Mathematics
Type: BOOK - Published: 2009-11-03 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations
Epistemic Logic for AI and Computer Science
Language: en
Pages: 376
Authors: J.-J. Ch. Meyer
Categories: Computers
Type: BOOK - Published: 2004-03-25 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

A broad introduction to the subject; many exercises with full solutions are provided.
Logic-Based Artificial Intelligence
Language: en
Pages: 640
Authors: Jack Minker
Categories: Computers
Type: BOOK - Published: 2000-12-31 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In