%0 Conference Paper %1 citeulike:4544380 %A Wolter, Frank %A Zakharyaschev, Michael %B In Proceedings of the seventh Conference on Principles of Knowledge Representation and Reasoning, KR2000 %D 2000 %K calculus, logic, spatial, temporal %P 3--14 %T Spatio-temporal representation and reasoning based on RCC-8 %U http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.4558 %X this paper is to introduce a hierarchy of languages intended for qualitative spatio-temporal representation and reasoning, provide these languages with topological temporal semantics, construct effective reasoning algorithms, and estimate their computational complexity.

@inproceedings{citeulike:4544380, abstract = {this paper is to introduce a hierarchy of languages intended for qualitative spatio-temporal representation and reasoning, provide these languages with topological temporal semantics, construct effective reasoning algorithms, and estimate their computational complexity.}, added-at = {2009-05-19T18:00:18.000+0200}, author = {Wolter, Frank and Zakharyaschev, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2c74508afe60679506cde7e9e8e05215c/earthfare}, booktitle = {In Proceedings of the seventh Conference on Principles of Knowledge Representation and Reasoning, KR2000}, citeulike-article-id = {4544380}, description = {CiteULike: Everyone's library}, interhash = {402794e917ba256d03e46789610ae8de}, intrahash = {c74508afe60679506cde7e9e8e05215c}, keywords = {calculus, logic, spatial, temporal}, pages = {3--14}, posted-at = {2009-05-19 07:08:59}, priority = {5}, timestamp = {2009-05-19T18:03:27.000+0200}, title = {Spatio-temporal representation and reasoning based on RCC-8}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.4558}, year = 2000 }