@InProceedings{takahashi:LIPIcs.COSIT.2024.4, author = {Takahashi, Kazuko}, title = {{Qualitative Formalization of a Curve on a Two-Dimensional Plane}}, booktitle = {16th International Conference on Spatial Information Theory (COSIT 2024)}, pages = {4:1--4:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-330-0}, ISSN = {1868-8969}, year = {2024}, volume = {315}, editor = {Adams, Benjamin and Griffin, Amy L. and Scheider, Simon and McKenzie, Grant}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2024.4}, URN = {urn:nbn:de:0030-drops-208193}, doi = {10.4230/LIPIcs.COSIT.2024.4}, annote = {Keywords: qualitative spatial reasoning, knowledge representation, logical reasoning, shape information} }