赏钱
发表于 2025-3-27 00:06:57
http://reply.papertrans.cn/88/8736/873512/873512_31.png
大雨
发表于 2025-3-27 03:00:33
Simple Models for Simple Calculifor any finite weak model there are finite structures upon which the model is based. We interpret the construction of the models described by Renz as lifting those finite models to models in the Euclidean space.
modest
发表于 2025-3-27 06:58:25
http://reply.papertrans.cn/88/8736/873512/873512_33.png
诱骗
发表于 2025-3-27 09:27:17
The Role of Identity Conditions in Ontology Designle upper-level ontologies. I focus in particular on some examples of multiple generalization, proposing a way of simplifying the domain structure by splitting some concepts according to different identity conditions, or by excluding them because of their limited organizational role.
做方舟
发表于 2025-3-27 16:10:43
http://reply.papertrans.cn/88/8736/873512/873512_35.png
间接
发表于 2025-3-27 19:56:42
http://reply.papertrans.cn/88/8736/873512/873512_36.png
得体
发表于 2025-3-27 23:31:58
http://reply.papertrans.cn/88/8736/873512/873512_37.png
photopsia
发表于 2025-3-28 02:47:45
Agglomerationsry of types of human groups and also of types of conflict between these groups. At the same time it provides ontological foundations for the epidemiological study of cognitive phenomena, and especially of cognitive phenomena in the sociopolitical realm.
PET-scan
发表于 2025-3-28 08:54:53
Ontology and Geographic Objects: An Empirical Study of Cognitive Categorizationtant differences in subjects’ categorizations of geographic and non-geographic objects, and suggest further experimental work especially with regard to the role in cognitive categorization of different types of object-boundaries at different scales.
品尝你的人
发表于 2025-3-28 11:52:36
Atomicity vs. Infinite Divisibility of Spaceild a bridge between spatial reasoning and spatial databases approaches in areas like vision or GIS. In this paper we will investigate the possibility of characterizing such properties in spaces modeled by mereologies and mereotopologies. In addition, properties of atoms like extension and self-connectedness will be considered.