LEVESQUE H.J. & LAKEMEYER G. THE LOGIC OF KNOWLEDGE BASES - LONDON : MIT 2000 - 282 p. ISBN: 0000262122324 Subjects--Topical Terms: KNOWLEDGE REPRESENTATION : EXPERT SYSTEMS Dewey Class. No.: 006.33 / L28