Тейз А., Грибомон П. и др. Логический подход к искусственному интеллекту: От модальной логики к логике баз данных

Пер. с франц. — М.: Мир, 1998. — 494 с.: ил. — ISBN: 5-03-002519-7.Монография французских математиков, представляющая собой продолжение книги с тем же названием, но другим подзаголовком (М.: Мир, 1990). Она включает основы модальных и временных логик, анализ естественных языков, семантики Монтегю, немонотонных логик и логической теории баз данных. Изложение живое и наглядное, сопровождаемое графическими иллюстрациями, практическими рекомендациями.
Для всех изучающих и применяющих методы искусственного интеллекта и логического программирования.