A FORMALIZATION OF THE SEMANTICS OF TEMPORAL RELATIONS

被引：0
|
作者：
BREE, DS [1 ]
机构：
[1] UNIV MANCHESTER,MANCHESTER M13 9PL,LANCS,ENGLAND
来源：
INTERNATIONAL JOURNAL OF PSYCHOLOGY | 1992年 / 27卷 / 3-4期
关键词：
D O I：
暂无
中图分类号：
B84 [心理学];
学科分类号：
04 ; 0402 ;
摘要：
引用
收藏
页码：22 / 22
页数：1
相关论文
共 50 条
  • [31] Formalization of ontological relations of Korean numeral classifiers
    Jung, Youngim
    Hwang, Soonhee
    Yoon, Aesun
    Kwon, Hyuk-Chul
    [J]. AI 2006: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4304 : 1106 - +
  • [32] Formalization of Interstate Traffic Rules in Temporal Logic
    Maierhofer, Sebastian
    Rettinger, Anna-Katharina
    Mayer, Eva Charlotte
    Althoff, Matthias
    [J]. 2020 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), 2020, : 752 - 759
  • [33] Formalization of Intersection Traffic Rules in Temporal Logic
    Maierhofer, Sebastian
    Moosbrugger, Paul
    Althoff, Matthias
    [J]. 2022 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), 2022, : 1135 - 1144
  • [34] Semantics subsystem in Distributed Operating System Formalization Generating System (DOSFGS)
    He, Yanxiang
    [J]. Gaojishu Tongxin/High Technology Letters, 1996, 6 (03):
  • [35] The Semantics Subsystem in Distributed Operating System Formalization Generating System(DOSFGS)
    何炎祥
    [J]. High Technology Letters, 1996, (01) : 34 - 37
  • [36] GENERAL SEMANTICS AND HUMAN RELATIONS
    FLEISHMA.A
    [J]. ETC-REVIEW OF GENERAL SEMANTICS, 1972, 29 (01): : 75 - 80
  • [37] On the relations between monadic semantics
    Filinski, Andrzej
    [J]. THEORETICAL COMPUTER SCIENCE, 2007, 375 (1-3) : 41 - 75
  • [38] Ternary relations and relevant semantics
    Meyer, RK
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2004, 127 (1-3) : 195 - 217
  • [39] RELATIONS OF LOGIC AND SEMANTICS TO ONTOLOGY
    BUNGE, M
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1974, 3 (03) : 195 - 209
  • [40] SEMANTICS OF PROXIMITY TIME RELATIONS
    SOEMARMO, M
    [J]. FOUNDATIONS OF LANGUAGE, 1976, 14 (03): : 359 - 367
12345