Sökresultat för: Joseph Y. Halpern
Reasoning about Knowledge (Övrig)
avJoseph Y. Halpern, Yoram Moses, Moshe Y. Vardi, Ronald Fagin
ISBN: 9780262562003 - UTGIVEN: 2004-02-06Reasoning about knowledge--particularly the knowledge of agents who reason about the world and each other's knowledge--was once the exclusive province of philosophers and puzzle solvers. More recently, this type of reasoning has been shown to play a key role in a surprising number of contexts, from [...]
Reasoning About Uncertainty (Pocket)
avJoseph Y. Halpern
ISBN: 9780262582599 - UTGIVEN: 2005-09-16Uncertainty is a fundamental and unavoidable feature of daily life; in order to deal with uncertaintly intelligently, we need to be able to represent it and reason about it. In this book, Joseph Halpern examines formal ways of representing uncertainty and considers various logics for reasoning about[...]
