Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Belief Revision in Non-Classical Logics (Record no. 356584)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 03082nam a22005775i 4500
001 - Контрольный номер
Контрольное поле vtls000483435
005 - Дата корректировки
Контрольное поле 20210922065727.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 140715s2013 xxk| s |||| 0|eng d
020 ## - Индекс ISBN
ISBN 9781447141860
-- 978-1-4471-4186-0
024 7# - Прочие стандартные номера
Стандартный номер 10.1007/978-1-4471-4186-0
Источник номера doi
035 ## - Системный контрольный номер
Системный контрольный номер to000483435
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс Q334-342
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс TJ210.2-211.495
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UYQ
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории TJFM1
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории COM004000
Источник кода bisacsh
082 04 - Индекс Дьюи
Индекс Дьюи 006.3
Номер издания 23
100 1# - Автор
Автор Ribeiro, Márcio Moretto.
Роль лиц author.
9 (RLIN) 414195
245 10 - Заглавие
Заглавие Belief Revision in Non-Classical Logics
Физический носитель electronic resource
Ответственность by Márcio Moretto Ribeiro.
260 ## - Выходные данные
Место издания London :
Издательство Springer London :
-- Imprint: Springer,
Дата издания 2013.
300 ## - Физическое описание
Объем XI, 120 p. 5 illus.
Иллюстрации/тип воспроизводства online resource.
336 ## - Тип содержимого
Тип содержимого text
Content type code txt
Source rdacontent
337 ## - Средство доступа
Средство доступа computer
Media type code c
Source rdamedia
338 ## - Тип носителя
Тип носителя online resource
Carrier type code cr
Source rdacarrier
490 1# - Серия
Заглавие серии SpringerBriefs in Computer Science,
ISSN серии 2191-5768
505 0# - Примечание о содержании
Содержание Preface -- Introduction -- Consequence -- Logics -- Classical Belief Revision -- AGM Contraction in Non-Classical Logics -- AGM Revision in Logics without Negation -- Base Revision in Logics without Negation -- Algorithms for Belief Bases -- Conclusion -- Index.
520 ## - Аннотация
Аннотация Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; 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. The author also presents algorithms for the most important constructions in belief bases. Researchers and practitioners in theoretical computing will find this an invaluable resource.
650 #0 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 #0 - Тематические рубрики
Основная рубрика Genetic epistemology.
9 (RLIN) 308029
650 #0 - Тематические рубрики
Основная рубрика logic.
9 (RLIN) 295753
650 #0 - Тематические рубрики
Основная рубрика Ontology.
9 (RLIN) 294032
650 #0 - Тематические рубрики
Основная рубрика Artificial intelligence.
9 (RLIN) 274099
650 #0 - Тематические рубрики
Основная рубрика Logic, Symbolic and mathematical.
9 (RLIN) 293145
650 14 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 24 - Тематические рубрики
Основная рубрика Artificial Intelligence (incl. Robotics).
9 (RLIN) 274102
650 24 - Тематические рубрики
Основная рубрика Mathematical Logic and Formal Languages.
9 (RLIN) 303363
650 24 - Тематические рубрики
Основная рубрика Mathematical Logic and Foundations.
9 (RLIN) 306112
650 24 - Тематические рубрики
Основная рубрика Epistemology.
9 (RLIN) 308030
650 24 - Тематические рубрики
Основная рубрика Logic.
9 (RLIN) 295753
650 24 - Тематические рубрики
Основная рубрика Ontology.
9 (RLIN) 294032
710 2# - Другие организации
Организация/юрисдикция SpringerLink (Online service)
9 (RLIN) 143950
773 0# - Источник информации
Название источника Springer eBooks
830 #0 - Заголовок добавочной библ.записи на серию — унифицированное заглавие
Унифицированное заглавие SpringerBriefs in Computer Science,
9 (RLIN) 412137
856 40 - Электронный адрес документа
URL <a href="http://dx.doi.org/10.1007/978-1-4471-4186-0">http://dx.doi.org/10.1007/978-1-4471-4186-0</a>
912 ## - Coursera for Campus: онлайн курсы для ТГУ
Coursera for Campus: онлайн курсы для ТГУ ZDB-2-SCS
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 356584

No items available.