passa ai contenuti
Belief revision in non-classical logics Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

Belief revision in non-classical logics

Autore: Márcio Moretto Ribeiro
Editore: London ; New York : Springer, ©2013.
Serie: SpringerBriefs in computer science.
Edizione/Formato:   eBook : Document : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Sommario:
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  Per saperne di più…
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia online

Collegamenti a questo documento

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Genere/forma: Electronic books
Informazioni aggiuntive sul formato: Print version:
Belief revision in non-classical logics.
London ; New York : Springer, ©2013
(OCoLC)788251188
Tipo materiale: Document, Risorsa internet
Tipo documento: Internet Resource, Computer File
Tutti gli autori / Collaboratori: Márcio Moretto Ribeiro
ISBN: 9781447141860 1447141865
Numero OCLC: 809055920
Descrizione: 1 online resource (xi, 120 pages).
Contenuti: 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.
Titolo della serie: SpringerBriefs in computer science.
Responsabilità: Márcio Moretto Ribeiro.
Maggiori informazioni:

Abstract:

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  Per saperne di più…

Commenti

Recensioni editoriali

Sinossi editore

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 Per saperne di più…

 
Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


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."@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://lib.myilibrary.com/detail.asp?id=392418> ;
    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://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

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.