共 50 条
- [1] Mixing Backward- with Forward-Chaining for Metacognitive Skill Acquisition and Transfer ARTIFICIAL INTELLIGENCE IN EDUCATION, PT I, 2022, 13355 : 546 - 552
- [2] A Logical Characterization of Forward and Backward Chaining in the Inverse Method Journal of Automated Reasoning, 2008, 40 : 133 - 177
- [4] On Combining Backward and Forward Chaining in Constraint Logic Programming PPDP'14: PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2014, : 213 - 224
- [6] A logical characterization of forward and backward chaining in the inverse method AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 97 - 111
- [7] Forward and backward chaining in Constraint Programming (invited talk) LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 1 - 1
- [8] Forward and backward chaining in constraint programming (INVITED TALK) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1997, 1265
- [9] A logical characterization of forward and backward chaining in the inverse method Journal of Automated Reasoning, 2008, 40 (2-3): : 133 - 177