Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science
Author :
Publisher : Cambridge University Press
Total Pages : 376
Release :
ISBN-13 : 0521602807
ISBN-10 : 9780521602808
Rating : 4/5 (08 Downloads)

Book Synopsis Epistemic Logic for AI and Computer Science by : J.-J. Ch. Meyer

Download or read book Epistemic Logic for AI and Computer Science written by J.-J. Ch. Meyer and published by Cambridge University Press. This book was released on 2004-03-25 with total page 376 pages. Available in PDF, EPUB and Kindle. Book excerpt: A broad introduction to the subject; many exercises with full solutions are provided.


Epistemic Logic for AI and Computer Science Related Books

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.
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
Dynamic Epistemic Logic
Language: en
Pages: 303
Authors: Hans van Ditmarsch
Categories: Philosophy
Type: BOOK - Published: 2007-05-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Conc
Many-Dimensional Modal Logics: Theory and Applications
Language: en
Pages: 767
Authors: A. Kurucz
Categories: Computers
Type: BOOK - Published: 2003-10-21 - Publisher: Elsevier

DOWNLOAD EBOOK

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathema
Logics in Artificial Intelligence
Language: en
Pages: 462
Authors: Wolfgang Faber
Categories: Computers
Type: BOOK - Published: 2021-05-12 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, held as a virtual event, in May 2021. Th