A Formalization of Interval-Based Temporal Subsumption in First Order Logic.
VenueAECAI
Year1992
ProceedingsECAI Workshop on Knowledge Representation and Reasoning
DBLP recordconf/ecai/Bettini92 ↗
Browse the full ECAI paper archive.
Browse the full ECAI paper archive.