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....
Main Author: | Ribeiro, Márcio Moretto (Author) |
---|---|
Corporate Author: | SpringerLink (Online service) |
Format: | Electronic eBook |
Language: | English |
Published: |
London :
Springer London : Imprint: Springer,
2013.
|
Series: | SpringerBriefs in Computer Science,
|
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Similar Items
-
Probability Logics Probability-Based Formalization of Uncertain Reasoning /
by: Ognjanović, Zoran, et al.
Published: (2016) -
Conditionals and Modularity in General Logics
by: Gabbay, Dov M., et al.
Published: (2011) -
A New Perspective on Nonmonotonic Logics
by: Gabbay, Dov M., et al.
Published: (2016) -
Logical Tools for Handling Change in Agent-Based Systems
by: Gabbay, Dov M., et al.
Published: (2010) -
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings /
Published: (2008)