scientific article; zbMATH DE number 7270430

zbMath1485.03034MaRDI QIDQ5131259

Theofanis Aravanis

Publication date: 5 November 2020

Full work available at URL: http://bulletin.math.uoc.gr/vol/64/64-69-91.pdf

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

knowledge representationdescription logicsbelief changedynamic parametrized-difference revisionHorn revisionparametrized-difference revision

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On AGM for non-classical logics
• Dynamic belief revision operators
• Propositional knowledge base revision and minimal change
• On the logic of iterated belief revision
• A survey of non-prioritized belief revision
• The semantic web. Semantics for data and services on the web
• Belief revision in Horn theories
• Kinetic Consistency and Relevance in Belief Revision
• Knowledge Base Revision in Description Logics
• A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$
• On the logic of theory change: Partial meet contraction and revision functions
• Credibility limited revision
• Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision
• Full Characterization of Parikh's Relevance-Sensitive Axiom for Belief Revision
• Belief Change
• Mechanizing Mathematical Reasoning

This page was built for publication: