Formal ontology, semantical interpretation and logic

被引:0
作者
Villegas-Forero, L [1 ]
Maciaszek, J [1 ]
机构
[1] Univ Santiago de Compostela, Dept Log & Philosophy Sci, Santiago De Compostela, Spain
来源
TRUTH IN PERSPECTIVE: RECENT ISSUES IN LOGIC, REPRESENTATION AND ONTOLOGY | 1998年
关键词
D O I
暂无
中图分类号
B [哲学、宗教];
学科分类号
01 ; 0101 ;
摘要
引用
收藏
页码:159 / 198
页数:40
相关论文
共 50 条
[31]   LEXICAL AND SEMANTICAL TOPIC ANALYSIS BASED ON FORMAL RULES [J].
BUHALOVA, EI ;
ZAJDENMAN, MA ;
STROGANOVA, IY .
NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY, 1980, (06) :20-23
[32]   Formal interpretation of cyber-physical system performance with temporal logic [J].
Chen, Gang ;
Sabato, Zachary ;
Kong, Zhaodan .
Cyber-Physical Systems, 2018, 4 (03) :175-203
[33]   Semantical concepts for a formal structural dynamics of situated multiagent systems [J].
da Rocha Costa, Antonio Carlos ;
Dimuro, Gracaliz Pereira .
COORDINATION, ORGANIZATIONS, INSTITUTIONS, AND NORMS IN AGENT SYSTEMS III, 2008, 4870 :139-154
[34]   LOGIC AND ONTOLOGY [J].
BOCHENSKI, JM .
PHILOSOPHY EAST & WEST, 1974, 24 (03) :275-292
[35]   Logic and Ontology [J].
Nino B. Cocchiarella .
Axiomathes, 2001, 12 (1-2) :117-150
[36]   LOGIC AND ONTOLOGY [J].
KALINOWSKI, G .
ARCHIVES DE PHILOSOPHIE, 1984, 47 (04) :625-640
[37]   LOGIC AND ONTOLOGY [J].
RUSSELL, B .
JOURNAL OF PHILOSOPHY, 1957, 54 (09) :225-230
[38]   A formal ontology of artefacts [J].
Kassel, Gilles .
APPLIED ONTOLOGY, 2010, 5 (3-4) :223-246
[39]   A formal ontology of properties [J].
Guarino, N ;
Welty, C .
KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, PROCEEDINGS: METHODS, MODELS, AND TOOLS, 2000, 1937 :97-112
[40]   Formal ontology. [J].
Mays, W .
HISTORY AND PHILOSOPHY OF LOGIC, 1997, 18 (04) :237-240