Concepedia
Principles of Knowledge Representation and Reasoning · 2000 · 34 citations · 0 references
ComputingComputer ScienceKnowledge RepresentationSet TheoryDirected Acyclic GraphsTemporal Knowledge RepresentationTemporal LogicTemporal OrderingInterval Temporal LogicInterval-based Representation