Journal of Visual Languages & Computing · 1998 · 16 citations · 10 references
ReasoningQualitative OrientationEngineeringReasoning SystemAutomated ReasoningModel-based ReasoningFormal MethodsClp ExtendedPositional InformationComputer ScienceKnowledge-based ReasoningSemanticsQualitative ReasoningComputer-assisted Reasoning
10
Maintaining knowledge about temporal intervals
James F. Allen · Communications of the ACM · 1983 · 7.5K citations · Full text