scientific article
From MaRDI portal
Publication:3093655
zbMath1237.03013arXiv1401.3902MaRDI QIDQ3093655
Ivan Varzinczak, Richard F. Booth, Renata Wassermann, Thomas Andreas Meyer
Publication date: 18 October 2011
Full work available at URL: https://arxiv.org/abs/1401.3902
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
partial meet contractionkernel contractionbelief set contractionHorn set contractioninfra contraction
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items (11)
Belief Merging by Examples ⋮ Belief Merging within Fragments of Propositional Logic ⋮ Merging in the Horn Fragment ⋮ Inter-definability of Horn contraction and Horn revision ⋮ Contraction in propositional logic ⋮ Belief Update Within Propositional Fragments ⋮ Toward credible belief base revision ⋮ Partial meet pseudo-contractions ⋮ Minimal change: relevance and recovery revisited ⋮ Belief revision in Horn theories ⋮ Rethinking epistemic logic with belief bases
This page was built for publication:
