Gabbay, Dov M.
Logic for Artificial Intelligence and Information Technology (Texts in Computer Science)
- ISBN 13:
- 9781904987390
- author:
- Gabbay, Dov M.
- format:
- Paperback
- publisher:
- College Publications
- language:
- English
- Publication Year:
- 2007
- Pages:
- 584
- Dimensions:
- 156 mm X 234 mm
- Genre:
- Computing and Information Technology
- Condition:
- New
- Availability:
- Item usually sent within 5 working days
Description
Logic for Artificial Intelligence and Information Technology explores the application of logic in various fields, including theoretical computer science, software engineering, and artificial intelligence. This comprehensive guide introduces classical logic and its many extensions, such as temporal, modal, and fuzzy logics.
The book is based on student notes used to teach logic to undergraduate students at the University of London, and has been widely adopted in computer science and artificial intelligence research over the past 20 years. Dov Gabbay, a world authority on applied logics, provides a detailed introduction to the subject, defining various types of logics and their differences.
With its goal-directed approach and extensive coverage, this book is an essential resource for anyone looking to understand the role of logic in information technology and artificial intelligence.
Related Products
Related Products
OCaml Scientific Computing: Functional Programming in Data Science and Artificial Intelligence (Undergraduate Topics in Computer Science)
Wang, Liang
Revolutionary Mathematics: - Artificial Intelligence, - Statistics and the Logic - of Capitalism
Joque, Justin
Applied Scientific Computing: With Python (Texts in Computer Science)
Turner, Peter R.
The Algorithm Design Manual (Texts in Computer Science)
Skiena, Steven S.
Computer Science for Curious Kids: An Illustrated Introduction to Software Programming, Artificial Intelligence, Cyber-Security--and More!
Oxlade, Chris