Contexts and Data Dependencies: A Synthesis
暂无分享,去创建一个
[1] Richard J. Waldinger,et al. QA4: A Procedural Calculus for Intuitive Reasoning. , 1972 .
[2] Chuck Rieger,et al. Spontaneous computation in cognitive models , 1977, SGAR.
[3] David A. McAllester. An Outlook on Truth Maintenance. , 1980 .
[4] Drew McDermott. A Theory of Metric Spatial Inference , 1980, AAAI.
[5] Alan M. Thompson,et al. Network Truth Maintenance for Deduction and Modelling , 1979, IJCAI.
[6] Drew McDermott,et al. Assimilation of New Information by a Natural Language Understanding System , 1974 .
[7] Gerald J. Sussman,et al. Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..
[8] Jon Doyle,et al. A Truth Maintenance System , 1979, Artif. Intell..
[9] Carl Hewitt,et al. Procedural Embedding of knowledge in Planner , 1971, IJCAI.
[10] C. Hewitt. Planner: a language for manipulating models and proving theorems in a robot" ijcai-69 , 1970 .
[11] Eugene Charniak,et al. A Common Representation for Problem-Solving and Language-Comprehension Information , 1981, Artif. Intell..
[12] Daniel G. Bobrow,et al. New Programming Languages for Artificial Intelligence Research , 1974, CSUR.
[13] Jon Doyle,et al. A model for deliberation, action, and introspection , 1981, SGAR.
[14] Philip London,et al. A dependency-based modelling mechanism for problem solving , 1978, AFIPS National Computer Conference.
[15] James Richard Meehan,et al. The New UCI LISP Manual , 1979 .
[16] Scott E. Fahlman,et al. A Planning System for Robot Construction Tasks , 1973, Artif. Intell..
[17] Drew McDermott,et al. ARBY: Diagnosis With Shallow Causal Models , 1982, AAAI.
[18] Jon Doyle,et al. Explicit Control of Reasoning , 1977 .