Логический подход к искусственному интеллекту от классической логики к логическому программированию
Логический подход к искусственному интеллекту: От модальной логики к логике баз данных
