{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T23:22:26Z","timestamp":1773789746140,"version":"3.50.1"},"publisher-location":"Cham","reference-count":70,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319447599","type":"print"},{"value":"9783319447605","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-44760-5_11","type":"book-chapter","created":{"date-parts":[[2016,9,2]],"date-time":"2016-09-02T23:06:18Z","timestamp":1472857578000},"page":"171-189","source":"Crossref","is-referenced-by-count":6,"title":["Qualitative Privacy Description Language"],"prefix":"10.1007","author":[{"given":"Jasper","family":"van de Ven","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Dylla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,3]]},"reference":[{"key":"11_CR1","series-title":"The International Series in Engineering and Computer Science","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/0-387-23462-4_3","volume-title":"Privacy, Security and Trust within the Context of Pervasive Computing","author":"A G\u00f6rlach","year":"2005","unstructured":"G\u00f6rlach, A., Heinemann, A., Terpstra, W.W.: Survey on location privacy in pervasive computing. In: Robinson, P., Vogt, H., Wagealla, W. (eds.) Privacy, Security and Trust within the Context of Pervasive Computing. The International Series in Engineering and Computer Science, vol. 780, pp. 23\u201334. Springer, Heidelberg (2005)"},{"key":"11_CR2","first-page":"119","volume":"79","author":"H Nissenbaum","year":"2004","unstructured":"Nissenbaum, H.: Privacy as contextual integrity. Washington Law Rev. 79, 119 (2004)","journal-title":"Washington Law Rev."},{"issue":"1","key":"11_CR3","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/MPRV.2015.5","volume":"14","author":"F Schaub","year":"2015","unstructured":"Schaub, F., K\u00f6nings, B., Weber, M.: Context-adaptive privacy: leveraging context awareness to support privacy decision making. IEEE Pervasive Comput. 14(1), 34\u201343 (2015)","journal-title":"IEEE Pervasive Comput."},{"key":"11_CR4","volume-title":"Understanding Privacy","author":"DJ Solove","year":"2008","unstructured":"Solove, D.J.: Understanding Privacy. Harvard University Press, Cambridge (2008)"},{"issue":"4","key":"11_CR5","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1177\/002085239606200406","volume":"62","author":"CD Raab","year":"1996","unstructured":"Raab, C.D., Bennett, C.J.: Taking the measure of privacy: can data protection be evaluated? Int. Rev. Adm. Sci. 62(4), 535\u2013556 (1996)","journal-title":"Int. Rev. Adm. Sci."},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/3-540-45809-3_19","volume-title":"UbiComp 2002: Ubiquitous Computing","author":"M Langheinrich","year":"2002","unstructured":"Langheinrich, M.: A privacy awareness system for ubiquitous computing environments. In: Borriello, G., Holmquist, L.E. (eds.) UbiComp 2002. LNCS, vol. 2498, pp. 237\u2013245. Springer, Heidelberg (2002)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"K\u00f6nings, B., Schaub, F.: Territorial privacy in ubiquitous computing. In: Eighth International Conference on Wireless On-Demand Network Systems and Services (WONS), pp. 104\u2013108. IEEE (2011)","DOI":"10.1109\/WONS.2011.5720177"},{"key":"11_CR8","unstructured":"K\u00f6nings, B., Schaub, F., Weber, M., Kargl, F.: Towards territorial privacy in smart environments. In: Intelligent Information Privacy Management, Papers from the 2010 AAAI Spring Symposium, Technical report SS-10-05, Stanford, California, USA, 22\u201324 March 2010. AAAI (2010)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"K\u00f6nings, B., Schaub, F., Weber, M.: Who, how, and why? Enhancing privacy awareness in ubiquitous computing. In: 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM 2013 Workshops, San Diego, CA, USA, 18\u201322 March 2013, pp. 364\u2013367. IEEE (2013)","DOI":"10.1109\/PerComW.2013.6529517"},{"issue":"1","key":"11_CR10","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s00779-012-0633-z","volume":"18","author":"M Wernke","year":"2014","unstructured":"Wernke, M., Skvortsov, P., D\u00fcrr, F., Rothermel, K.: A classification of location privacy attacks and approaches. Pers. Ubiquit. Comput. 18(1), 163\u2013175 (2014)","journal-title":"Pers. Ubiquit. Comput."},{"key":"11_CR11","unstructured":"Kumaraguru, P., Cranor, L., Lobo, J., Calo, S.: A survey of privacy policy languages. In: SOUPS 2007: Proceedings of the 3rd Symposium on Usable Privacy and Security (2007)"},{"key":"11_CR12","unstructured":"Kasem-Madani, S., Meier, M.: Security and privacy policy languages: a survey, categorization and gap identification. CoRR abs\/1512.00201 (2015)"},{"key":"11_CR13","unstructured":"Matheus, A., Herrmann, J.: Geospatial eXtensible Access Control Markup Language (GeoXACML) - Version 1 Corrigendum. Open Geospatial Consortium Inc., OGC (2011)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Herrmann, J.: Administration of (geo)xacml policies for spatial data infrastructures. In: Bertino, E., Damiani, M.L., Ghinita, G. (eds.) Proceedings of the 4th ACM SIGSPATIAL International Workshop on Security and Privacy in GIS and LBS, SPRINGL 2011, November 1st, 2011, pp. 53\u201359. ACM, Chicago (2011)","DOI":"10.1145\/2071880.2071891"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Barth, A., Datta, A., Mitchell, J.C., Nissenbaum, H.: Privacy and contextual integrity: Framework and applications. In: IEEE Symposium on Security and Privacy (S&P 2006), 21\u201324 May 2006, Berkeley, California, USA, pp. 184\u2013198. IEEE Computer Society (2006)","DOI":"10.1109\/SP.2006.32"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Barth, A., Mitchell, J.C., Datta, A., Sundaram, S.: Privacy and utility in business processes. In: 20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy, pp. 279\u2013294. IEEE Computer Society (2007)","DOI":"10.1109\/CSF.2007.26"},{"key":"11_CR17","unstructured":"Dillaway, B., Hogg, J.: Security policy assertion language (SecPal) specification, version 1.0. Microsoft Research, 15 February 2007"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Becker, M.Y., Fournet, C., Gordon, A.D.: Design and semantics of a decentralized authorization language. In: 20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy, pp. 3\u201315. IEEE Computer Society (2007)","DOI":"10.1109\/CSF.2007.18"},{"issue":"4","key":"11_CR19","doi-asserted-by":"crossref","first-page":"619","DOI":"10.3233\/JCS-2009-0364","volume":"18","author":"MY Becker","year":"2010","unstructured":"Becker, M.Y., Fournet, C., Gordon, A.D.: SecPal: design and semantics of a decentralized authorization language. J. Comput. Secur. 18(4), 619\u2013665 (2010)","journal-title":"J. Comput. Secur."},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Ni, Q., Trombetta, A., Bertino, E., Lobo, J.: Privacy-aware role based access control. In: Lotz, V., Thuraisingham, B.M. (eds.) SACMAT 2007, 12th ACM Symposium on Access Control Models and Technologies Proceedings, Sophia Antipolis, France, 20\u201322 June 2007, pp. 41\u201350. ACM (2007)","DOI":"10.1145\/1266840.1266848"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Ni, Q., Bertino, E., Lobo, J., Brodie, C., Karat, C.-M., Karat, J., Trombetta, A.: Privacy-aware role-based access control. ACM Trans. Inf. Syst. Secur. 13(3) (2010)","DOI":"10.1145\/1805974.1805980"},{"key":"11_CR22","unstructured":"Becker, M.Y., Malkis, A., Bussard, L.: A framework for privacy preferences and data-handling policies. Technical report, Microsoft Research Cambridge Technical Report, MSR-TR-2009-128 (2009)"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/978-3-319-17016-9_21","volume-title":"Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance","author":"M Azraoui","year":"2015","unstructured":"Azraoui, M., Elkhiyaoui, K., \u00d6nen, M., Bernsmed, K., De Oliveira, A.S., Sendor, J.: A-PPL: an accountability policy language. In: Garcia-Alfaro, J., Herrera-Joancomart\u00ed, J., Lupu, E., Posegga, J., Aldini, A., Martinelli, F., Suri, N. (eds.) DPM\/SETOP\/QASA 2014. LNCS, vol. 8872, pp. 319\u2013326. Springer, Heidelberg (2015)"},{"key":"11_CR24","unstructured":"Benghabrit, W., Grall, H., Royer, J., Sellami, M., Azraoui, M., Elkhiyaoui, K., \u00d6nen, M., de Oliveira, A.S., Bernsmed, K.: A cloud accountability policy representation framework. In: Helfert, M., Desprez, F., Ferguson, D., Leymann, F., Mu\u00f1oz, V.M., eds.: CLOSER 2014 - Proceedings of the 4th International Conference on Cloud Computing and Services Science, Barcelona, Spain, 3\u20135 April 2014, pp. 489\u2013498. SciTePress (2014)"},{"key":"11_CR25","unstructured":"Reiff-Marganiec, S., Turner, K., Blair, L., Campbell, G., Wang, F.: Appel: An adaptable and programmable policy environment and language. Technical report, Technical report CSM-161, Department of Computing Science and Mathematics, University of Stirling, UK (2014)"},{"key":"11_CR26","unstructured":"Langheinrich, M.: A P3P preference exchange language (APPEL). W3C Working Draft (2001)"},{"issue":"5","key":"11_CR27","doi-asserted-by":"crossref","first-page":"809","DOI":"10.1016\/j.comnet.2005.01.004","volume":"48","author":"R Agrawal","year":"2005","unstructured":"Agrawal, R., Kiernan, J., Srikant, R., Xu, Y.: XPref: a preference language for P3P. Comput. Netw. 48(5), 809\u2013827 (2005)","journal-title":"Comput. Netw."},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Iyilade, J., Vassileva, J.: P2U: A privacy policy specification language for secondary data sharing and usage. In: 35 IEEE Security and Privacy Workshops, SPW 2014, San Jose, CA, USA, 17\u201318 May 2014, pp. 18\u201322. IEEE Computer Society (2014)","DOI":"10.1109\/SPW.2014.12"},{"key":"11_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/978-3-319-08867-9_9","volume-title":"Computer Aided Verification","author":"O Chowdhury","year":"2014","unstructured":"Chowdhury, O., Jia, L., Garg, D., Datta, A.: Temporal mode-checking for runtime monitoring of privacy policies. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 131\u2013149. Springer, Heidelberg (2014)"},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"Chowdhury, O., Gampe, A., Niu, J., von Ronne, J., Bennatt, J., Datta, A., Jia, L., Winsborough, W.H.: Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule. In: Conti, M., Vaidya, J., Schaad, A. (eds.) 18th ACM Symposium on Access Control Models and Technologies, SACMAT 2013, Amsterdam, The Netherlands, 12\u201314 June 2013, pp. 3\u201314. ACM (2013)","DOI":"10.1145\/2462410.2462423"},{"key":"11_CR31","unstructured":"Hada, S., Kudo, M.: XML access control language: provisional authorization for XML documents. Language Specification (2000)"},{"key":"11_CR32","unstructured":"Damianou, N., Dulay, N., Lupu, E., Sloman, M.: A language for specifying security and management policies for distributed systems. Technical report 20, Department of Computing, Imperial College, London (2000)"},{"key":"11_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-44569-2_2","volume-title":"Policies for Distributed Systems and Networks","author":"N Damianou","year":"2001","unstructured":"Damianou, N., Dulay, N., Lupu, E.C., Sloman, M.: The ponder policy specification language. In: Sloman, M., Lobo, J., Lupu, E.C. (eds.) POLICY 2001. LNCS, vol. 1995, p. 18. Springer, Heidelberg (2001)"},{"key":"11_CR34","doi-asserted-by":"crossref","unstructured":"Erlingsson, \u00da., Schneider, F.B.: IRM enforcement of Java stack inspection. In: IEEE Symposium on Security and Privacy, Berkeley, California, USA, 14\u201317 May 2000, pp. 246\u2013255. IEEE Computer Society (2000)","DOI":"10.1109\/SECPRI.2000.848461"},{"key":"11_CR35","unstructured":"Hallam-Baker, P.: Security assertions markup language, 1\u201324, May 14 2001"},{"key":"11_CR36","unstructured":"Hughes, J., Maler, E.: Security assertion markup language (SAML) v2. 0 technical overview. OASIS SSTC Working Draft sstc-saml-tech-overview-2.0-draft-08 (2005)"},{"key":"11_CR37","unstructured":"Lalana, K.: Rei: A policy language for the me-centric project. Technical report, TechReport, HP Labs (2002)"},{"key":"11_CR38","doi-asserted-by":"crossref","unstructured":"Bauer, L., Ligatti, J., Walker, D.: A language and system for composing security policies. Technical report, Princeton University (2004)","DOI":"10.1145\/1064978.1065047"},{"key":"11_CR39","unstructured":"OASIS Standard: eXtensible Access Control Markup Language (XACML)version 2.0 (2005). http:\/\/docs.oasisopen.org\/xacml\/2.0\/access_control-xacml-2.0-core-spec-os.pdf"},{"issue":"1","key":"11_CR40","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/j.entcs.2007.10.013","volume":"197","author":"I Aktug","year":"2008","unstructured":"Aktug, I., Naliuka, K.: ConSpec - a formal language for policy specification. Electr. Notes Theor. Comput. Sci. 197(1), 45\u201358 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"11_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-25271-6_1","volume-title":"Formal Methods for Components and Objects","author":"D Oheimb von","year":"2011","unstructured":"von Oheimb, D., M\u00f6dersheim, S.: ASLan++ \u2014 a formal security specification language for distributed systems. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) Formal Methods for Components and Objects. LNCS, vol. 6957, pp. 1\u201322. Springer, Heidelberg (2011)"},{"issue":"2","key":"11_CR42","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/293411.293455","volume":"42","author":"J Reagle","year":"1999","unstructured":"Reagle, J., Cranor, L.F.: The platform for privacy preferences. Commun. ACM 42(2), 48\u201355 (1999)","journal-title":"Commun. ACM"},{"key":"11_CR43","unstructured":"Cranor, L., Langheinrich, M., Marchiori, M., Reagle, J.: The platform for privacy preferences 1.0 (P3P1.0) specification. W3C Recommendation, April 2002"},{"key":"11_CR44","unstructured":"Bohrer, K., Holland, B.: Customer profile exchange (CPExchange) specification. public document"},{"key":"11_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/3-540-36467-6_6","volume-title":"Privacy Enhancing Technologies","author":"G Karjoth","year":"2003","unstructured":"Karjoth, G., Schunter, M., Waidner, M.: Platform for enterprise privacy practices: privacy-enabled management of customer data. In: Dingledine, R., Syverson, P.F. (eds.) PET 2002. LNCS, vol. 2482, pp. 69\u201384. Springer, Heidelberg (2003)"},{"key":"11_CR46","doi-asserted-by":"crossref","unstructured":"Ashley, P., Hada, S., Karjoth, G., Schunter, M.: E-P3P privacy policies and privacy authorization. In: Jajodia, S., Samarati, P., (eds.) Proceedings of the 2002 ACM Workshop on Privacy in the Electronic Society, WPES 2002, Washington, DC, USA, 21 November 2002, pp. 103\u2013109. ACM (2002)","DOI":"10.1145\/644527.644538"},{"key":"11_CR47","unstructured":"Ashley, P., Hada, S., Karjoth, G., Powers, C., Schunter, M.: Enterprise privacy authorization language (EPAL 1.2). Submission to W3C (2003)"},{"key":"11_CR48","doi-asserted-by":"crossref","unstructured":"May, M.J., Gunter, C.A., Lee, I.: Privacy APIs: access control techniques to analyze and verify legal privacy policies. In: 19th IEEE Computer Security Foundations Workshop, (CSFW-19 2006), 5\u20137 July 2006, Venice, Italy, pp. 85\u201397. IEEE Computer Society (2006)","DOI":"10.1109\/CSFW.2006.24"},{"key":"11_CR49","unstructured":"Vimercati, G., Paraboschi, S., Pedrini, E., Preiss, F.S., Raggett, D., Samarati, P., Trabelsi, S., Verdicchio, M.: Primelife policy language (2009)"},{"key":"11_CR50","doi-asserted-by":"crossref","unstructured":"Trabelsi, S., Sendor, J., Reinicke, S.: PPL: primelife privacy policy engine. In: POLICY 2011, IEEE International Symposium on Policies for Distributed Systems and Networks, Pisa, Italy, 6\u20138 June 2011, pp. 184\u2013185. IEEE Computer Society (2011)","DOI":"10.1109\/POLICY.2011.24"},{"key":"11_CR51","doi-asserted-by":"crossref","unstructured":"DeYoung, H., Garg, D., Jia, L., Kaynar, D.K., Datta, A.: Experiences in the logical specification of the HIPAA and GLBA privacy laws. In: Al-Shaer, E., Frikken, K.B. (eds.) Proceedings of the 2010 ACM Workshop on Privacy in the Electronic Society, WPES 2010, Chicago, Illinois, USA, 4 October 2010, pp. 73\u201382. ACM (2010)","DOI":"10.1145\/1866919.1866930"},{"key":"11_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1007\/978-3-642-15918-3_6","volume-title":"Web Reasoning and Rule Systems","author":"A Khandelwal","year":"2010","unstructured":"Khandelwal, A., Bao, J., Kagal, L., Jacobi, I., Ding, L., Hendler, J.: Analyzing the AIR language: a semantic web (production) rule language. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol. 6333, pp. 58\u201372. Springer, Heidelberg (2010)"},{"key":"11_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/978-3-642-17714-9_10","volume-title":"Information Systems Security","author":"MY Becker","year":"2010","unstructured":"Becker, M.Y., Malkis, A., Bussard, L.: A practical generic privacy language. In: Jha, S., Mathuria, A. (eds.) ICISS 2010. LNCS, vol. 6503, pp. 125\u2013139. Springer, Heidelberg (2010)"},{"key":"11_CR54","doi-asserted-by":"crossref","unstructured":"Yang, J., Yessenov, K., Solar-Lezama, A.: A language for automatically enforcing privacy policies. In: Field, J., Hicks, M. (eds.) Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, 22\u201328 January 2012, pp. 85\u201396. ACM (2012)","DOI":"10.1145\/2103656.2103669"},{"issue":"2","key":"11_CR55","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0920-5489(03)00003-5","volume":"25","author":"V Senicar","year":"2003","unstructured":"Senicar, V., Jerman-Blazic, B., Klobucar, T.: Privacy-enhancing technologies - approaches and development. Comput. Stand. Interfaces 25(2), 147\u2013158 (2003)","journal-title":"Comput. Stand. Interfaces"},{"issue":"7","key":"11_CR56","doi-asserted-by":"crossref","first-page":"769","DOI":"10.1002\/spe.1131","volume":"43","author":"M Hafiz","year":"2013","unstructured":"Hafiz, M.: A pattern language for developing privacy enhancing technologies. Softw. Pract. Exper. 43(7), 769\u2013787 (2013)","journal-title":"Softw. Pract. Exper."},{"key":"11_CR57","doi-asserted-by":"crossref","unstructured":"Cherrueau, R., Douence, R., S\u00fcdholt, M.: A language for the composition of privacy-enforcement techniques. In: IEEE TrustCom\/BigDataSE\/ISPA, Helsinki, Finland, 20\u201322 August 2015, vol. 1, pp. 1037\u20131044. IEEE (2015)","DOI":"10.1109\/Trustcom.2015.480"},{"issue":"4","key":"11_CR58","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1080\/13691189809358981","volume":"1","author":"S Fischer-H\u00fcbner","year":"1998","unstructured":"Fischer-H\u00fcbner, S.: Privacy and security at risk in the global information society. Inf. Commun. Soc. 1(4), 420\u2013441 (1998)","journal-title":"Inf. Commun. Soc."},{"key":"11_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-36467-6_1","volume-title":"Privacy Enhancing Technologies","author":"I Goldberg","year":"2003","unstructured":"Goldberg, I.: Privacy-enhancing technologies for the internet, II: five years later. In: Dingledine, R., Syverson, P.F. (eds.) PET 2002. LNCS, vol. 2482, pp. 1\u201312. Springer, Heidelberg (2003)"},{"key":"11_CR60","doi-asserted-by":"crossref","unstructured":"Goldberg, I., Wagner, D., Brewer, E.: Privacy-enhancing technologies for the internet. In: Proceedings, COMPCON 1997, pp. 103\u2013109. IEEE, February 1997","DOI":"10.1109\/CMPCON.1997.584680"},{"key":"11_CR61","volume-title":"Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge","author":"B Kuipers","year":"1994","unstructured":"Kuipers, B.: Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. The MIT Press, Cambridge (1994)"},{"issue":"1\u20132","key":"11_CR62","first-page":"1","volume":"46","author":"AG Cohn","year":"2001","unstructured":"Cohn, A.G., Hazarika, S.M.: Qualitative spatial representation and reasoning: an overview. Fundamenta Informaticae 46(1\u20132), 1\u201329 (2001)","journal-title":"Fundamenta Informaticae"},{"key":"11_CR63","doi-asserted-by":"crossref","unstructured":"Renz, J., Nebel, B.: Qualitative spatial reasoning using constraint calculi. In: Handbook of Spatial Logics, pp. 161\u2013215 (2007)","DOI":"10.1007\/978-1-4020-5587-4_4"},{"key":"11_CR64","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-45460-8_14","volume-title":"Spatial Cognition II","author":"J Renz","year":"2000","unstructured":"Renz, J., Rauh, R., Knauff, M.: Towards cognitive adequacy of topological spatial relations. In: Habel, C., Brauer, W., Freksa, C., Wender, K.F. (eds.) Spatial Cognition 2000. LNCS (LNAI), vol. 1849, pp. 184\u2013197. Springer, Heidelberg (2000)"},{"key":"11_CR65","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1023\/A:1009712514511","volume":"1","author":"AG Cohn","year":"1997","unstructured":"Cohn, A.G., Bennett, B., Gooday, J.M., Gotts, N.: RCC: a calculus for region based qualitative spatial reasoning. GeoInformatica 1, 275\u2013316 (1997)","journal-title":"GeoInformatica"},{"key":"11_CR66","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceeding of FOCS, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"issue":"5","key":"11_CR67","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/BF01211865","volume":"6","author":"AP Sistla","year":"1994","unstructured":"Sistla, A.P.: Safety, liveness and fairness in temporal logic. Formal Aspects Comput. 6(5), 495\u2013511 (1994)","journal-title":"Formal Aspects Comput."},{"key":"11_CR68","unstructured":"Dylla, F., Kreutzmann, A., Wolter, D.: A qualitative representation of social conventions for application in robotics. In: AAAI Spring Symposium Series (2014)"},{"key":"11_CR69","volume-title":"Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions","author":"D Wolter","year":"2011","unstructured":"Wolter, D., Wallgr\u00fcn, J.O.: Qualitative spatial reasoning for applications: new challenges and the SparQ toolbox. In: Hazarika, S.M. (ed.) Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions. IGI Global, Hershey (2011)"},{"key":"11_CR70","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1007\/978-3-319-14112-1_26","volume-title":"Ambient Intelligence","author":"J Ven van de","year":"2014","unstructured":"van de Ven, J., Dylla, F.: Privacy classification for ambient intelligence. In: Aarts, E., de Ruyter, B., Markopoulos, P., van Loenen, E., Wichert, R., Schouten, B., Terken, J., Van Kranenburg, R., Ouden, E.D., O\u2019Hare, G. (eds.) AmI 2014. LNCS, vol. 8850, pp. 328\u2013343. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Privacy Technologies and Policy"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-44760-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T05:19:25Z","timestamp":1568351965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-44760-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319447599","9783319447605"],"references-count":70,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-44760-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}