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 条
  • [21] The Next 700 Network Programming Languages (Invited Talk)
    Foster, Nate
    STOC'17: PROCEEDINGS OF THE 49TH ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING, 2017, : 7 - 7
  • [22] Strategies for discovering mechanisms: Schema instantiation, modular subassembly, forward/backward chaining
    Darden, L
    PHILOSOPHY OF SCIENCE, 2002, 69 (03) : S354 - S365
  • [23] The Analysis of Forward and Backward Dynamic Programming for Multistage Graph
    Sitinjak, Anna Angela
    Pasaribu, Elvina
    Simarmata, Justin E.
    Putra, Tedy
    Mawengkang, Herman
    4TH INTERNATIONAL CONFERENCE ON OPERATIONAL RESEARCH (INTERIOR), 2018, 300
  • [24] Theory and practice of programming applied to membrane systems (Invited talk)
    Ciobanu, G
    SEVENTH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, PROCEEDINGS, 2005, : 19 - 25
  • [25] Backward chaining rule induction
    Fisher, Douglas H.
    Edgerton, Mary E.
    Chen, Zhihua
    Tang, Lianhong
    Frey, Lewis
    INTELLIGENT DATA ANALYSIS, 2006, 10 (05) : 397 - 417
  • [26] Harnessing AI forward and backward chaining with telemetry data for enhanced diagnostics and prognostics of smart devices
    Farooq, Muhammad Shoaib
    Mir, Rizwan Pervez
    Alvi, Atif
    Tutusaus, Kilian
    Villena, Eduardo Garcia
    Alrowais, Fadwa
    Karamti, Hanen
    Ashraf, Imran
    SCIENTIFIC REPORTS, 2025, 15 (01):
  • [27] A FORWARD-BACKWARD ALGORITHM FOR THE DC PROGRAMMING IN HILBERT SPACES
    Chuang, Chih-Sheng
    JOURNAL OF NONLINEAR AND VARIATIONAL ANALYSIS, 2019, 3 (02): : 171 - 179
  • [28] FORWARD AND BACKWARD CHAINING, AND WHOLE TASK METHODS - TRAINING ASSEMBLY TASKS IN VOCATIONAL-REHABILITATION
    WALLS, RT
    ZANE, T
    ELLIS, WD
    BEHAVIOR MODIFICATION, 1981, 5 (01) : 61 - 74
  • [29] Optical flow estimation using forward-backward constraint equation
    Randriantsoa, A
    Berthoumieu, Y
    2000 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL II, PROCEEDINGS, 2000, : 578 - 581
  • [30] A Class of Optimal Control Problems of Forward–Backward Systems with Input Constraint
    Jianhui Huang
    Wenqiang Li
    Hanyu Zhao
    Journal of Optimization Theory and Applications, 2023, 199 : 1050 - 1084
12345