Construction of Robot Structure Design Support System by Constraint Logic Programming

被引:0
|
作者
Department of FGCS Technology, Research Institute for Advanced Information Technology, Japan Information Processing Development Center, Shiba Tokyo Kaijo Bldg 2F 3-3, Shiba 2-chome, Tokyo, Minato-ku [1 ]
105, Japan
不详 [2 ]
215, Japan
不详 [3 ]
814-01, Japan
机构
来源
J. Rob. Mechatronics | / 5卷 / 481-490期
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 50 条
  • [1] Constraint functional logic programming for origami construction
    Ida, T
    Marin, M
    Takahashi, H
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2003, 2895 : 73 - 88
  • [2] A system for tabled constraint logic programming
    Cui, BQ
    Warren, DS
    [J]. COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 478 - 492
  • [3] Constraint inductive logic programming system
    Zheng, Lei
    Liu, Chunnian
    Jia, Dong
    [J]. Jisuanji Gongcheng/Computer Engineering, 2003, 29 (19):
  • [4] Logic programming and constraint logic programming
    Cohen, J
    [J]. ACM COMPUTING SURVEYS, 1996, 28 (01) : 257 - 259
  • [5] A FEATURE CONSTRAINT SYSTEM FOR LOGIC PROGRAMMING WITH ENTAILMENT
    AITKACI, H
    PODELSKI, A
    SMOLKA, G
    [J]. THEORETICAL COMPUTER SCIENCE, 1994, 122 (1-2) : 263 - 283
  • [6] FORMAL DESIGN OF AN ABSTRACT MACHINE FOR CONSTRAINT LOGIC PROGRAMMING
    BEIERLE, C
    [J]. INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS, 1994, 51 : 377 - 382
  • [7] Constraint logic programming
    Gavanelli M.
    Rossi F.
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6125 : 64 - 86
  • [8] CONSTRAINT LOGIC PROGRAMMING
    POUNTAIN, D
    [J]. BYTE, 1995, 20 (02): : 159 - 160
  • [9] CONSTRAINT LOGIC PROGRAMMING
    LASSEZ, C
    [J]. BYTE, 1987, 12 (09): : 171 - &
  • [10] Constraint logic programming
    Wallace, Mark
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2002, 2407 : 512 - 532