TY - BOOK AU - Poole David L AU - Mackworth Alan K TI - Artificial intelligence: Foundations of computational agents SN - 9781107195394 (HBK) U1 - D65,8(B):(S:72), Q0;Q7 PY - 2017/// CY - New York PB - Cambridge University Press KW - Propositions and inference KW - Reasoning planning and learning with cetainty KW - Reasoning with constraints KW - Computer Science N1 - References 751-771p.; Index 773-792p.; Reprint 2018 ER -