pular para conteúdo
Belief revision in non-classical logics Ver prévia deste item
FecharVer prévia deste item
Checando...

Belief revision in non-classical logics

Autor: Márcio Moretto Ribeiro
Editora: London ; New York : Springer, ©2013.
Séries: SpringerBriefs in computer science.
Edição/Formato   e-book : Documento : InglêsVer todas as edições e formatos
Resumo:
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  Ler mais...
Classificação:

(ainda não classificado) 0 com críticas - Seja o primeiro.

Assuntos
Mais como este

 

Encontrar uma cópia on-line

Links para este item

Encontrar uma cópia na biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que possuem este item...

Detalhes

Gênero/Forma: Electronic books
Formato Físico Adicional: Print version:
Belief revision in non-classical logics.
London ; New York : Springer, ©2013
(OCoLC)788251188
Tipo de Material: Documento, Recurso Internet
Tipo de Documento Recursos de internet, Arquivo de computador
Todos os Autores / Contribuintes: Márcio Moretto Ribeiro
ISBN: 9781447141860 1447141865
Número OCLC: 809055920
Descrição: 1 online resource (xi, 120 pages).
Conteúdos: 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.
Título da Série: SpringerBriefs in computer science.
Responsabilidade: Márcio Moretto Ribeiro.

Resumo:

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  Ler mais...

Críticas

Críticas editoriais

Nielsen BookData

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 Ler mais...

 
Críticas contribuídas por usuários
Recuperando críticas GoodReas...
Recuperando comentários DOGObooks

Etiquetas

Seja o primeiro.
Confirmar esta solicitação

Você já pode ter solicitado este item. Por favor, selecione Ok se gostaria de proceder com esta solicitação de qualquer forma.

Dados Ligados


Primary Entity

<http://www.worldcat.org/oclc/809055920> # Belief revision in non-classical logics
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "809055920" ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/1166220173#Thing/mathematical_logic_and_foundations> ; # Mathematical Logic and Foundations.
   schema:about <http://dewey.info/class/005.1015113/e23/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1166220173#Thing/computer_science> ; # Computer science.
   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#Thing/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://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://experiment.worldcat.org/entity/work/data/1166220173#Topic/logic> ; # Logic
   schema:about <http://id.worldcat.org/fast/872265> ; # Computer 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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1166220173> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1166220173#Series/springerbriefs_in_computer_science> ; # SpringerBriefs in computer science.
   schema:isPartOf <http://worldcat.org/issn/2191-5776> ; # SpringerBriefs in computer science,
   schema:isSimilarTo <http://www.worldcat.org/oclc/788251188> ;
   schema:name "Belief revision in non-classical logics"@en ;
   schema:productID "809055920" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/809055920#PublicationEvent/london_new_york_springer_2013> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1166220173#Agent/springer> ; # Springer
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=972456> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-1-4471-4185-3> ;
   schema:url <http://www.myilibrary.com?id=392418> ;
   schema:url <http://link.springer.com/10.1007/978-1-4471-4186-0> ;
   schema:url <http://site.ebrary.com/id/10593600> ;
   schema:url <http://dx.doi.org/10.1007/978-1-4471-4186-0> ;
   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"@en ;
    .

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

<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: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

Fechar Janela

Por favor, conecte-se ao WorldCat 

Não tem uma conta? Você pode facilmente criar uma conta gratuita.