přejít na obsah
Belief revision in non-classical logics Náhled dokumentu
ZavřítNáhled dokumentu
Probíhá kontrola...

Belief revision in non-classical logics

Autor Márcio Moretto Ribeiro
Vydavatel: London ; New York : Springer, ©2013.
Edice: SpringerBriefs in computer science.
Vydání/formát:   e-kniha : Document : EnglishZobrazit všechny vydání a formáty
Databáze:WorldCat
Shrnutí:
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  Přečíst více...
Hodnocení:

(ještě nehodnoceno) 0 zobrazit recenze - Buďte první.

Předmětová hesla:
Více podobných

 

Najít online exemplář

Odkazy na tento dokument

Vyhledat exemplář v knihovně

&AllPage.SpinnerRetrieving; Vyhledávání knihoven, které vlastní tento dokument...

Detaily

Žánr/forma: Electronic books
Doplňující formát: Print version:
Belief revision in non-classical logics.
London ; New York : Springer, c2013
(OCoLC)788251188
Typ materiálu: Document, Internetový zdroj
Typ dokumentu: Internet Resource, Computer File
Všichni autoři/tvůrci: Márcio Moretto Ribeiro
ISBN: 9781447141860 1447141865
OCLC číslo: 809055920
Popis: 1 online resource (xi, 120 p.)
Obsahy: 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.
Název edice: SpringerBriefs in computer science.
Odpovědnost: Márcio Moretto Ribeiro.
Více informací:

Anotace:

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  Přečíst více...

Recenze

Recenze redakce

Souhrn od vydavatele

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 Přečíst více...

 
Recenze vložené uživatelem
Nahrávání recenzí GoodReads...
Přebírání recenzí DOGO books...

Štítky

Buďte první.
Potvrdit tento požadavek

Tento dokument jste si již vyžádali. Prosím vyberte Ok pokud chcete přesto v žádance pokračovat.

Propojená data


<http://www.worldcat.org/oclc/809055920>
library:oclcnum"809055920"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:MediaObject
rdf:typeschema:Book
rdf:valueUnknown value: dct
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:bookFormatschema:EBook
schema:copyrightYear"2013"
schema:creator
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
schema:name"Belief revision in non-classical logics"
schema:numberOfPages"120"
schema:publication
schema:publisher
schema:url<http://dx.doi.org/10.1007/978-1-4471-4186-0>
schema:url<http://site.ebrary.com/id/10593600>
schema:workExample
wdrs:describedby

Content-negotiable representations

Zavřít okno

Prosím přihlaste se do WorldCat 

Nemáte účet? Můžete si jednoduše vytvořit bezplatný účet.