Related Books
Language: en
Pages: 241
Pages: 241
Type: BOOK - Published: 2020-03-27 - Publisher: Springer Nature
This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky's seminal work on frames, which has been highly influential
Language: en
Pages: 7289
Pages: 7289
Type: BOOK - Published: - Publisher: IOS Press
Language: en
Pages: 303
Pages: 303
Type: BOOK - Published: 2007-05-06 - Publisher: Springer Science & Business Media
Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Conc
Language: en
Pages: 1072
Pages: 1072
Type: BOOK - Published: 2014-08-27 - Publisher: Springer
This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wi
Language: en
Pages: 972
Pages: 972
Type: BOOK - Published: 2008 - Publisher: IOS Press
Includes subconference "Prestigious Applications of Intelligent Systems (PAIS 2008)."
