Constraint programming for knowledge representation

被引:0
|
作者
Yakhno, T [1 ]
Petrov, E [1 ]
机构
[1] Russian Acad Sci, Inst Informat Syst, Novosibirsk 630090, Russia
来源
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
The paper describes a constraint programming method called Subdefinite Computations and a technique of implementing it in a CLP system (ECLPSe)-P-j. One of practical applications of that implementation technique is Interval Domain library, a new constraint-solving tool. The paper describes applications of the library to construction of optimum networks and optimum portfolios of assets.
引用
收藏
页码:116 / 123
页数:8
相关论文
共 50 条
  • [41] A constraint programming primer
    Pesant, Gilles
    EURO JOURNAL ON COMPUTATIONAL OPTIMIZATION, 2014, 2 (03) : 89 - 97
  • [42] BSP constraint programming
    Ballereau, O
    Hains, G
    Lallouet, A
    CONSTRUCTIVE METHODS FOR PARALLEL PROGRAMMING, 2002, 10 : 93 - 109
  • [43] Open constraint programming
    Faltings, B
    Macho-Gonzalez, S
    ARTIFICIAL INTELLIGENCE, 2005, 161 (1-2) : 181 - 208
  • [44] Stochastic Constraint Programming
    Hemmi, David
    PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 5183 - 5184
  • [45] Constraint programming in Oz
    Smolka, G
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 37 - 38
  • [46] Algorithms and Constraint Programming
    Grandoni, Fabrizio
    Italiano, Giuseppe F.
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2006, 2006, 4204 : 2 - 14
  • [47] Monadic constraint programming
    Schrijvers, Tom
    Stuckey, Peter
    Wadler, Philip
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2009, 19 : 663 - 697
  • [48] CONSTRAINT LOGIC PROGRAMMING
    LASSEZ, C
    BYTE, 1987, 12 (09): : 171 - &
  • [49] Constraint logic programming
    Gavanelli M.
    Rossi F.
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6125 : 64 - 86
  • [50] CONSTRAINT LOGIC PROGRAMMING
    POUNTAIN, D
    BYTE, 1995, 20 (02): : 159 - 160