1 LEVESQUE, Hector J. The Logic of knowledge bases / Hector J. Levesque, Gerhard Lakemeyer. - Cambridge : MIT, 2000. - 004.89 LEV L