@inproceedings{eb7a789eae5547459a79f264b0d4099c,
title = "Customizing qualitative spatial and temporal calculi",
abstract = "Qualitative spatial and temporal calculi are usually formulated on a particular level of granularity and with a particular domain of spatial or temporal entities. If the granularity or the domain of an existing calculus doesn't match the requirements of an application, it is either possible to express all information using the given calculus or to customize the calculus. In this paper we distinguish the possible ways of customizing a spatial and temporal calculus and analyze when and how computational properties can be inherited from the original calculus. We present different algorithms for customizing calculi and proof techniques for analyzing their computational properties. We demonstrate our algorithms and techniques on the Interval Algebra for which we obtain some interesting results and observations. We close our paper with results from an empirical analysis which shows that customizing a calculus can lead to a considerably better reasoning performance than using the non-customized calculus.",
author = "Jochen Renz and Falko Schmid",
year = "2007",
doi = "10.1007/978-3-540-76928-6_31",
language = "English",
isbn = "9783540769262",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "293--304",
booktitle = "AI 2007",
address = "Germany",
note = "20th Australian Joint Conference on Artificial Intelligence, AI 2007 ; Conference date: 02-12-2007 Through 06-12-2007",
}