オンラインで入手
この資料へのリンク
オフラインで入手
この資料の所蔵館を検索中…
詳細
| ジャンル/形式: | Electronic books |
|---|---|
| その他のフォーマット: | Print version: Belief revision in non-classical logics. London ; New York : Springer, c2013 (OCoLC)788251188 |
| 資料の種類: | Document, インターネット資料 |
| ドキュメントの種類: | インターネットリソース, コンピューターファイル |
| すべての著者/寄与者: |
Márcio Moretto Ribeiro |
| ISBN: | 9781447141860 1447141865 |
| OCLC No.: | 809055920 |
| 形態 | 1 online resource (xi, 120 p.) |
| コンテンツ: | 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. |
| シリーズタイトル: | SpringerBriefs in computer science. |
| 責任者: | Márcio Moretto Ribeiro. |
概要:
Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. This title 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.
続きを読む
レビュー
編集者のレビュー
出版社によるあらすじ
From the reviews: "The book is truly self-contained, and the reader will appreciate that the proofs of all results, including the most well-known ones, are given in detail. The proposed generalisation of belief contraction and belief revision to classes of logics defined by properties of their consequence relations is a valuable addition to the field, with natural concepts and significant results." (Eric Martin, Zentralblatt MATH, Vol. 1256, 2013) 続きを読む
タグ
タグを追加 : "Belief revision in non-classical logics".
まずはあなたから!
