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 条
  • [41] On minimal constraint networks
    Gottlob, Georg
    ARTIFICIAL INTELLIGENCE, 2012, 191 : 42 - 60
  • [42] Constraint representation and reduction based on Lie algebra in assembly model
    Tokunaga, H
    Itakura, K
    Tanaka, F
    Kishinami, T
    GEOMETRIC MODELLING: THEORETICAL AND COMPUTATIONAL BASIS TOWARDS ADVANCED CAD APPLICATIONS, 2001, 75 : 179 - 190
  • [43] Category semantics for fusion and refinement of multi-sorted specifications
    Tomasik, Jerzy
    Weyman, Jerzy
    2006 9TH INTERNATIONAL CONFERENCE ON INFORMATION FUSION, VOLS 1-4, 2006, : 499 - 506
  • [44] Contact constraint representation and its reduction in kinematic model of assembly
    Tokunaga, H
    Tanaka, F
    Kishinami, T
    1998 JAPAN-U.S.A. SYMPOSIUM ON FLEXIBLE AUTOMATION - PROCEEDINGS, VOLS I AND II, 1998, : 857 - 863
  • [45] A representation learning model based on stochastic perturbation and homophily constraint
    Qi Li
    Ming Jiang
    Knowledge and Information Systems, 2023, 65 : 5353 - 5373
  • [46] Consistency Constraint and Assessment Model of Multi-scale Representation
    Chen, Di
    Zhu, Xinyan
    Yue, Han
    Bao, Shuming
    2015 23RD INTERNATIONAL CONFERENCE ON GEOINFORMATICS, 2015,
  • [47] A representation learning model based on stochastic perturbation and homophily constraint
    Li, Qi
    Jiang, Ming
    KNOWLEDGE AND INFORMATION SYSTEMS, 2023, 65 (12) : 5353 - 5373
  • [48] Semantics of constraint logic programs with optimization
    Marriott, Kim
    Stuckey, Peter J.
    ACM letters on programming languages and systems, 1993, 2 (1-4): : 197 - 212
  • [49] Confluence and Semantics of Constraint Simplification Rules
    Abdennadher S.
    Frühwirth T.
    Meuss H.
    Constraints, 1999, 4 (2) : 133 - 165
  • [50] Semantics of multiway dataflow constraint systems
    Haveraaen, Magne
    Järvi, Jaakko
    Journal of Logical and Algebraic Methods in Programming, 2021, 121
12345