{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:10:23Z","timestamp":1729671023368,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/civemsa.2017.7995299","type":"proceedings-article","created":{"date-parts":[[2017,7,31]],"date-time":"2017-07-31T16:38:11Z","timestamp":1501519091000},"page":"42-47","source":"Crossref","is-referenced-by-count":0,"title":["Towards a qualitative representation for specifying natural language"],"prefix":"10.1109","author":[{"given":"Richard","family":"Dapoigny","sequence":"first","affiliation":[]},{"given":"Patrick","family":"Barlatier","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-6526(07)03013-1"},{"key":"ref11","first-page":"108","article-title":"A Coq-based axiomatization of Tarski's","author":"dapoigny","year":"2015","journal-title":"Mereogeometry COSIT'2015"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1231081462"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.4064\/fm-52-3-323-344"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/59287.59293"},{"key":"ref15","first-page":"129","article-title":"Podstawy ogólnej teoryi mnogosci. I","volume":"1","author":"le?niewski","year":"1992","journal-title":"Moskow Prace Polskiego Kola N aukowego w Moskwie Sekcya matematyczno-przyrodnicza"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2006.130"},{"key":"ref17","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2028.001.0001","author":"mallot","year":"2000","journal-title":"Computational Vision Information Processing in Perception and Visual Behavior"},{"key":"ref18","first-page":"165","article-title":"A spatial logic based on regions and connection","author":"randell","year":"1992","journal-title":"Proc 3rd Int Conf on Knowledge Representation and Reasoning"},{"key":"ref19","first-page":"215","article-title":"Natural language spatial relations between linear and areal objects: The topology and metric of English language terms","volume":"12","author":"shariff","year":"1998","journal-title":"Int Journal of Geographical Information Science"},{"key":"ref4","first-page":"145","article-title":"A categorical axiomatisation of region-based geometry","volume":"46","author":"bennett","year":"2001","journal-title":"Fundamenta Informaticae"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1515\/9783110872576.393"},{"key":"ref6","first-page":"220","article-title":"A pointless theory of space based on strong congruence and connection","author":"borgo","year":"1996","journal-title":"Procs of 5th Int Conf on Principle of Knowledge Representation and Reasoning (KR'96)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1333560806"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093883455"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2307\/2266170"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9934-4"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.2307\/2272847"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.4064\/fm-52-3-345-350"},{"journal-title":"Parts A Study in Ontology","year":"1987","author":"simons","key":"ref20"},{"key":"ref22","first-page":"29","article-title":"Les fondements de la géométrie des corps (Foundations of the geometry of solids)","volume":"7","author":"tarski","year":"1929","journal-title":"Ksiega Pamiatkowa Pierwszego Polskiego Zjazdu Matematycznego"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/BF00139700"},{"key":"ref24","article-title":"Robotic mapping: A survey","author":"thrun","year":"2002","journal-title":"Exploring Artificial Intelligence in the New Millenium"},{"key":"ref23","first-page":"1923","article-title":"Foundations of the geometry of solids","author":"tarski","year":"1956","journal-title":"Logic Semantics Metamathematics"},{"journal-title":"Geographic Information Systems A Computing Perspective","year":"2004","author":"worboys","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(96)00017-1"}],"event":{"name":"2017 IEEE International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications (CIVEMSA)","start":{"date-parts":[[2017,6,26]]},"location":"Annecy, France","end":{"date-parts":[[2017,6,28]]}},"container-title":["2017 IEEE International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications (CIVEMSA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7989854\/7995287\/07995299.pdf?arnumber=7995299","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,13]],"date-time":"2020-10-13T18:45:57Z","timestamp":1602614757000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7995299\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/civemsa.2017.7995299","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}