{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,9,29]],"date-time":"2022-09-29T04:54:48Z","timestamp":1664427288322},"reference-count":46,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.306.50","type":"journal-article","created":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T08:32:31Z","timestamp":1568709151000},"page":"371-378","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning about Qualitative Direction and Distance between Extended Objects using Answer Set Programming"],"prefix":"10.4204","volume":"306","author":[{"given":"Yusuf","family":"Izmirlioglu","sequence":"first","affiliation":[{"name":"Sabanci University, Turkey"}]}],"member":"2720","published-online":{"date-parts":[[2019,9,19]]},"reference":[{"issue":"11","key":"Allen83","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","article-title":"Maintaining Knowledge about Temporal Intervals","volume":"26","author":"Allen","year":"1983","journal-title":"Commun. ACM"},{"key":"balbiani1998model","first-page":"124","article-title":"A model for reasoning about bidemsional temporal relations","volume-title":"Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning","author":"Balbiani","year":"1998"},{"key":"BalbianiCC99","first-page":"442","article-title":"A New Tractable Subclass of the Rectangle Algebra","volume-title":"Proc. of IJCAI","author":"Balbiani","year":"1999"},{"key":"baryannis2018trajectory","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/s10707-007-0023-2","article-title":"A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming","volume":"18","author":"Baryannis","year":"2018","journal-title":"Theory and Practice of Logic Programming"},{"key":"brageul2007model","first-page":"653","article-title":"A Model for Qualitative Spatial Reasoning Combining Topology, Orientation and Distance.","volume-title":"FLAIRS Conference","author":"Brageul","year":"2007"},{"key":"brenton2016answer","article-title":"Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments","volume-title":"OASIcs-OpenAccess Series in Informatics","volume":"52","author":"Brenton","year":"2016"},{"issue":"1","key":"chen2015survey","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.artint.2011.10.003","article-title":"A survey of qualitative spatial representations","volume":"30","author":"Chen","year":"2015","journal-title":"The Knowledge Engineering Review"},{"issue":"2","key":"clementini1997qualitative","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S0004-3702(97)00046-5","article-title":"Qualitative representation of positional information","volume":"95","author":"Clementini","year":"1997","journal-title":"Artificial intelligence"},{"issue":"3","key":"cohn1997qualitative","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1023\/A:1009712514511","article-title":"Qualitative spatial representation and reasoning with the region connection calculus","volume":"1","author":"Cohn","year":"1997","journal-title":"GeoInformatica"},{"key":"cohn2008qualitative","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-6526(07)03013-1","article-title":"Qualitative Spatial Representation and Reasoning","author":"Cohn","year":"2008","journal-title":"Handbook of Knowledge Representation"},{"key":"dorr2014qualitative","article-title":"Qualitative shape representation based on the qualitative relative direction and distance calculus eOPRAm","author":"Dorr","year":"2014","journal-title":"arXiv preprint arXiv:1412.6649"},{"key":"dugat1999qualitative","first-page":"45","article-title":"Qualitative theory of shape and orientation","volume-title":"Proc. of the 16th Int. Joint Conference on Artificial Intelligence (IJCAI'99), Stockolm, Sweden","author":"Dugat","year":"1999"},{"issue":"1","key":"dylla2017survey","doi-asserted-by":"publisher","DOI":"10.1145\/3038927","article-title":"A survey of qualitative spatial and temporal calculi: algebraic and computational properties","volume":"50","author":"Dylla","year":"2017","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"egenhofer1990categorizing","article-title":"Categorizing binary topological relations between regions, lines, and points in geographic databases","volume":"9","author":"Egenhofer","year":"1990","journal-title":"The"},{"issue":"7","key":"falomir2013qualitative","doi-asserted-by":"publisher","first-page":"731","DOI":"10.1016\/j.patrec.2012.08.012","article-title":"Qualitative distances and qualitative image descriptions for representing indoor scenes in robotics","volume":"34","author":"Falomir","year":"2013","journal-title":"Pattern Recognition Letters"},{"key":"Frank91","article-title":"Qualitative Spatial Reasoning about Cardinal Directions","volume-title":"Proc. of Auto-Carto 10","author":"Frank","year":"1991"},{"key":"Freksa1992","first-page":"162","volume-title":"Using orientation information for qualitative spatial reasoning","author":"Freksa","year":"1992"},{"key":"gerevini2002combining","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(02)00193-5","article-title":"Combining topological and size information for spatial reasoning","volume":"137","author":"Gerevini","year":"2002","journal-title":"Artificial Intelligence"},{"key":"gottfried2005global","article-title":"Global feature schemes for qualitative shape descriptions","author":"Gottfried","year":"2005","journal-title":"IJCAI-05 WS on spatial and temporal reasoning"},{"key":"Goyal1997","first-page":"95","article-title":"The direction-relation matrix: A representation for directions relations between extended spatial objects","volume":"3","author":"Goyal","year":"1997","journal-title":"The annual assembly and the summer retreat of University Consortium for Geographic Information Systems Science"},{"issue":"3","key":"guesgen2002reasoning","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1023\/A:1020024013757","article-title":"Reasoning about distance based on fuzzy sets","volume":"17","author":"Guesgen","year":"2002","journal-title":"Applied Intelligence"},{"key":"hong1995robustness","first-page":"301","article-title":"On the robustness of qualitative distance-and direction-reasoning","volume-title":"Autocarto Conference","author":"Hong","year":"1995"},{"key":"hotzcombining","article-title":"Combining Qualitative Spatial Reasoning and Ontological Reasoning for Supporting Robot Tasks","author":"Hotz"},{"key":"izmirlioglu018","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v32i1.11568","article-title":"Qualitative Reasoning About Cardinal Directions Using Answer Set Programming","volume-title":"Proc. of AAAI","author":"Izmirlioglu","year":"2018"},{"key":"LeeRW13","first-page":"976","article-title":"StarVars - Effective Reasoning about Relative Directions","volume-title":"Proc. of IJCAI","author":"Lee","year":"2013"},{"key":"li2012qualitative","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1109\/ICTAI.2012.87","article-title":"Qualitative spatial and temporal reasoning with answer set programming","volume-title":"Tools with Artificial Intelligence (ICTAI), 2012 IEEE 24th International Conference on","volume":"1","author":"Li","year":"2012"},{"key":"ligozat1993qualitative","first-page":"54","article-title":"Qualitative triangulation for spatial reasoning","volume-title":"European Conference on Spatial Information Theory","author":"Ligozat","year":"1993"},{"key":"Liuthesis2013","volume-title":"Qualitative constraint satisfaction problems: algorithms, computational complexity, and extended framework","author":"Liu","year":"2013"},{"issue":"18","key":"LiLiu2011","doi-asserted-by":"publisher","first-page":"2155","DOI":"10.1016\/j.artint.2011.07.005","article-title":"Reasoning about cardinal directions between extended objects: The NP-hardness result","volume":"175","author":"Liu","year":"2011","journal-title":"Artificial Intelligence"},{"key":"Liuetal2010","doi-asserted-by":"publisher","first-page":"951","DOI":"10.1016\/j.artint.2010.05.006","article-title":"Reasoning about cardinal directions between extended objects","volume":"174","author":"Liu","year":"2010","journal-title":"Artificial Intelligence"},{"key":"monferrer1996enhancing","first-page":"174","article-title":"Enhancing qualitative relative orientation with qualitative distance for robot path planning","volume-title":"Tools with Artificial Intelligence, 1996., Proceedings Eighth IEEE International Conference on","author":"Monferrer","year":"1996"},{"key":"moratz2005relative","article-title":"A relative orientation algebra with adjustable granularity","volume-title":"Proceedings of the Workshop on Agents in Real-Time and Dynamic Environments (IJCAI 05)","volume":"21","author":"Moratz","year":"2005"},{"key":"moratz2002qualitative","first-page":"385","article-title":"Qualitative spatial reasoning about relative position","volume-title":"International Conference on Spatial Cognition","author":"Moratz","year":"2002"},{"key":"moratz2000qualitative","first-page":"234","article-title":"Qualitative spatial reasoning about line segments","volume-title":"ECAI","author":"Moratz","year":"2000"},{"key":"moratzspatial","doi-asserted-by":"publisher","DOI":"10.1007\/BF00117601","article-title":"Spatial Reasoning about Relative Orientation and Distance for Robot Exploration","volume-title":"Spatial Information Theory. Foundations of Geographic Information Science","author":"Moratz"},{"key":"moratz2003spatial","first-page":"61","article-title":"Spatial reasoning about relative orientation and distance for robot exploration","volume-title":"International Conference on Spatial Information Theory","author":"Moratz","year":"2003"},{"issue":"5","key":"moratz2012spatial","first-page":"1","article-title":"Spatial reasoning with augmented points: Extending cardinal directions with local distances","volume":"2012","author":"Moratz","year":"2012","journal-title":"Journal of Spatial Information Science"},{"key":"museros2004qualitative","first-page":"858","article-title":"A qualitative theory for shape representation and matching for design.","volume-title":"Proceedings of the 16th European Conference on Artificial Intelligence","author":"Museros","year":"2004"},{"key":"Navarreteetal2007","first-page":"495","article-title":"Consistency Checking of Basic Cardinal Constraints over Connected Regions","volume-title":"Proc. of IJCAI","author":"Navarrete","year":"2007"},{"key":"pacheco2002qualitative","article-title":"Qualitative spatial reasoning on three-dimensional orientation point objects","volume-title":"Proccedings of the QR2002. 16th International WorkShop on Qualitative Reasoning. Editors: Nuria Agell and","author":"Pacheco","year":"2002"},{"issue":"2","key":"SkiadKoub2004","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/S0004-3702(03)00137-1","article-title":"Composing cardinal direction relations","volume":"152","author":"Skiadopoulos","year":"2004","journal-title":"Artificial Intelligence"},{"issue":"1","key":"SkiadKoub2005","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.artint.2004.10.010","article-title":"On the consistency of cardinal direction constraints","volume":"163","author":"Skiadopoulos","year":"2005","journal-title":"Artificial Intelligence"},{"key":"WalegaBS15","first-page":"488","article-title":"ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories","volume-title":"Proc. of LPNMR","author":"Walega","year":"2015"},{"key":"van2005double","first-page":"1087","article-title":"The double-cross and the generalization concept as a basis for representing and comparing shapes of polylines","volume-title":"OTM Confederated International Conferences\" On the Move to Meaningful Internet Systems\"","author":"Van de Weghe","year":"2005"},{"key":"Zhangetal2008","first-page":"387","article-title":"Reasoning with Cardinal Directions: An Efficient Algorithm","volume-title":"Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008","author":"Zhang","year":"2008"},{"issue":"1","key":"zimmermann1996qualitative","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/BF00117601","article-title":"Qualitative spatial reasoning using orientation, distance, and path knowledge","volume":"6","author":"Zimmermann","year":"1996","journal-title":"Applied intelligence"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2022,9,28]],"date-time":"2022-09-28T22:20:33Z","timestamp":1664403633000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/arxiv.org\/abs\/1909.08257v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,19]]},"references-count":46,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.4204\/eptcs.306.50","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,9,19]]}}}