EntityQ1102454· pop 10· linked from 49 articlesclosed-world assumptionSign in to saveformal-logic assumption that any statement that is not known to be true is falseConnectionslogicEntityInternational Standard Book NumberEntitydatabaseEntitydigital object identifierEntitymathematical logicEntityknowledge managementEntityknowledge representation and reasoningEntitySpringer Science+Business MediaEntityconsistencyEntitylogical consequenceEntityPEntitycontrapositionEntityHorn clauseEntityoracle machineEntityco-NPEntitypolynomial hierarchyEntitynon-monotonic logicEntityArtificial Intelligence: A Modern ApproachEntitynegation as failureEntitydefault logicEntityCategoriesDatabase theoryKnowledge representationLogic programming