Subpages Classical Negation - Default Negation - Negation as Failure (NAF) - Logical Negation Closed World Assumption (CWA) - Argument From Ignorance (AFI) - Open World Assumption (OWA) Monotonic／Admissible - Non-Monotonic／Defeasible