コンテンツへ移動
Belief revision in non-classical logics 資料のプレビュー
閉じる資料のプレビュー

Belief revision in non-classical logics

著者: Márcio Moretto Ribeiro
出版: London ; New York : Springer, ©2013.
シリーズ: SpringerBriefs in computer science.
エディション/フォーマット:   電子書籍 : Document : Englishすべてのエディションとフォーマットを見る
概要:
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  続きを読む
評価:

(まだ評価がありません) 0 件のレビュー - まずはあなたから!

 

オンラインで入手

この資料へのリンク

オフラインで入手

&AllPage.SpinnerRetrieving; この資料の所蔵館を検索中…

詳細

ジャンル/形式: 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  続きを読む

レビュー

編集者のレビュー

出版社によるあらすじ

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 続きを読む

 
ユーザーレビュー
GoodReadsのレビューを取得中…

タグ

まずはあなたから!
リクエストの確認

あなたは既にこの資料をリクエストしている可能性があります。このリクエストを続行してよろしければ、OK を選択してください。

リンクデータ


<http://www.worldcat.org/oclc/809055920>
library:oclcnum"809055920"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/809055920>
rdf:typeschema:Book
rdfs:seeAlso
rdfs:seeAlso
schema:about
schema:about
schema:about
schema:about
schema:about
schema:author
schema:bookFormatschema:EBook
schema:copyrightYear"2013"
schema:datePublished"2013"
schema:inLanguage"en"
schema:name"Belief revision in non-classical logics"
schema:numberOfPages"120"
schema:publisher
schema:url<http://dx.doi.org/10.1007/978-1-4471-4186-0>
ウインドウを閉じる

WorldCatにログインしてください 

アカウントをお持ちではないですか?簡単に 無料アカウントを作成することができます。.