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

Авторы: /А.Тейз, П.Грибомон, Г.Юлен, А.Пирот, Д.Ролан, Д.Снайерс, М.Воклер, П.Гоше, П.Вольпер, Э.Грегуар, Ф.Дельсарт/, Пер. с франц. - М.: Мир, 1998.- 494 с.: ил.

Монография французских математиков, представляющая собой продолжение книги с тем же названием, но другим подзаголовком (М.: Мир, 1990). Она включает основы модальных и временных логик, анализ естественных языков, семантики Монтегю, немонотонных логик и логической теории баз данных. Изложение живое и наглядное, сопровождаемое графическими иллюстрациями, практическими рекомендациями.
Для всех изучающих и применяющих методы искусственного интеллекта и логического программирования.