Kernel contraction

From MaRDI portal
Publication:4314675


DOI10.2307/2275912zbMath0810.03017WikidataQ59699516 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


03B60: Other nonclassical logic

68T27: Logic in artificial intelligence


Related Items

Local Diagnosis, Reasoning with Uncertain and Inconsistent OWL Ontologies, Knowledge base dynamics, abduction, and database updates, OUTCOME LEVEL ANALYSIS OF BELIEF CONTRACTION, Credibility-limited Base Revision: New Classes and Their Characterizations, Dynamics of knowledge in D<scp>e</scp>LP through Argument Theory Change, EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS, (DIS)BELIEF CHANGE AND ARGUED FEED-BACK DIALOG, Scientific discovery on positive data via belief revision, A quantitative approach to belief revision in structured probabilistic argumentation, Bootstrap contraction, Prioritized and non-prioritized multiple change on belief bases, Global and iterated contraction and revision: an exploration of uniform and semi-uniform approaches, Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases, Rational evaluation in belief revision, Belief revision in structured probabilistic argumentation, model and application to cyber security, Studies on brutal contraction and severe withdrawal, AGM 25 years. Twenty-five years of research in belief change, On AGM for non-classical logics, A belief revision approach for argumentation-based negotiation agents, Residual contraction, Specified meet contraction, Preference-based belief revision for rule-based agents, Belief revision in the service of scientific discovery, Shielded base contraction, Rational metabolic revision based on core beliefs, Partial meet pseudo-contractions, Stratified belief bases revision with argumentative inference, Choice revision, Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies, Repertoire contraction, Multi-source multiple change on belief bases, Rethinking epistemic logic with belief bases, Belief base contraction by belief accrual, Blockage contraction, On the revision of informant credibility orders, Semi-revision, Unnamed Item