Forward and backward chaining in constraint programming (INVITED TALK)

被引:0
|
作者
Jaffar, Joxan [1 ]
Liu, Bing [1 ]
Yap, Roland H. C. [1 ]
机构
[1] Dept. of Information Systems and Computer Science, National University of Singapore, 10 Kent Ridge Crescent, 119260, Singapore
关键词
D O I
10.1007/3-540-63255-7_1
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 50 条
  • [31] A cost function for backward chaining inference
    Karkishchenko, A. N.
    2008 ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY, VOLS 1 AND 2, 2008, : 146 - 150
  • [32] Backward-chaining evolutionary algorithms
    Poli, Riccardo
    Langdon, William B.
    ARTIFICIAL INTELLIGENCE, 2006, 170 (11) : 953 - 982
  • [33] A SEMANTIC BACKWARD CHAINING PROOF SYSTEM
    NIE, X
    PLAISTED, DA
    ARTIFICIAL INTELLIGENCE, 1992, 55 (01) : 109 - 128
  • [34] Backward-chaining flexible planning
    Xu, Li
    Gu, Wen-Xiang
    Zhang, Xin-Mei
    ADVANCES IN MACHINE LEARNING AND CYBERNETICS, 2006, 3930 : 1 - 10
  • [35] Forward chaining is simple(x)
    Aráoz, J
    OPERATIONS RESEARCH LETTERS, 2000, 26 (01) : 23 - 26
  • [36] Forward Chaining with State Monad
    Grzanek, Konrad
    ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, (ICAISC 2016), PT II, 2016, 9693 : 442 - 452
  • [37] Agent-oriented programming: Where do we stand? - (Invited talk)
    Meyer, JJC
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, 2004, 3116 : 23 - 26
  • [38] Specific stratified forward chaining
    Bezzazi, H
    IC-AI'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 1-III, 2000, : 1455 - 1460
  • [39] A Class of Optimal Control Problems of Forward-Backward Systems with Input Constraint
    Huang, Jianhui
    Li, Wenqiang
    Zhao, Hanyu
    JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS, 2023, 199 (03) : 1050 - 1084
  • [40] Looking backward, moving forward: Four invited works celebrating four years of Matter
    Cranford, Steve
    MATTER, 2023, 6 (07) : 2095 - 2098