omitir hasta el contenido
Belief revision in non-classical logics Ver este material de antemano
CerrarVer este material de antemano
Chequeando…

Belief revision in non-classical logics

Autor: Márcio Moretto Ribeiro
Editorial: London ; New York : Springer, ©2013.
Serie: SpringerBriefs in computer science.
Edición/Formato:   Libro-e : Documento : Inglés (eng)Ver todas las ediciones y todos los formatos
Base de datos:WorldCat
Resumen:
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  Leer más
Calificación:

(todavía no calificado) 0 con reseñas - Ser el primero.

Temas
Más materiales como éste

 

Encontrar un ejemplar en línea

Enlaces a este material

Encontrar un ejemplar en la biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que tienen este material…

Detalles

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 en Internet
Tipo de documento: Recurso en Internet, Archivo de computadora
Todos autores / colaboradores: Márcio Moretto Ribeiro
ISBN: 9781447141860 1447141865
Número OCLC: 809055920
Descripción: 1 online resource (xi, 120 pages).
Contenido: 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 de la serie: SpringerBriefs in computer science.
Responsabilidad: Márcio Moretto Ribeiro.
Más información:

Resumen:

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  Leer más

Reseñas

Reseñas editoriales

Resumen de la editorial

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 Leer más

 
Reseñas contribuidas por usuarios
Recuperando reseñas de GoodReads…
Recuperando reseñas de DOGObooks…

Etiquetas

Ser el primero.
Confirmar este pedido

Ya ha pedido este material. Escoja OK si desea procesar el pedido de todos modos.

Datos enlazados


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://experiment.worldcat.org/entity/work/data/1166220173#Topic/computer_logic> ; # 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://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#Topic/belief_change> ; # Belief change
    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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1166220173> ;
    schema:genre "Electronic books"@en ;
    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"@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://dx.doi.org/10.1007/978-1-4471-4186-0> ;
    schema:url <http://www.myilibrary.com?id=392418> ;
    schema:url <http://site.ebrary.com/id/10593600> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=972456> ;
    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://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

Cerrar ventana

Inicie una sesión con WorldCat 

¿No tienes una cuenta? Puede fácilmente crear una cuenta gratuita.