Concepedia
Future Generation Computer Systems · 1988 · 134 citations · 0 references
HumanitiesMathematicsDecision TheoryKnowledge RepresentationLogicDeductive ReasoningEpistemic LogicModal LogicNon-classical LogicBelief RevisionBelief UpdatingNonmonotonic LogicNonmonotonic ReasoningReasoning With Incomplete Information