RESIDUE: a deductive approach to design synthesis
暂无分享,去创建一个
[1] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[2] C. Cordell Green,et al. Application of Theorem Proving to Problem Solving , 1969, IJCAI.
[3] D. Loveland. A Linear Format for Resolution , 1970 .
[4] Gerald J. Sussman,et al. Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..
[5] Earl David Sacerdoti,et al. A Structure for Plans and Behavior , 1977 .
[6] Jon Doyle,et al. A Truth Maintenance System , 1979, Artif. Intell..
[7] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[8] Zohar Manna,et al. A Deductive Approach to Program Synthesis , 1979, TOPL.
[9] Gerald Jay Sussman,et al. CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions , 1980, Artif. Intell..
[10] Neil V. Murray. Completely Non-Clausal Theorem Proving , 1982, Artif. Intell..
[11] R. Waldinger,et al. Special Relations in Program-Synthetic Deduction, , 1982 .
[12] Johan de Kleer,et al. Choices Without Backtracking , 1984, AAAI.
[13] Thomas G. Dietterich. Learning About Systems That Contain State Variables , 1984, AAAI.