Dimiter Vakarelov. Actual Existence Predicate in Mereology and Mereotopology (Extended Abstract). In Lech Polkowski, Yiyu Yao, Piotr Artiemjew, Davide Ciucci, Dun Liu, Dominik Slezak, Beata Zielosko, editors, Rough Sets - International Joint Conference, IJCRS 2017, Olsztyn, Poland, July 3-7, 2017, Proceedings, Part II. Volume 10314 of Lecture Notes in Computer Science, pages 138-157, Springer, 2017. [doi]
Abstract is missing.