LOGIC AND SEMANTIC NETWORKS

被引：25
|
作者：
DELIYANNI, A
KOWALSKI, RA
机构：
[1] UNIV LONDON IMPERIAL COLL SCI & TECHNOL,DEPT COMP & CONTROL,LONDON SW7 2BZ,ENGLAND
[2] UNIV ATHENS,DIV ELECTR,ATHENS,GREECE
来源：
COMMUNICATIONS OF THE ACM | 1979年 / 22卷 / 03期
关键词：
D O I：
10.1145/359080.359090
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：184 / 192
页数：9
相关论文
共 50 条
  • [41] DYADIC DEONTIC LOGIC AND SEMANTIC TABLEAUX
    Ronnedal, Daniel
    LOGIC AND LOGICAL PHILOSOPHY, 2009, 18 (3-4) : 221 - 252
  • [42] PEIRCE: SEMANTIC OF TRUTH AND LOGIC OF THE RESEARCH
    Mancinelli, Paola
    COMUNICAZIONE FILOSOFICA, 2012, 28 : 102 - 111
  • [43] SEMANTIC UNCERTAINTY OF THE FUZZIFIED LAWS OF LOGIC
    TURKSEN, B
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1994, 9 (04): : 34 - 35
  • [44] Semantic Web oriented description logic
    Jiang, Yun-Cheng
    Tang, Yong
    Wang, Ju
    Zhou, Sheng-Ming
    Moshi Shibie yu Rengong Zhineng/Pattern Recognition and Artificial Intelligence, 2007, 20 (01): : 48 - 54
  • [45] Logic programs using semantic trees
    Maniu, Ionela
    Hunyadi, Daniel
    Maniu, George
    PROCEEDING OF THE 11TH WSEAS INTERNATIONAL CONFERENCE ON COMPUTERS: COMPUTER SCIENCE AND TECHNOLOGY, VOL 4, 2007, : 355 - +
  • [46] ELEMENTARY LOGIC AND SEMANTIC FIELDS IN APHASIA
    MELICELEDENT, S
    GAINOTTI, G
    MESSERLI, P
    TISSOT, R
    REVUE NEUROLOGIQUE, 1976, 132 (05) : 343 - 359
  • [47] SEMANTIC MODELS FOR CONCURRENT LOGIC LANGUAGES
    DEBOER, FS
    RUTTEN, JJMM
    KOK, JN
    PALAMIDESSI, C
    THEORETICAL COMPUTER SCIENCE, 1991, 86 (01) : 3 - 33
  • [48] Formalizing Operational Semantic Specifications in Logic
    Miller, Dale
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 246 : 147 - 165
  • [49] Semantic forcing in disjunctive logic programs
    De Vos, M
    Vermeir, D
    COMPUTATIONAL INTELLIGENCE, 2001, 17 (04) : 651 - 684
  • [50] Nonmonotonic logic programs for the semantic web
    Schindlauer, R
    LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 446 - 447
12345