Belief Revision in Non-Classical Logics
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....
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Ribeiro, Márcio Moretto (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
London :
Springer London : Imprint: Springer,
2013.
|
Edición: | 1st ed. 2013. |
Colección: | SpringerBriefs in Computer Science,
|
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Logical Tools for Handling Change in Agent-Based Systems
por: Gabbay, Dov M., et al.
Publicado: (2010) -
Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions /
por: Kaiser, Lukasz
Publicado: (2011) -
Probability Logics Probability-Based Formalization of Uncertain Reasoning /
por: Ognjanović, Zoran, et al.
Publicado: (2016) -
Conditionals and Modularity in General Logics
por: Gabbay, Dov M., et al.
Publicado: (2011) -
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday /
Publicado: (2005)