コンテンツへ移動
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すべてのエディションとフォーマットを見る
データベース:WorldCat
概要:
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のレビューを取得中…
DOGObooksのレビューを取得中…

タグ

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

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

リンクデータ


Primary Entity

<http://www.worldcat.org/oclc/809055920> # Belief revision in non-classical logics
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "809055920" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    schema:about <http://id.worldcat.org/fast/872265> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/1166220173#Thing/mathematical_logic_and_foundations> ; # Mathematical Logic and Foundations.
    schema:about <http://experiment.worldcat.org/entity/work/data/1166220173#Thing/computer_science> ; # Computer science.
    schema:about <http://id.worldcat.org/fast/1739295> ; # Belief change
    schema:about <http://experiment.worldcat.org/entity/work/data/1166220173#Thing/artificial_intelligence> ; # Artificial intelligence.
    schema:about <http://dewey.info/class/005.1015113/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1166220173#Thing/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical.
    schema:about <http://experiment.worldcat.org/entity/work/data/1166220173#Topic/logic> ; # Logic
    schema:about <http://experiment.worldcat.org/entity/work/data/1166220173#Thing/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages.
    schema:about <http://experiment.worldcat.org/entity/work/data/1166220173#Thing/logic> ; # Logic.
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2013" ;
    schema:creator <http://viaf.org/viaf/284889340> ; # Márcio Moretto Ribeiro
    schema:datePublished "2013" ;
    schema:description "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." ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1166220173> ;
    schema:genre "Electronic books" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/2191-5776> ; # SpringerBriefs in computer science,
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1166220173#Series/springerbriefs_in_computer_science> ; # SpringerBriefs in computer science.
    schema:isSimilarTo <http://www.worldcat.org/oclc/788251188> ;
    schema:name "Belief revision in non-classical logics" ;
    schema:numberOfPages "120" ;
    schema:productID "809055920" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/809055920#PublicationEvent/london_new_york_springer_c2013> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1166220173#Agent/springer> ; # Springer
    schema:url <http://swb.eblib.com/patron/FullRecord.aspx?p=972456> ;
    schema:url <http://lib.myilibrary.com/detail.asp?id=392418> ;
    schema:url <http://dx.doi.org/10.1007/978-1-4471-4186-0> ;
    schema:url <http://site.ebrary.com/id/10593600> ;
    schema:workExample <http://worldcat.org/isbn/9781447141860> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/809055920> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
    schema:name "London" ;
    .

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1166220173#Series/springerbriefs_in_computer_science> # SpringerBriefs in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/809055920> ; # Belief revision in non-classical logics
    schema:name "SpringerBriefs in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1166220173#Thing/artificial_intelligence> # Artificial intelligence.
    a schema:Thing ;
    schema:name "Artificial intelligence." ;
    .

<http://experiment.worldcat.org/entity/work/data/1166220173#Thing/computer_science> # Computer science.
    a schema:Thing ;
    schema:name "Computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1166220173#Thing/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical.
    a schema:Thing ;
    schema:name "Logic, Symbolic and mathematical." ;
    .

<http://experiment.worldcat.org/entity/work/data/1166220173#Thing/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages.
    a schema:Thing ;
    schema:name "Mathematical Logic and Formal Languages." ;
    .

<http://experiment.worldcat.org/entity/work/data/1166220173#Thing/mathematical_logic_and_foundations> # Mathematical Logic and Foundations.
    a schema:Thing ;
    schema:name "Mathematical Logic and Foundations." ;
    .

<http://id.worldcat.org/fast/1739295> # Belief change
    a schema:Intangible ;
    schema:name "Belief change" ;
    .

<http://id.worldcat.org/fast/872265> # Computer logic
    a schema:Intangible ;
    schema:name "Computer logic" ;
    .

<http://viaf.org/viaf/284889340> # Márcio Moretto Ribeiro
    a schema:Person ;
    schema:familyName "Ribeiro" ;
    schema:givenName "Márcio Moretto" ;
    schema:name "Márcio Moretto Ribeiro" ;
    .

<http://worldcat.org/isbn/9781447141860>
    a schema:ProductModel ;
    schema:description "electronic bk." ;
    schema:isbn "1447141865" ;
    schema:isbn "9781447141860" ;
    .

<http://worldcat.org/issn/2191-5776> # SpringerBriefs in computer science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/809055920> ; # Belief revision in non-classical logics
    schema:issn "2191-5776" ;
    schema:name "SpringerBriefs in computer science," ;
    .

<http://www.worldcat.org/oclc/788251188>
    a schema:CreativeWork ;
    rdfs:label "Belief revision in non-classical logics." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/809055920> ; # Belief revision in non-classical logics
    .


Content-negotiable representations

ウインドウを閉じる

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

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