Publication | Closed Access

Resolving ambiguity in nonmonotonic inheritance hierarchies

Automated ReasoningType TheoryNonmonotonic LogicNonmonotonic Inheritance HierarchiesHigher-order LogicLinguistics