FORLOG : A Logic-based Architecture for Design
暂无分享,去创建一个
[1] John P. McDermott,et al. R1: A Rule-Based Configurer of Computer Systems , 1982, Artif. Intell..
[2] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.
[3] Johan de Kleer,et al. Problem Solving with the ATMS , 1986, Artif. Intell..
[4] William J. Clancey,et al. Heuristic Classification , 1986, Artif. Intell..
[5] Gerald J. Sussman,et al. Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..
[6] Daniel G. Bobrow,et al. Knowledge Programming in Loops: Report on an Experimental Course , 1983, AI Mag..
[7] Drew McDermott. The DUCK Manual. , 1985 .
[8] Johan de Kleer,et al. Extending the ATMS , 1986, Artif. Intell..
[9] Clive L. Dym,et al. PRIDE: An Expert System for the Design of Paper Handling Systems , 1986, Computer.
[10] José Meseguer,et al. Equality, Types, Modules, and (Why not ?) Generics for Logic Programming , 1984, J. Log. Program..
[11] Gerald Jay Sussman,et al. CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions , 1980, Artif. Intell..
[12] William F. Clocksin,et al. Programming in Prolog , 1987, Springer Berlin Heidelberg.
[13] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..
[14] M. F.,et al. Bibliography , 1985, Experimental Gerontology.