共 50 条
- [41] Towards a systematic approach to representing knowledge in declarative logic programming (invited talk) LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 222 - 223
- [42] Comparing Two Stochastic Local Search Algorithms for Constraint Satisfaction Problems (Invited Talk) COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2010, 6072 : 344 - 349
- [43] A COMPARISON OF FORWARD AND BACKWARD CHAINING METHODS USED IN TEACHING CORSAGE MAKING SKILLS TO MENTALLY-RETARDED ADULTS BRITISH JOURNAL OF DEVELOPMENTAL DISABILITIES, 1993, 39 (77): : 108 - 117
- [46] Kernelization (Invited Talk) COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2010, 6072 : 107 - 108
- [50] Application of Backward Chaining Method to Computer Forensic INNOVATION AND KNOWLEDGE MANAGEMENT IN BUSINESS GLOBALIZATION: THEORY & PRACTICE, VOLS 1 AND 2, 2008, : 303 - 307