Minimal model semantics for sorted constraint representation

被引：0
|
作者：
Liao, Lejian
Shi, Zhongzhi
机构：
来源：
Journal of Computer Science and Technology | 1995年 / 10卷 / 05期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] The semantics of constraint logic programs
    Jaffar, J
    Maher, M
    Marriott, K
    Stuckey, P
    JOURNAL OF LOGIC PROGRAMMING, 1998, 37 (1-3): : 1 - 46
  • [32] Bridging real world semantics to model world semantics for taxonomy based knowledge representation system
    Kwon, JH
    Song, CY
    Moon, CJ
    Baik, DK
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 20 (03) : 296 - 308
  • [33] Bridging Real World Semantics to Model World Semantics for Taxonomy Based Knowledge Representation System
    Ju-Hum Kwon
    Chee-Yang Song
    Chang-Joo Moon
    Doo-Kwon Baik
    Journal of Computer Science and Technology, 2005, 20 : 296 - 308
  • [34] A Deep Decomposable Model for Disentangling Syntax and Semantics in Sentence Representation
    Li, Dingcheng
    Fei, Hongliang
    Ren, Shaogang
    Li, Ping
    FINDINGS OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, EMNLP 2021, 2021, : 4300 - 4310
  • [35] Design model: Towards an integrated representation for design semantics and syntax
    Keat, LB
    Tan, CL
    Mathur, K
    AI SYSTEM SUPPORT FOR CONCEPTUAL DESIGN, 1996, : 124 - 137
  • [36] TIMESTAMP SEMANTICS AND REPRESENTATION
    DYRESON, CE
    SNODGRASS, RT
    INFORMATION SYSTEMS, 1993, 18 (03) : 143 - 166
  • [37] ON SEMANTICS OF FORMAL REPRESENTATION
    DREHER, JH
    PHILOSOPHIA, 1978, 8 (01) : 71 - 78
  • [38] CATEGORY-SORTED ALGEBRA-BASED ACTION SEMANTICS
    EVEN, S
    SCHMIDT, DA
    THEORETICAL COMPUTER SCIENCE, 1990, 77 (1-2) : 73 - 95
  • [39] Model-theoretic minimal change operators for constraint databases
    Revesz, PZ
    DATABASE THEORY - ICDT'97, 1997, 1186 : 447 - 460
  • [40] Efficient implementation of answer set semantics based on minimal model generation
    Shirai, Yasuyuki
    Hasegawa, Ryuzo
    Research Reports on Information Science and Electrical Engineering of Kyushu University, 2002, 7 (02): : 119 - 124
12345