This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change. In particular the use of p

This book constitutes the refereed proceedings of the 43rd German Conference on Artificial Intelligence, KI 2020, held in Bamberg, Germany, in September 2020. T

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

This book explains how the logic of theory change employs formal models in the investigation of changes in belief states and databases. The topics covered inclu

The quick, easy way to get up-to-speed on the Win 32 API--completely updated--covers Windows 2000, NT4, and Windows 98/95. There are detailed chapters on every