A Logical Semantics for Nonmonotonic Sorts

35472

Knowledge Triples