HAL (Le Centre pour la Communication Scientifique Directe) · 1988 · 406 citations · 0 references
HumanitiesComputer ScienceArtificial IntelligenceKnowledge RepresentationLogicAutomated ReasoningMathematical LogicModal LogicNon-classical LogicPredicate LogicTemporal LogicComputational LogicFormal ReasoningNonmonotonic ReasoningQualitative ReasoningSymbolic Logic
International audience