description
inference rule admissible in a non monotonic logic
@en
règle d'inférence d'une logique non monotone
@fr
name
non monotonic inference rule
@en
règle d'inférence non monotone
@fr
type
label
non monotonic inference rule
@en
règle d'inférence non monotone
@fr
prefLabel
non monotonic inference rule
@en
règle d'inférence non monotone
@fr