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

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