km#non_monotonic_reasoning__nonmonotonicreasoning
  exclusion:  monotonic_reasoning
  supertype:  knowledge_inference/reasoning/generation__knowledgeinference/reasoning/generation
  subtype:  belief_revision__beliefrevision
     subtype:  permissive_belief_revision

1 statement is about an indirect instance of non_monotonic_reasoning (permissive_belief_revision): graph6_on_article
  click here to display them or click here for a search form or here to add a statement