Key Features:Includes balanced discussions on theory and practiceProvides readers with various practical ways of modeling and reasoning with agent epistemic states for decision making, such as resolution-based logic programming paradigm, Bayesian belief networks, and modal resolution...