skip to content
Belief revision in non-classical logics Preview this item
ClosePreview this item
Checking...

Belief revision in non-classical logics

Author: Márcio Moretto Ribeiro
Publisher: London : Springer, 2013.
Series: SpringerBriefs in Computer Science
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

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  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Márcio Moretto Ribeiro
ISBN: 9781447141853 1447141857 9781447141860 1447141865
OCLC Number: 818951477
Description: 120 S : Ill.
Contents: Preface.- Introduction.- 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.- Index.
Series Title: SpringerBriefs in Computer Science
Responsibility: Márcio Moretto Ribeiro.
More information:

Reviews

Editorial reviews

Publisher Synopsis

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 Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/818951477> # Belief revision in non-classical logics
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "818951477" ;
   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#Thing/systemes_logiques_non_classiques_logique_mathematique> ; # SYSTÈMES LOGIQUES NON CLASSIQUES (LOGIQUE MATHÉMATIQUE)
   schema:about <http://experiment.worldcat.org/entity/work/data/1166220173#Topic/wissensrevision> ; # Wissensrevision
   schema:about <http://experiment.worldcat.org/entity/work/data/1166220173#Topic/nichtklassische_logik> ; # Nichtklassische Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/1166220173#Thing/nichtklassische_logische_systeme_mathematische_logik> ; # NICHTKLASSISCHE LOGISCHE SYSTEME (MATHEMATISCHE LOGIK)
   schema:about <http://experiment.worldcat.org/entity/work/data/1166220173#Thing/theory_revision_mathematical_logic> ; # THEORY REVISION (MATHEMATICAL LOGIC)
   schema:about <http://experiment.worldcat.org/entity/work/data/1166220173#Thing/nonclassical_logical_systems_mathematical_logic> ; # NONCLASSICAL LOGICAL SYSTEMS (MATHEMATICAL LOGIC)
   schema:about <http://experiment.worldcat.org/entity/work/data/1166220173#Thing/revision_theorique_logique_mathematique> ; # RÉVISION THÉORIQUE (LOGIQUE MATHÉMATIQUE)
   schema:about <http://experiment.worldcat.org/entity/work/data/1166220173#Thing/theorieanpassung_mathematische_logik> ; # THEORIEANPASSUNG (MATHEMATISCHE LOGIK)
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1166220173#Person/ribeiro_marcio_moretto> ; # Márcio Moretto Ribeiro
   schema:datePublished "2013" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1166220173> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1166220173#Series/springerbriefs_in_computer_science> ; # SpringerBriefs in Computer Science
   schema:name "Belief revision in non-classical logics" ;
   schema:productID "818951477" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/818951477#PublicationEvent/london_springer_2013> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1166220173#Agent/springer> ; # Springer
   schema:workExample <http://worldcat.org/isbn/9781447141860> ;
   schema:workExample <http://worldcat.org/isbn/9781447141853> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/818951477> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://experiment.worldcat.org/entity/work/data/1166220173#Person/ribeiro_marcio_moretto> # Márcio Moretto Ribeiro
    a schema:Person ;
   schema:familyName "Ribeiro" ;
   schema:givenName "Márcio Moretto" ;
   schema:name "Márcio Moretto Ribeiro" ;
    .

<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/818951477> ; # Belief revision in non-classical logics
   schema:name "SpringerBriefs in Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/1166220173#Thing/nichtklassische_logische_systeme_mathematische_logik> # NICHTKLASSISCHE LOGISCHE SYSTEME (MATHEMATISCHE LOGIK)
    a schema:Thing ;
   schema:name "NICHTKLASSISCHE LOGISCHE SYSTEME (MATHEMATISCHE LOGIK)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1166220173#Thing/nonclassical_logical_systems_mathematical_logic> # NONCLASSICAL LOGICAL SYSTEMS (MATHEMATICAL LOGIC)
    a schema:Thing ;
   schema:name "NONCLASSICAL LOGICAL SYSTEMS (MATHEMATICAL LOGIC)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1166220173#Thing/revision_theorique_logique_mathematique> # RÉVISION THÉORIQUE (LOGIQUE MATHÉMATIQUE)
    a schema:Thing ;
   schema:name "RÉVISION THÉORIQUE (LOGIQUE MATHÉMATIQUE)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1166220173#Thing/systemes_logiques_non_classiques_logique_mathematique> # SYSTÈMES LOGIQUES NON CLASSIQUES (LOGIQUE MATHÉMATIQUE)
    a schema:Thing ;
   schema:name "SYSTÈMES LOGIQUES NON CLASSIQUES (LOGIQUE MATHÉMATIQUE)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1166220173#Thing/theorieanpassung_mathematische_logik> # THEORIEANPASSUNG (MATHEMATISCHE LOGIK)
    a schema:Thing ;
   schema:name "THEORIEANPASSUNG (MATHEMATISCHE LOGIK)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1166220173#Thing/theory_revision_mathematical_logic> # THEORY REVISION (MATHEMATICAL LOGIC)
    a schema:Thing ;
   schema:name "THEORY REVISION (MATHEMATICAL LOGIC)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1166220173#Topic/nichtklassische_logik> # Nichtklassische Logik
    a schema:Intangible ;
   schema:name "Nichtklassische Logik" ;
    .

<http://worldcat.org/isbn/9781447141853>
    a schema:ProductModel ;
   schema:isbn "1447141857" ;
   schema:isbn "9781447141853" ;
    .

<http://worldcat.org/isbn/9781447141860>
    a schema:ProductModel ;
   schema:isbn "1447141865" ;
   schema:isbn "9781447141860" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.