Artificial Intelligence - foundations of computational agents -- 5.5.2 Proof Procedures for Complete Knowledge

5.5.1 Non-monotonic Reasoning

5.5 Complete Knowledge
Assumption

5.5.2.1 Bottom-Up Procedure

Third edition of Artificial Intelligence: foundations of computational agents, Cambridge University Press, 2023 is now available (including the full text).

5.5.2 Proof Procedures for Complete Knowledge