aller au contenu
Belief revision in non-classical logics Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérifiant…

Belief revision in non-classical logics

Auteur : Márcio Moretto Ribeiro
Éditeur : London ; New York : Springer, ©2013.
Collection : SpringerBriefs in computer science.
Édition/format :   Livre électronique : Document : AnglaisVoir toutes les éditions et les formats
Base de données :WorldCat
Résumé :
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  Lire la suite...
Évaluation :

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

 

Trouver un exemplaire en ligne

Liens vers cet ouvrage

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Genre/forme : Electronic books
Format – détails additionnels : Print version:
Belief revision in non-classical logics.
London ; New York : Springer, c2013
(OCoLC)788251188
Type d’ouvrage : Document, Ressource Internet
Format : Ressource Internet, Fichier informatique
Tous les auteurs / collaborateurs : Márcio Moretto Ribeiro
ISBN : 9781447141860 1447141865
Numéro OCLC : 809055920
Description : 1 online resource (xi, 120 p.)
Contenu : 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.
Titre de collection : SpringerBriefs in computer science.
Responsabilité : Márcio Moretto Ribeiro.
Plus d’informations :

Résumé :

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  Lire la suite...

Critiques

Critiques éditoriales

Synopsis de l’éditeur

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 Lire la suite...

 
Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Tags

Soyez le premier.
Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


<http://www.worldcat.org/oclc/809055920>
library:oclcnum"809055920"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/809055920>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:bookFormatschema:EBook
schema:copyrightYear"2013"
schema:creator
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."
schema:exampleOfWork<http://worldcat.org/entity/work/id/1166220173>
schema:genre"Electronic books."
schema:inLanguage"en"
schema:name"Belief revision in non-classical logics"
schema:numberOfPages"120"
schema:publisher
schema:url<http://dx.doi.org/10.1007/978-1-4471-4186-0>
schema:url<http://site.ebrary.com/id/10593600>
schema:url
schema:workExample

Content-negotiable representations

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.