Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Kernel contraction - MaRDI portal

Kernel contraction

From MaRDI portal
Publication:4314675

DOI10.2307/2275912zbMath0810.03017OpenAlexW2912182247WikidataQ59699516 ScholiaQ59699516MaRDI QIDQ4314675

Sven Ove Hansson

Publication date: 18 December 1994

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275912



Related Items

Merging existential rules programs in multi-agent contexts through credibility accrual, A quantitative approach to belief revision in structured probabilistic argumentation, Blockage contraction, Shielded base contraction, Formalization and implementation of credibility dynamics through prioritized multiple revision, Knowledge base dynamics, abduction, and database updates, Bootstrap contraction, Knowledge-level analysis of belief base operations, Merging operators on stratified belief bases equipped with argumentative inference, Toward credible belief base revision, Deductive belief change, Levi and Harper identities for non-prioritized belief base change, Prioritized and non-prioritized multiple change on belief bases, Global and iterated contraction and revision: an exploration of uniform and semi-uniform approaches, Stratified belief bases revision with argumentative inference, Rational metabolic revision based on core beliefs, Unnamed Item, Partial meet pseudo-contractions, Credibility-limited Base Revision: New Classes and Their Characterizations, On the revision of informant credibility orders, Unnamed Item, Dynamics of knowledge in D<scp>e</scp>LP through Argument Theory Change, Belief base change as priority change: a study based on dynamic epistemic logic, (DIS)BELIEF CHANGE AND ARGUED FEED-BACK DIALOG, EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS, Credibility dynamics: a belief-revision-based trust model with pairwise comparisons, Specified meet contraction, Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases, Reasoning with Uncertain and Inconsistent OWL Ontologies, Rational evaluation in belief revision, Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies, Belief revision in structured probabilistic argumentation, model and application to cyber security, Studies on brutal contraction and severe withdrawal, Scientific discovery on positive data via belief revision, Repertoire contraction, AGM 25 years. Twenty-five years of research in belief change, On AGM for non-classical logics, Choice revision, OUTCOME LEVEL ANALYSIS OF BELIEF CONTRACTION, \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions, Multi-source multiple change on belief bases, Local Diagnosis, A belief revision approach for argumentation-based negotiation agents, Trust is all you need: from belief revision to information revision, Rethinking epistemic logic with belief bases, Preference-based belief revision for rule-based agents, Bayesian belief revision based on Agent's criteria, Belief base contraction by belief accrual, Selective base revisions, Residual contraction, Belief revision in the service of scientific discovery, Semi-revision