Constraint programming for knowledge representation

被引：0
|
作者：
Yakhno, T [1 ]
Petrov, E [1 ]
机构：
[1] Russian Acad Sci, Inst Informat Syst, Novosibirsk 630090, Russia
来源：
KNOWLEDGE-BASED SOFTWARE ENGINEERING | 1998年 / 48卷
关键词：
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 条
  • [1] Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning
    Schaub, Torsten
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, 2013, 8124 : 3 - 4
  • [2] Knowledge representation and logic programming
    Gelfond, M
    Leone, N
    ARTIFICIAL INTELLIGENCE, 2002, 138 (1-2) : 1 - 1
  • [3] LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION
    BARAL, C
    GELFOND, M
    JOURNAL OF LOGIC PROGRAMMING, 1994, 20 : 73 - 148
  • [4] LOGIC PROGRAMMING AS A REPRESENTATION OF KNOWLEDGE
    DAHL, V
    COMPUTER, 1983, 16 (10) : 106 - 111
  • [5] Logic programming for knowledge representation
    Truszczynski, Miroslaw
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 76 - 88
  • [6] Efficient representation of discrete sets for constraint programming
    Ohnishi, S
    Tasaka, H
    Tamura, N
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS, 2003, 2833 : 920 - 924
  • [7] A KNOWLEDGE REPRESENTATION FOR CONSTRAINT SATISFACTION PROBLEMS
    CROKER, AE
    DHAR, V
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1993, 5 (05) : 740 - 752
  • [8] A knowledge representation for linear programming model
    Hu, XP
    Qian, GM
    Hu, YQ
    Yang, DL
    PROCEEDINGS OF '97 INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE & ENGINEERING, 1997, : 35 - 41
  • [9] Domain Knowledge Representation For Programming Teaching
    Castillo, E. J. A.
    Estrada, L. G.
    Senti, V. E.
    IEEE LATIN AMERICA TRANSACTIONS, 2015, 13 (05) : 1528 - 1533
  • [10] CLP(BN): Constraint logic programming for probabilistic knowledge
    Santos Costa, Vítor
    Page, David
    Cussens, James
    2008, Springer Verlag (4911 LNAI):
12345