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
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1997年 / 1265卷
关键词：
D O I：
10.1007/3-540-63255-7_1
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Forward and backward chaining in Constraint Programming (invited talk)
    Jaffar, J
    Liu, B
    Yap, RHC
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 1 - 1
  • [2] On Combining Backward and Forward Chaining in Constraint Logic Programming
    Haemmerle, Remy
    PPDP'14: PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2014, : 213 - 224
  • [3] Backward-chaining genetic programming
    Poli, Riccardo
    Langdon, William B.
    GECCO 2005: Genetic and Evolutionary Computation Conference, Vols 1 and 2, 2005, : 1777 - 1778
  • [4] A Logical Characterization of Forward and Backward Chaining in the Inverse Method
    Kaustuv Chaudhuri
    Frank Pfenning
    Greg Price
    Journal of Automated Reasoning, 2008, 40 : 133 - 177
  • [5] Comparing forward and backward chaining in teaching Olympic weightlifting
    Moore, James W.
    Quintero, Laura M.
    JOURNAL OF APPLIED BEHAVIOR ANALYSIS, 2019, 52 (01) : 50 - 59
  • [6] BACKWARD VERSUS FORWARD CHAINING IN THE ACQUISITION OF A KEYBOARD SKILL
    ASH, DW
    HOLDING, DH
    HUMAN FACTORS, 1990, 32 (02) : 139 - 146
  • [7] AN ASSESSMENT OF THE EFFICIENCY OF AND CHILD PREFERENCE FOR FORWARD AND BACKWARD CHAINING
    Slocum, Sarah K.
    Tiger, Jeffrey H.
    JOURNAL OF APPLIED BEHAVIOR ANALYSIS, 2011, 44 (04) : 793 - 805
  • [8] A logical characterization of forward and backward chaining in the inverse method
    Chaudhuri, Kaustuv
    Pfenning, Frank
    Price, Greg
    AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 97 - 111
  • [9] A logical characterization of forward and backward chaining in the inverse method
    Chaudhuri, Kaustuv
    Pfenning, Frank
    Price, Greg
    Journal of Automated Reasoning, 2008, 40 (2-3): : 133 - 177
  • [10] A logical characterization of forward and backward chaining in the inverse method
    Chaudhuri, Kaustuv
    Pfenning, Frank
    Price, Greg
    JOURNAL OF AUTOMATED REASONING, 2008, 40 (2-3) : 133 - 177
12345