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....
Κύριος συγγραφέας: | Ribeiro, Márcio Moretto (Συγγραφέας) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
London :
Springer London : Imprint: Springer,
2013.
|
Σειρά: | SpringerBriefs in Computer Science,
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Probability Logics Probability-Based Formalization of Uncertain Reasoning /
ανά: Ognjanović, Zoran, κ.ά.
Έκδοση: (2016) -
Conditionals and Modularity in General Logics
ανά: Gabbay, Dov M., κ.ά.
Έκδοση: (2011) -
A New Perspective on Nonmonotonic Logics
ανά: Gabbay, Dov M., κ.ά.
Έκδοση: (2016) -
Logical Tools for Handling Change in Agent-Based Systems
ανά: Gabbay, Dov M., κ.ά.
Έκδοση: (2010) -
Reactive Kripke Semantics
ανά: Gabbay, Dov M.
Έκδοση: (2013)