THE LOGIC OF KNOWLEDGE BASES - LEVESQUE H.J. & LAKEMEYER G. (LONDON : MIT, 2000)
Keywords: KNOWLEDGE REPRESENTATION : EXPERT SYSTEMS