×

Maintaining knowledge about temporal intervals. (English) Zbl 0519.68079


MSC:

68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68P20 Information storage and retrieval of data
PDF BibTeX XML Cite
Full Text: DOI Link