An Active Frame for the Knowledge Representation
暂无分享,去创建一个
[1] Hitoshi Ogawa,et al. A Structure for the Representation of Knowledge: A Proposal for a Micro-Actor , 1977, IJCAI.
[2] Hitoshi Ogawa,et al. The Theorem Prover Using a Parallel Processing System , 1979, IJCAI.
[3] Marvin Minsky,et al. A framework for representing knowledge , 1974 .
[4] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[5] Ira P. Goldstein,et al. The FRL Primer , 1977 .
[6] Nils J. Nilsson,et al. A Formal Basis for the Heuristic Determination of Minimum Cost Paths , 1968, IEEE Trans. Syst. Sci. Cybern..
[7] Ira P. Goldstein,et al. The FRL Manual , 1977 .
[8] Carl Hewitt,et al. PLANNER: A Language for Proving Theorems in Robots , 1969, IJCAI.
[9] Daniel G. Bobrow,et al. On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..
[10] Carl Hewitt,et al. A Universal Modular ACTOR Formalism for Artificial Intelligence , 1973, IJCAI.
[11] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[12] Brian Cantwell Smith,et al. Towards a programming apprentice , 1974, IEEE Transactions on Software Engineering.
[13] Richard J. Waldinger,et al. QA4: A Procedural Calculus for Intuitive Reasoning. , 1972 .
[14] Patrick Henry Winston,et al. Learning by Creating and Justifying Transfer Frames , 1978, Artif. Intell..
[15] George W. Ernst,et al. GPS : a case study in generality and problem solving , 1971 .
[16] Gerald Jay Sussman,et al. The Conniver Reference Manual , 1972 .