doorgaan naar inhoud
Belief revision in non-classical logics Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

Belief revision in non-classical logics

Auteur: Márcio Moretto Ribeiro
Uitgever: London ; New York : Springer, ©2013.
Serie: SpringerBriefs in computer science.
Editie/Formaat:   eBoek : Document : EngelsAlle edities en materiaalsoorten bekijken.
Database:WorldCat
Samenvatting:
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  Meer lezen...
Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een online exemplaar

Links naar dit item

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Genre/Vorm: Electronic books
Aanvullende fysieke materiaalsoort: Print version:
Belief revision in non-classical logics.
London ; New York : Springer, ©2013
(OCoLC)788251188
Genre: Document, Internetbron
Soort document: Internetbron, Computerbestand
Alle auteurs / medewerkers: Márcio Moretto Ribeiro
ISBN: 9781447141860 1447141865
OCLC-nummer: 809055920
Beschrijving: 1 online resource (xi, 120 pages).
Inhoud: 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.
Serietitel: SpringerBriefs in computer science.
Verantwoordelijkheid: Márcio Moretto Ribeiro.
Meer informatie:

Fragment:

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  Meer lezen...

Beoordelingen

Professionele beoordelingen

Synopsis uitgever

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 Meer lezen...

 
Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.
Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde data


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

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.