Default Logic: Non Monotonic Logic, Raymond Reiter, Closed World Assumption

Closed World Assumption: Formal Logic, Open Assumption, Raymond Reiter

Defeasible Logic: Reasoning, Common Sense, Non Monotonic Logic, Default Logic

Preferential Entailment: Non Monotonic Logic, Model (logic), Entailment

Unique Name Assumption: Ontology (computer science), Description Logic, Closed World Assumption