Nonclassical Logics and Information Processing, David Pearce; Heinrich Wansing
Автор: Ribeiro Название: Belief Revision in Non-Classical Logics ISBN: 1447141857 ISBN-13(EAN): 9781447141853 Издательство: Springer Рейтинг: Цена: 37220.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of logics that include - besides most Description Logics such as the ones behind OWL - Horn Logic and Intuitionistic logic, amongst others.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz